Proof Aggregation with Shumo and Yi from NEBRA

Summary In this week’s episode https://twitter.com/annarrose (Anna) chats with https://twitter.com/shumochu (Shumo) and https://x.com/0xevevm (Yi) from https://twitter.com/nebrazkp (NEBRA). They discuss how NEBRA UPA, or Universal Proof Aggregation, can mitigate the high price of putting ZKPs on-chain. They cover what it takes to incorporate proving systems into NEBRA UPA as well as the benefits that these systems will bring, how developers are meant to interact with them, and future integrations to enable seamless cross-zkRollup applications. They cover prover marketplaces, verification aggregation systems, and the design space that these systems open up. Here’s some additional links for this episode: https://www.nebra.one/ (NEBRA) https://demo.nebra.one/ (NEBRA UPA Demo) https://docs.nebra.one/ (NEBRA Docs) https://www.nebra.one/blog/upa_gas (UPA Gas Costs by NEBRA) https://bitcoin.mit.edu/ (MIT Bitcoin Club) https://eprint.iacr.org/2021/1167.pdf (fflonK: a Fast-Fourier inspired verifier efficient version of PlonK by Gabizon and Williamson) https://eprint.iacr.org/2023/869.pdf (UniPlonK: PlonK with Universal Verifier by Chu, Gomes, Iglesias, Norton and Tebbs) The Web3 Summit is back! The next edition will be happening in Berlin from Aug 19-21! You can head over to http://web3summit.com (web3summit.com) to apply, learn more and grab your tickets today. Episode Sponsors Launching soon, https://namada.net/ (Namada) is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimized bridge. Follow Namada on Twitter https://twitter.com/namada (@namada) for more information and join the community on Discord http://discord.gg/namada (discord.gg/namada). http://aleo.org/ (Aleo) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/ (http://aleo.org/) If you like what we do: Find all our links here! https://linktr.ee/zeroknowledge (@ZeroKnowledge | Linktree) Subscribe to our https://zeroknowledge.substack.com (podcast newsletter) Follow us on Twitter https://twitter.com/zeroknowledgefm (@zeroknowledgefm) Join us on https://zeroknowledge.fm/telegram (Telegram) Catch us on https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g (YouTube)