AlignedAligned Testnet 3 : Our first EigenLayer AVS open to ext…
We are excited to announce the launch of our third testnet, marking a significant advancement in the adoption of zero-knowledge (ZK) proofs on Ethereum. This is our first public testnet open to third party operators for our EigenLayer AVS. We invite you to work with us towards our goal of accelerating the Ethereum roadmap by making the implementation of ZK proofs both easy and economical. By reducing the complexity and cost of verification, Aligned will establish ZK as the default solution fo...
AlignedAligned Manifesto
We live in an era where we can no longer trust what we read, see, or even hear. Rapid advancements in artificial intelligence have accelerated the production of illusory content. Fake news and alternative facts are displayed in all formats, for any purpose, from personal vanity to political propaganda. At the same time, global internet freedom is falling, as critical content is increasingly censored, and replaced with deepfakes and disinformation. This situation, combined with our heavy depen...
AlignedWhat are ZK-SNARKS?
SNARKS have gained considerable attention recently due to their broad utility in areas such as blockchain scalability, identity mechanisms, verifiable machine learning, and fighting against misinformation and fake news. We see new developments daily, but SNARKS have been around for a long time. SNARKs allow one party, the prover, to prove to another, the verifier, that a given computation was computed correctly.Key Properties of SNARKSZK-proofs are not a recent invention. The definitions, fou...
We accelerate the roadmap of Ethereum by making proof verification faster and cheaper. We can verify proofs for 10% of the cost.
AlignedAligned Testnet 3 : Our first EigenLayer AVS open to ext…
We are excited to announce the launch of our third testnet, marking a significant advancement in the adoption of zero-knowledge (ZK) proofs on Ethereum. This is our first public testnet open to third party operators for our EigenLayer AVS. We invite you to work with us towards our goal of accelerating the Ethereum roadmap by making the implementation of ZK proofs both easy and economical. By reducing the complexity and cost of verification, Aligned will establish ZK as the default solution fo...
AlignedAligned Manifesto
We live in an era where we can no longer trust what we read, see, or even hear. Rapid advancements in artificial intelligence have accelerated the production of illusory content. Fake news and alternative facts are displayed in all formats, for any purpose, from personal vanity to political propaganda. At the same time, global internet freedom is falling, as critical content is increasingly censored, and replaced with deepfakes and disinformation. This situation, combined with our heavy depen...
AlignedWhat are ZK-SNARKS?
SNARKS have gained considerable attention recently due to their broad utility in areas such as blockchain scalability, identity mechanisms, verifiable machine learning, and fighting against misinformation and fake news. We see new developments daily, but SNARKS have been around for a long time. SNARKs allow one party, the prover, to prove to another, the verifier, that a given computation was computed correctly.Key Properties of SNARKSZK-proofs are not a recent invention. The definitions, fou...
We accelerate the roadmap of Ethereum by making proof verification faster and cheaper. We can verify proofs for 10% of the cost.
Subscribe to Aligned
Subscribe to Aligned
Share Dialog
Share Dialog
>33K subscribers
>33K subscribers
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 user to run a Mina node with no further trust assumptions.
The proofs are generated in a recursive manner and prove the correctness of the execution of the state transitions in an inductive manner:
At step N we know that the jump from N - 1 to N is correct and checked a proof that the state N - 1 was correctly computed!
Kimchi is crucial for this to be done efficiently.
Kimchi is a customized version of Plonk, using an inner product argument-based commitment scheme.
This makes the proof system transparent (no trusted setup).
To deliver efficient recursion, Mina uses a pair of elliptic curves from Zcash, Pallas and Vesta (also known as the Pasta curves, or the step and wrap curves.).
The scalar field of Pallas is the base field of Vesta, and the scalar field of Vesta is the base field of Pallas!
This means that if we want to prove the verification of a proof created using Pallas as the elliptic curve (proof recursion), we can do it using the Vesta curve without incurring costly field emulation!
This is the core block for Pickles, Mina’s recursion protocol.
Kimchi highlights:
• Trace table with 15 wires/columns (classic Plonk has only 3).
• Custom gates for Poseidon hash, elliptic curve operations, scalar multiplication, foreign field operations, etc.
• Lookup arguments.
• Inner product argument polynomial commitment scheme.
Kimchi is efficient for proof recursion in Mina, but verifying Kimchi proofs in Ethereum is expensive due to a lack of precompiles.
Luckily, Aligned can directly verify Kimchi proofs and send the results to Ethereum, making bridging between Mina and Ethereum fast and cheap!
If you want to learn more about Mina Kimchi, see their docs or check out the LambdaClass post here.
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 🌌 Galxe | 📝 Manifesto
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 user to run a Mina node with no further trust assumptions.
The proofs are generated in a recursive manner and prove the correctness of the execution of the state transitions in an inductive manner:
At step N we know that the jump from N - 1 to N is correct and checked a proof that the state N - 1 was correctly computed!
Kimchi is crucial for this to be done efficiently.
Kimchi is a customized version of Plonk, using an inner product argument-based commitment scheme.
This makes the proof system transparent (no trusted setup).
To deliver efficient recursion, Mina uses a pair of elliptic curves from Zcash, Pallas and Vesta (also known as the Pasta curves, or the step and wrap curves.).
The scalar field of Pallas is the base field of Vesta, and the scalar field of Vesta is the base field of Pallas!
This means that if we want to prove the verification of a proof created using Pallas as the elliptic curve (proof recursion), we can do it using the Vesta curve without incurring costly field emulation!
This is the core block for Pickles, Mina’s recursion protocol.
Kimchi highlights:
• Trace table with 15 wires/columns (classic Plonk has only 3).
• Custom gates for Poseidon hash, elliptic curve operations, scalar multiplication, foreign field operations, etc.
• Lookup arguments.
• Inner product argument polynomial commitment scheme.
Kimchi is efficient for proof recursion in Mina, but verifying Kimchi proofs in Ethereum is expensive due to a lack of precompiles.
Luckily, Aligned can directly verify Kimchi proofs and send the results to Ethereum, making bridging between Mina and Ethereum fast and cheap!
If you want to learn more about Mina Kimchi, see their docs or check out the LambdaClass post here.
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 🌌 Galxe | 📝 Manifesto
No activity yet