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...
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
✨ 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
New paper 
500,000 Poseidon hashes per second on an Intel i7 CPU with 4 cores 
600,000 per
This week, @AnnaRRose + @GuilleAngeris chat with @therealyingtong + @bryan_gillespie about their latest work ‘SoK: Programmable Privacy in Distributed Systems’. They explore the classifications + frameworks being introduced plus much more.
New paper
500,000 Poseidon hashes per second on an Intel i7 CPU with 4 cores 600,000 per
This week, @AnnaRRose + @GuilleAngeris chat with @therealyingtong + @bryan_gillespie about their latest work ‘SoK: Programmable Privacy in Distributed Systems’. They explore the classifications + frameworks being introduced plus much more. 
No activity yet