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