We accelerate the roadmap of Ethereum by making proof verification faster and cheaper. We can verify proofs for 10% of the cost.

Aligned 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...

Aligned 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...

What 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...

Aligned 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...

Aligned 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...

What 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
β¨ ZK-Newsflash! β¨
Here are the highlights of what happened in the ZK space last week, 1st - 7th July.
Weβre thrilled to have announced our partnership with Mina! β
Aligned will help Mina verify Ethereum proofs more efficiently, making the βProof of Everythingβ more accessible. This is a big step forward for both protocols!
Mina π€ Aligned.
Excited to share our agenda for EthCC 2024 in Brussels! π
Join us for in-depth technical discussions and a vibrant hacking atmosphere.
ZK enthusiasts, get ready to connect and explore the latest advancements! We're looking forward to seeing you there. Details below.
Very Aligned podcast with The Rollup! π’
Two of our co-founders, Roberto CatalΓ‘n & Mauro Toscano, spread the word about Aligned, explaining technical details about our architecture, the challenges we face, and commenting on the progress of ZK technology, and much more!
A great paper by Ingonyama, jointly with Justin Thaler was posted! π
Building upon Justin Thaler's work on optimizing the sumcheck prover for small fields, they have created a new algorithm that offers substantial improvements in both computational efficiency and memory usage.
Kakarot Public Testnet Phase is Live! π₯
The team invites builders to deploy smart contracts and build unique dApps. They also encourage users to experiment with existing dApps.
Visit the faucet to claim your first drip and join the network.
Ventali Tan, co-founder of Lita, provided an excellent resource discussing zkVM design. π
Custom or general-purpose Instruction Set Architecture (ISA)?
Find out Litaβs approach in this thread!
To advance its mission to coordinate a decentralized rollup economy, Radius launched Loggia Testnet, its third Testnet with Radius AVS built on EigenLayer. β¨
It's designed to ensure sequencing liveness and block safety required for decentralized sequencing in rollups.
Herodotus announced the beta release of Herodotus Data Processor (HDP). β
It enables the delegation of intensive computations over authenticated on-chain data to an off chain service.
It is built on the CairoVM and the underlying STARK proof system.
ZKsync unveils the Elastic Chain. βοΈ
The elastic chain is an infinitely extensible network of ZK Chains, seamlessly interoperable with a uniform intuitive UX.
This upgrade enables native, trustless, low-cost interoperability between chains powered by ZK Stack.
StarkWare sets new proving record: π»
They shattered the proving record with over 500,000 hashes proved per second on a commodity quad-core CPU.
This implies that more efficient proving technology can be used to reduce proving costs.
Another ZK Podcast is out! π’
In this episode Anna Rose and Guillermo Angeris chat with Ying Tong and Bryan Gillespie.
They discuss their recent work, 'SoK: Programmable Privacy in Distributed Systems'.
Listen to it here:
Stay tuned:Β π¦ Twitter | π¨οΈ Telegram | πΎ Discord | π Website | π Galxe | π Manifesto
β¨ ZK-Newsflash! β¨
Here are the highlights of what happened in the ZK space last week, 1st - 7th July.
Weβre thrilled to have announced our partnership with Mina! β
Aligned will help Mina verify Ethereum proofs more efficiently, making the βProof of Everythingβ more accessible. This is a big step forward for both protocols!
Mina π€ Aligned.
Excited to share our agenda for EthCC 2024 in Brussels! π
Join us for in-depth technical discussions and a vibrant hacking atmosphere.
ZK enthusiasts, get ready to connect and explore the latest advancements! We're looking forward to seeing you there. Details below.
Very Aligned podcast with The Rollup! π’
Two of our co-founders, Roberto CatalΓ‘n & Mauro Toscano, spread the word about Aligned, explaining technical details about our architecture, the challenges we face, and commenting on the progress of ZK technology, and much more!
A great paper by Ingonyama, jointly with Justin Thaler was posted! π
Building upon Justin Thaler's work on optimizing the sumcheck prover for small fields, they have created a new algorithm that offers substantial improvements in both computational efficiency and memory usage.
Kakarot Public Testnet Phase is Live! π₯
The team invites builders to deploy smart contracts and build unique dApps. They also encourage users to experiment with existing dApps.
Visit the faucet to claim your first drip and join the network.
Ventali Tan, co-founder of Lita, provided an excellent resource discussing zkVM design. π
Custom or general-purpose Instruction Set Architecture (ISA)?
Find out Litaβs approach in this thread!
To advance its mission to coordinate a decentralized rollup economy, Radius launched Loggia Testnet, its third Testnet with Radius AVS built on EigenLayer. β¨
It's designed to ensure sequencing liveness and block safety required for decentralized sequencing in rollups.
Herodotus announced the beta release of Herodotus Data Processor (HDP). β
It enables the delegation of intensive computations over authenticated on-chain data to an off chain service.
It is built on the CairoVM and the underlying STARK proof system.
ZKsync unveils the Elastic Chain. βοΈ
The elastic chain is an infinitely extensible network of ZK Chains, seamlessly interoperable with a uniform intuitive UX.
This upgrade enables native, trustless, low-cost interoperability between chains powered by ZK Stack.
StarkWare sets new proving record: π»
They shattered the proving record with over 500,000 hashes proved per second on a commodity quad-core CPU.
This implies that more efficient proving technology can be used to reduce proving costs.
Another ZK Podcast is out! π’
In this episode Anna Rose and Guillermo Angeris chat with Ying Tong and Bryan Gillespie.
They discuss their recent work, 'SoK: Programmable Privacy in Distributed Systems'.
Listen to it here:
Stay tuned:Β π¦ Twitter | π¨οΈ Telegram | πΎ Discord | π Website | π Galxe | π Manifesto
No activity yet