The acceleration of ZK is happening at a rapid pace. Last week we covered the collaboration between Succinct and AggLayer on the proof generation side using SP1, a generalized ZKVM. Today, we're excited to share insights from our recent chat with RJ and Mauro from Aligned Layer, the other half to the ZK puzzle focused on verifying proofs.
RJ and Mauro have deep roots in engineering and cryptography, originally honed at Lambda Class.
Aligned is on a mission to accelerate the Ethereum roadmap. By making ZK proofs more accessible and affordable for developers, they are building out the first verification layer.
We had a lot of questions for these guys.
One of them was around Alignedโs approach to verifcation with a stateless architecture, meaning they aren't building their own but instead focus solely on proof verification. We asked about centralization concerns and also managing their consensus as a network. They are doing this as an Eigenlayer AVS, utilizing the economic security of Ethereum.
We also asked them straight up how many proofs per second they can verify currently and why their "complete verification" system is superior to others. We discussed why proof aggregation is so important to their setup as well.
Towards the end, we discussed the ways Aligned is aiming to reduce the cost of reading proofs on Ethereum as well as developing more efficient aggregation methods. They are committed to integrating with the broader Ethereum ecosystem, working with LRT providers and other partners to enhance economic security and network adoption.
Watch or listen to this interview to learn about the landscape of ZK proof verification.
๐๐๐ฆ๐๐๐๐๐ ๐๐ฅ: ๐๐ฏ๐ท๐ฆ๐ด๐ต๐ช๐ฏ๐จ ๐ช๐ฏ ๐ค๐ณ๐บ๐ฑ๐ต๐ฐ๐ค๐ถ๐ณ๐ณ๐ฆ๐ฏ๐ค๐บ ๐ข๐ฏ๐ฅ ๐๐ฆ๐๐ช ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ๐ด ๐ค๐ฐ๐ฎ๐ฆ๐ด ๐ธ๐ช๐ต๐ฉ ๐ช๐ฏ๐ฉ๐ฆ๐ณ๐ฆ๐ฏ๐ต ๐ณ๐ช๐ด๐ฌ๐ด ๐ช๐ฏ๐ค๐ญ๐ถ๐ฅ๐ช๐ฏ๐จ ๐ต๐ฆ๐ค๐ฉ๐ฏ๐ช๐ค๐ข๐ญ ๐ณ๐ช๐ด๐ฌ, ๐ฉ๐ถ๐ฎ๐ข๐ฏ ๐ฆ๐ณ๐ณ๐ฐ๐ณ, ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ ๐ง๐ข๐ช๐ญ๐ถ๐ณ๐ฆ ๐ข๐ฏ๐ฅ ๐ฎ๐ฐ๐ณ๐ฆ. ๐๐ต ๐ค๐ฆ๐ณ๐ต๐ข๐ช๐ฏ ๐ฑ๐ฐ๐ช๐ฏ๐ต๐ด ๐ต๐ฉ๐ณ๐ฐ๐ถ๐จ๐ฉ๐ฐ๐ถ๐ต ๐ต๐ฉ๐ช๐ด ๐ค๐ฉ๐ข๐ฏ๐ฏ๐ฆ๐ญ, ๐ธ๐ฆ ๐ฎ๐ข๐บ ๐ฆ๐ข๐ณ๐ฏ ๐ข ๐ค๐ฐ๐ฎ๐ฎ๐ช๐ด๐ด๐ช๐ฐ๐ฏ ๐ฐ๐ณ ๐ง๐ฆ๐ฆ ๐ข๐ด ๐ข ๐ด๐ฑ๐ฐ๐ฏ๐ด๐ฐ๐ณ๐ด๐ฉ๐ช๐ฑ, ๐ช๐ง ๐ต๐ฉ๐ช๐ด ๐ช๐ด ๐ต๐ฉ๐ฆ ๐ค๐ข๐ด๐ฆ ๐ธ๐ฆ ๐ธ๐ช๐ญ๐ญ ๐ข๐ญ๐ธ๐ข๐บ๐ด ๐ฎ๐ข๐ฌ๐ฆ ๐ด๐ถ๐ณ๐ฆ ๐ช๐ต ๐ช๐ด ๐ค๐ญ๐ฆ๐ข๐ณ. ๐๐ฆ ๐ข๐ณ๐ฆ ๐ด๐ต๐ณ๐ช๐ค๐ต๐ญ๐บ ๐ข๐ฏ ๐ฆ๐ฅ๐ถ๐ค๐ข๐ต๐ช๐ฐ๐ฏ๐ข๐ญ ๐ค๐ฐ๐ฏ๐ต๐ฆ๐ฏ๐ต ๐ฑ๐ญ๐ข๐ต๐ง๐ฐ๐ณ๐ฎ, ๐ฏ๐ฐ๐ต๐ฉ๐ช๐ฏ๐จ ๐ธ๐ฆ ๐ฐ๐ง๐ง๐ฆ๐ณ ๐ช๐ด ๐ง๐ช๐ฏ๐ข๐ฏ๐ค๐ช๐ข๐ญ ๐ข๐ฅ๐ท๐ช๐ค๐ฆ. ๐๐ฆ ๐ข๐ณ๐ฆ ๐ฏ๐ฐ๐ต ๐ฑ๐ณ๐ฐ๐ง๐ฆ๐ด๐ด๐ช๐ฐ๐ฏ๐ข๐ญ๐ด ๐ฐ๐ณ ๐ญ๐ช๐ค๐ฆ๐ฏ๐ด๐ฆ๐ฅ ๐ข๐ฅ๐ท๐ช๐ด๐ฐ๐ณ๐ด.