View Transcript
Episode Description
In this episode, Anna and Kobi speak with Benedikt Bünz, Chief Scientist at Espresso Systems and Professor at NYU.
Systems and Infrastructure
Additional Reading
**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 **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address * ZEC - Donation address Read transcript
They start with a quick update on Espresso's architecture, its role in delivering fast finality across chains, and the challenges of building high-throughput blockchain infrastructure. The conversation then turns to Benedikt’s recent research on folding schemes, hash-based proof systems such as Arc and Warp, and Golden, a non-interactive distributed key generation protocol for threshold signatures.
The episode later explores Flock, a new proof system for standard hash functions such as Blake3 and SHA-256 that exceeds Ethereum's post-quantum proving targets without relying on specialized hash functions. They conclude by discussing proof system performance, post-quantum cryptography, and the use of AI-assisted development in cryptographic engineering. Related Links- Bulletproofs — Short Proofs for Confidential Transactions and More
- Protostar — Generic Efficient Accumulation/Folding for Special-Sound Protocols
- HyperPlonk — Plonk with Linear-Time Prover and High-Degree Custom Gates
- Nova — Recursive Zero-Knowledge Arguments from Folding Schemes
- Arc — Accumulation for Reed–Solomon Codes
- Linear-Time Accumulation Schemes
- Golden: Lightweight Non-Interactive Distributed Key Generation
- Flock: Fast Proving for Batch Boolean Computations
- TensorSwitch — Nearly Optimal Polynomial Commitments from Tensor Codes
- Bolt: Faster SNARKs from Sketched Codes
- Ligero — Lightweight Sublinear Arguments Without Trusted Setup
Systems and Infrastructure
Additional Reading
- Vitalik Buterin — The Splurge: Post-Quantum Ethereum
- Accumulation without Homomorphism
- Neo and SuperNeo: Post-Quantum Folding with Pay-Per-Bit Commitments
- Espresso’s HotShot: A Consensus Protocol Designed for Rollups
**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 **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address * ZEC - Donation address Read transcript