Building Cryptographic Proofs from Hash Functions with Alessandro Chiesa and Eylon Yogev
Zero Knowledge · Zero Knowledge Podcast
Audio is streamed directly from the publisher (podcasts.captivate.fm) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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
Read transcript