Technical educational content related to ZK, cryptography, and blockchains.
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
Technical content
Plonk is one of the most widely used proof systems. It is at the core of the proof systems used by ZKsync, Mina, Halo2 (by Zcash), Plonky2 (Polygon), and Succinct Labs SP1’s compression proof, gnark, due to its versatility and efficient prover. Since it's introduction, the Plonk
Technical content
Mina is a layer 1 (L1) blockchain that uses zero-knowledge proofs (ZKP) to maintain its size at 22 kB. Its vibrant community and technology make it unique and developers and users from other ecosystems could benefit from their interaction with Mina. To this end, Aligned will support the technology needed
Technical content
Recently, Vitalik Buterin wrote on binary fields and their potential to generate zero-knowledge proofs. Binary fields are finite fields with characteristic equal to two. We can view them as polynomials whose coefficients can only take the values 0 and 1, so 1 + x^2 + x^6 are elements in some
Technical content
Aligned is designed to verify any proof system efficiently and for a fraction of the cost in Ethereum. Kimchi is the proof system at the heart of Mina. Do you want to know what makes Kimchi special? Mina is a succinct blockchain. It generates proofs for each block, allowing any