Episode 294: Succinct Proofs and Linear Algebra with Guillermo and Alex - a podcast by Fredrik Harrysson, Anna Rose

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:
*PapersSuccinct 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 linksEpisode 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/)

Further episodes of Zero Knowledge

Further podcasts by Fredrik Harrysson, Anna Rose

Website of Fredrik Harrysson, Anna Rose