Pushing the Limits of Zero Knowledge Applications
summary
DARPA's CIV program funds concrete progress: zero-knowledge proof of vulnerability now runs on an MSP430-style microcontroller with exploits proved in 30–360s, ~200M gates and ~5 minute verification; source-level proofs hit 11k C LOC. High-performance engines demonstrate 54 million gates in 23s and a boolean trillion gates run taking ~19 hours at ~67 ns per AND gate (AWS cost ~\$65). Work includes formally verified end-to-end proof pipelines, LWE-based Fiat–Shamir instantiations and a quantum-proof-of-knowledge protocol with a classical verifier.
AI-written summary · about
chapters (8)
- 0:00Start
- 0:03Joshua Baron
- 2:12Cryptographic Programs at Darpa
- 3:38Background
- 6:34What Is Zero Knowledge
- 12:59How Zero Knowledge Works
- 32:18Formal Verification Associated with Zero Knowledge
- 39:59Prover Complexity
related talks
33mAn Introduction to Zero Knowledge Proofs
33mEducational Challenges in the Ever-Evolving Space of Zero-Knowledge
49mLattice-Based Zero Knowledge and Applications
28mZero Knowledge Proofs and Their Future Applications
01h 35mSTARK – Zero-Knowledge Proof Protocol
13mUnveiling the Future of Zero-Knowledge Proofs
51mPanel: Zero Knowledge in the Enterprise
19mAutomated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs