Tooling Infrastructure for Zero Knowledge Proofs
summary
A set of concrete tooling claims: Merlin transcripts implements a sponge-based transcript API (Rust crate plus a single-file C89 library) that automaticially frames messages, gives domain separation by default, supports transcript logging, transcript-bound RNG to mitigate nonce/entropy attacks, and composes multi-step proofs. A separate Schnorr-proof toolkit auto-generates constant-time prover code, batch verification and compact serialization from declarative statements, yielding 20–40× faster generated implementations than the paper baselines; both systems are implemented and used in practice.
AI-written summary · about
chapters (4)
- 0:00Challenges in ZK development
- 4:15Introduction to Merlin
- 15:01Schnorr proof toolkit
- 20:01Q&A session
related talks
44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacy
44mStandardizing Zero Knowledge Proofs - Keynote
01h 26mPanel Discussion: The Challenges and Best Practices of Deploying Zero-Knowledge Proofs
30mPractical Zero Knowledge Proofs
02mStandardization Interview – Eran Tromer
25mHigh-Speed zkSNARKs without Trusted Setup
20mThe Evolution of ZKProof.org
59mCommit-and-Prove Zero-Knowledge Proof Systems and Extensions