Zero-Knowledge Proofs
Proving systems and the tooling to build with them: how they work, what they cost, and the general-purpose virtual machines that prove arbitrary program execution.
1395 talks
- ZK14 - Time-Space Trade-Offs for Sumcheck - Anubhav Baweja (University of Pennsylvania)
- ZK14 - A Security Guide to ZK Engineering - Michael Belegris (Nethermind)
- ZK14 - Jolt Atlas: Verifiable Inference via Lookup Arguments in Zero Knowledge - Antoine Douchet
- ZK14 - The Quantum Question Panel
- ZK14 - Origin Tags: Dynamic Detection of Fiat-Shamir bugs in complex systems - Innokentii Sennovskii
- ZK14 - lambda-vm: minimalistic and performant zkvm - Diego Kingston (Aligned)
- ZK14 - Proof of Seed: ZK-Based Quantum Migration Without Address Changes - Mahdi Sedaghat
- ZK14 - Nondeterministic Autoprecompiles - Georg Wiese (Powdr Labs)
- ZK14 - Securing a $500B Computer: The EF zkEVM Security Sprint - George Kadianakis
- ZK14 - Scaling Zcash with Project Tachyon - Tal Derei (Tachyon)
- Privacy-Preserving Digital Identity with Abhi Shelat | a16z crypto Research Series
- ZK14 - 7 years in Poseidon: Survey of (algebraic) attacks on Poseidon & Poseidon2-Antonio Sanso
- Twist and Shout: Fast, Simple Memory Arguments
- ZK14 - VEIL: Lightweight Zero-Knowledge for Hash-Based Multilinear Proof Systems - Ron Rothblum
- ZK14 - ZOOK: Zero-Knowledge IOPPs for Constrained Interleaved Codes - Giacomo Fenzi (EPFL)
- ZisK: Pushing the Limits of Real-Time Proving - Jordi Baylina
- Reimagining money with zero-knowledge proofs - Jason Morton
- Privacy-Preserving Proof of Personhood at the HTTP Layer - Viki Val
- ZK14 - Intro with Anna Rose
- POD: recursive, logical, client-side proofs - Rob Knight
- Why Ali Yahya Believes That the Chain That Protects Private State Will Win
- zkSummit14 - Live Stream
- A16z Crypto Raised $2.2 Billion for Fund 5. Here's How They Plan to Deploy It
- Samed Düzçay: Accessing Institutional Yield Strategies at Tori Finance