Episode 329: Building Cryptographic Proofs from Hash Functions with Alessandro Chiesa and Eylon Yogev
01:10:38 Share

Summary

In this week’s episode Anna) and Nico) chat with Alessandro Chiesa), Associate Professor at EPFL and Eylon Yogev), Professor at Bar-Ilan University. They discuss their recent publication; Building Cryptographic Proofs from Hash Functions), 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)

• Episode 200: SNARK Research & Pedagogy with Alessandro Chiesa)

• Barriers for Succinct Arguments in the Random Oracle Model by Chiesa and Eylon Yogev)

• STIR: Reed–Solomon Proximity Testing with Fewer Queries by Arnon, Chiesa, Fenzi and Eylon Yogev)

• ZK Podcast Episode 321: STIR with Gal Arnon & Giacomo Fenzi)

• Computationally Sound Proofs by Micali)

• Tight Security Bounds for Micali’s SNARGs by Chiesa and Yogev)

• Interactive Oracle Proofs by Ben-Sasson, Chiesa, and Spooner)

• Summer School on Probabilistic Proofs: Foundations and Frontiers of Probabilistic Proofs in Zürich, Switzerland)

• Proofs, Arguments, and Zero-Knowledge by Thaler)

• ZK HACK Discord and Justin Thaler Study Club)

• Justin Thaler Study Club by ZK HACK on YouTube)

• Subquadratic SNARGs in the Random Oracle Model by Chiesa and Yogev)

• ZK Learning Course)

ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here).

Episode Sponsors

Launching soon, Namada) 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) for more information and join the community on Discord).

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 Q1, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at http://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)