Building Cryptographic Proofs from Hash Functions with Alessandro Chiesa and Eylon Yogev

Summary
In this week’s episode x.com/AnnaRRose and Nico (x.com/nico_mnbl) chat with Alessandro Chiesa (ic-people.epfl.ch/%7Eachiesa), Associate Professor at EPFL and Eylon Yogev (eylonyogev.com), Professor at Bar-Ilan University. They discuss their recent publication; Building Cryptographic Proofs from Hash Functions (snargsbook.org), which provides a comprehensive and rigorous treatment of cryptographic proofs and goes on to analyze notable constructions of SNARGs based on ideal hash functions.
Here’s some additional links for this episode:
• Building Cryptographic Proofs from Hash Functions by Chiesa and Yogev (snargsbook.org)
• Episode 200: SNARK Research & Pedagogy with Alessandro Chiesa (zeroknowledge.fm/episode-200-snark-research-pe…)
• Barriers for Succinct Arguments in the Random Oracle Model by Chiesa and Eylon Yogev (eprint.iacr.org/2020/1427.pdf)
• STIR: Reed–Solomon Proximity Testing with Fewer Queries by Arnon, Chiesa, Fenzi and Eylon Yogev (eprint.iacr.org/2024/390.pdf)
• ZK Podcast Episode 321: STIR with Gal Arnon & Giacomo Fenzi (zeroknowledge.fm/321-2)
• Computationally Sound Proofs by Micali (people.csail.mit.edu/silvio/Selected%20Scienti…)
• Tight Security Bounds for Micali’s SNARGs by Chiesa and Yogev (eprint.iacr.org/2021/188.pdf)
• Interactive Oracle Proofs by Ben-Sasson, Chiesa, and Spooner (eprint.iacr.org/2016/116.pdf)
• Summer School on Probabilistic Proofs: Foundations and Frontiers of Probabilistic Proofs in Zürich, Switzerland (slmath.org/summer-schools/1037)
• Proofs, Arguments, and Zero-Knowledge by Thaler (people.cs.georgetown.edu/jthaler/ProofsArgsAnd…)
• ZK HACK Discord and Justin Thaler Study Club (discord.gg/Nw7PKJ7e)
• Justin Thaler Study Club by ZK HACK on YouTube (youtube.com/playlist?list=PLj80z0cJm8QEmZkGgSO…)
• Subquadratic SNARGs in the Random Oracle Model by Chiesa and Yogev (eprint.iacr.org/2021/281.pdf)
• ZK Learning Course (zk-learning.org)

ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here (zk-hack-montreal.devfolio.co).

Episode Sponsors

Launching soon, Namada (namada.net) is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimized bridge.

Follow Namada on Twitter @namada (twitter.com/namada) for more information and join the community on Discord (discord.gg/namada).

Aleo (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 Q1, 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 (linktr.ee/zeroknowledge)
• Subscribe to our podcast newsletter (zeroknowledge.substack.com)
• Follow us on Twitter @zeroknowledgefm (twitter.com/zeroknowledgefm)
• Join us on Telegram (zeroknowledge.fm/telegram)
• Catch us on YouTube (youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Read transcript (github.com/ZeroKnowledgefm/episode-transcripts…)