Episode 294: Succinct Proofs and Linear Algebra with Guillermo and Alex

In this week’s episode, host Anna Rose and co-host Kobi Gurkan chat with Alex Evans and Guillermo Angeris about their new research paper on Succinct Proofs in Linear Algebra. The paper introduces a framework that simplifies the construction of succinct proofs and offers a toolkit of useful techniques. Their conversation also covers the use of randomized reductions in zero-knowledge proofs, the security of the FRI protocol, and the potential applications of the framework in other systems. Here’s some additional links for this episode: *Papers Succinct Proofs in Linear Algebra by Evans and Angeris Algebraic Reductions of Knowledge by Kothapalli and Parno Proximity Testing with Logarithmic Randomness by Diamond and Posen Ligero: Lightweight Sublinear Arguments Without a Trusted Setup by Ames, Hazay, Ishai and Venkitasubramaniam Sumcheck Arguments and their Applications by Bootle, Chiesa and Sotiraki Proofs, Arguments, and Zero-Knowledge by Thaler Stephen Boyd Papers *Other links Episode 140: Staking derivatives & DeFi with Alex Evans (and Tarun!) Episode 206: Distilling DeFi Primitives with Guillermo, Alex and Tarun Episode 271: Between Two ZK Events with Nico and Guillermo Episode 282: Error Correcting Codes & Information Theory with Ron Rothblum Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert ZK Hack Discord ZK Whiteboard Sessions Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ 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 Q4, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at aleo.org If you like what we do: Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube

Om Podcasten

Zero Knowledge is a podcast which goes deep into the tech that will power the emerging decentralised web and the community building this. Covering the latest in zero knowledge research and applications, the open web as well as future technologies and paradigms that promise to change the way we interact — and transact — with one another online. Zero Knowledge is hosted by Anna Rose Follow the show at @ZeroKnowledgefm (https://twitter.com/zeroknowledgefm) or @AnnaRRose (https://twitter.com/AnnaRRose) If you like the Zero Knowledge Podcast: Join us on Telegram (https://t.me/joinchat/TORo7aknkYNLHmCM) Support our Gitcoin Grant (https://gitcoin.co/grants/38/zero-knowledge-podcast) Support us on Patreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0x4BF66E52f3009Cd138e48f142D47661037160001 BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ DOT: 14zPzb7ihiBeaUn9jdPW9cHKGBd9qtTuJE75hhW2CvzLh6rT