Technical educational content related to ZK, cryptography, and blockchains.
Aligned Core
We believe launching an Ethereum rollup should be as simple as deploying a web app. Our new Rollup-as-a-Service (RaaS) platform makes that a reality with one-click ZK-rollup deployment. Built with Ethrex, zkVMs, and our integrated ZK infra stack.
Technical content
Most of the engineering work this week has been on making new examples for Aligned, where the user can interact with or where the technologies are more novel. We are now finishing examples of ZK sudoku and another simple puzzle game, where a server generates proofs on behalf of the
Technical content
This week we upgraded the fast mode protocol on Testnet to its latest version, bringing some reliability upgrades and upgrading the verifiers libraries to their latest version. We also worked on improving the aggregation mode all across the board, from reliability, to performance and a better integration with the current
Technical content
Welcome to our weekly engineering updates post which details the latest improvements, features, and fixes. We have finished and merged the PRs for: 1. Scaling the aggregation mode through proofs of aggregation of aggregated proofs. 2. The full flow example for the aggregation mode. We are also doing some work
Technical content
Latest PRs merged Refactor sdk modules https://github.com/yetanotherco/aligned_layer/pull/1941 Refactor SDK modules so they have less indirection and are more structured. Verify aggregated proof on chain https://github.com/yetanotherco/aligned_layer/pull/1915 It adds missing functions for users to integrate an application with
Technical content
Latest PRs merged into our repository. Add more Events and functions on Agg Contract (#1930) https://github.com/yetanotherco/aligned_layer/pull/1930 * Adds functions to set the Risc0 verifier address and additional events on the agg contract. Update EigenLayer Contracts for Devnet (#1932) https://github.com/yetanotherco/aligned_layer/
Technical content
The goal of blockchains Blockchain technology has emerged to provide a decentralized and secure way to record and verify transactions across a distributed network of participants. The main objective is to eliminate the need for intermediaries, by enabling peer-to-peer transactions. This is achieved through cryptographic techniques that ensure the integrity
Technical content
Introduction The evolution of decentralized applications (dApps) depends on a shift from programmable settlement to intent-based architectures. These systems redefine how applications are built, focusing on generalized intents—high-level expressions of desired outcomes. By leveraging zero-knowledge proofs (ZKPs) and succinct validity proofs, intent-based architectures offer transformative advantages in scalability, privacy,
Technical content
Recap In our previous blog, we explored the fundamental properties of cryptographic hash functions (CHFs) and discussed their crucial role in maintaining the integrity and security of data with 3MI Labs. In this post, we delve into the architectural strategies behind hash functions. These strategies, or modes of operation, are
Technical content
Cryptographic Hash Functions (CHF) are fundamental to securing the digital world. From protecting passwords to enabling blockchain and zero-knowledge (ZK) systems, CHFs play a crucial role in ensuring the integrity, security, and privacy of data. This blog is the first in a series where we’ll explore the world of
Technical content
The development and use of integrity/zero-knowledge (ZK) proofs has accelerated over the past few years. The introduction of general purpose ZK virtual machines, which allow us to write and prove Rust code, has made developing verifiable applications easier and faster. We have blockchains like Mina that prove every block
Technical content
Polynomial commitment schemes (PCS) are at the core of proof systems. They determine key properties such as proof size, verification time, and whether the system is post-quantum secure. The Kate-Zaverucha-Goldberg (KZG) is a popular PCS, first appearing in 2010. Learn more: Polynomial commitment schemes allow us to commit to a