Episode 329. Aired on June 26, 2024
See full episode on zeroknowledge....
In this week’s episode Anna (x.com/AnnaRRose) and Nico (x.com/nico_mnbl) chat with Alessandro Chiesa (ic-people.epfl..., 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:
00:05 * Building Cryptographic Proofs from Hash Functions by Chiesa and Yogev (snargsbook.org/)
00:05 * Episode 200: SNARK Research & Pedagogy with Alessandro Chiesa (zeroknowledge....)
11:58 * Barriers for Succinct Arguments in the Random Oracle Model by Chiesa and Eylon Yogev (eprint.iacr.or...)
14:55 * STIR: Reed-Solomon Proximity Testing with Fewer Queries by Arnon, Chiesa, Fenzi and Eylon Yogev (eprint.iacr.or...)
14:55 * ZK Podcast Episode 321: STIR with Gal Arnon & Giacomo Fenzi (zeroknowledge....)
19:59 * Computationally Sound Proofs by Micali (people.csail.m...)
19:59 * Tight Security Bounds for Micali’s SNARGs by Chiesa and Yogev (eprint.iacr.or...)
42:52 * Interactive Oracle Proofs by Ben-Sasson, Chiesa, and Spooner (eprint.iacr.or...)
55:28 * Summer School on Probabilistic Proofs: Foundations and Frontiers of Probabilistic Proofs in Zürich, Switzerland (www.slmath.org...)
57:58 * Proofs, Arguments, and Zero-Knowledge by Thaler (people.cs.geor...)
58:40 * ZK HACK Discord and Justin Thaler Study Club ( / discord )
58:40 * Justin Thaler Study Club by ZK HACK on RU-vid ( • ZK HACK - Thaler Book ... )
* Subquadratic SNARGs in the Random Oracle Model by Chiesa and Yogev (eprint.iacr.or...)
* ZK Learning Course (zk-learning.org/)
---------------
ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here (zk-hack-montre....
---------------
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 ( / namada ) for more information and join the community on Discord ( / discord .
---------------
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/zero...)
* Subscribe to our podcast newsletter (zeroknowledge....)
* Follow us on Twitter @zeroknowledgefm ( / zeroknowledgefm )
* Join us on Telegram (zeroknowledge....)
* Catch us on RU-vid ( / @zeroknowledgefm )
---------------
19 сен 2024
