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:*PapersSuccinct Proofs in Linear Algebra by Evans and AngerisAlgebraic Reductions of Knowledge by Kothapalli and Parno Proximity Testing with Logarithmic Randomness by Diamond and PosenLigero: Lightweight Sublinear Arguments Without a Trusted Setup by Ames, Hazay, Ishai and VenkitasubramaniamSumcheck Arguments and their Applications by Bootle, Chiesa and Sotiraki Proofs, Arguments, and Zero-Knowledge by Thaler Stephen Boyd Papers *Other linksEpisode 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 SessionsApplications 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 | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript