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

In this week’s episode, host Anna Rose (https://twitter.com/annarrose) and co-host Kobi Gurkan (https://twitter.com/kobigurk) chat with Alex Evans (https://twitter.com/alexhevans) and Guillermo Angeris (https://twitter.com/GuilleAngeris) about their new research paper on Succinct Proofs in Linear Algebra (https://angeris.github.io/papers/zk-linalg.pdf). 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 (https://angeris.github.io/papers/zk-linalg.pdf)
Algebraic Reductions of Knowledge by Kothapalli and Parno (https://eprint.iacr.org/2022/009)
Proximity Testing with Logarithmic Randomness by Diamond and Posen (https://eprint.iacr.org/2023/630)
Ligero: Lightweight Sublinear Arguments Without a Trusted Setup by Ames, Hazay, Ishai and Venkitasubramaniam (https://acmccs.github.io/papers/p2087-amesA.pdf)
Sumcheck Arguments and their Applications by Bootle, Chiesa and Sotiraki (https://eprint.iacr.org/2021/333.pdf)
Proofs, Arguments, and Zero-Knowledge by Thaler (https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.html)
Stephen Boyd Papers (https://web.stanford.edu/~boyd/papers.html)
*Other links
Episode 140: Staking derivatives & DeFi with Alex Evans (and Tarun!) (https://zeroknowledge.fm/140-2/)
Episode 206: Distilling DeFi Primitives with Guillermo, Alex and Tarun (https://zeroknowledge.fm/206-2/)
Episode 271: Between Two ZK Events with Nico and Guillermo (https://zeroknowledge.fm/271-2/)
Episode 282: Error Correcting Codes & Information Theory with Ron Rothblum (https://zeroknowledge.fm/282-2/)
Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert (https://zeroknowledge.fm/293-2/)
ZK Hack Discord (https://discord.gg/ghsKvMfP)
ZK Whiteboard Sessions (https://zkhack.dev/whiteboard/)
Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ (https://www.zkistanbul.com/)
Aleo (http://aleo.org/) 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 (http://aleo.org/)
If you like what we do:
* Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge)
* Subscribe to our podcast newsletter (https://zeroknowledge.substack.com)
* Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm)
* Join us on Telegram (https://zeroknowledge.fm/telegram)
* Catch us on YouTube (https://zeroknowledge.fm/)