The Evolution of ZKProof.org
summary
A history of concrete steps toward standardizing zero knowledge work since 2018 with volunteer working groups producing specifications for proving languages, Sigma-style protocols and oracle compilers, coordinated review with NIST, and priority choices to standardize mature primitives rather than cutting edge proofs. A recovered artifact is ZK interface (R1CS) which a DARPA $100M program adopted and now feeds back improvements, the community targets Groth16 standardization as a missed early win, and applied demos include LLaMA 2 proof of inference.
AI-written summary · about
chapters (8)
- 0:00Origins and mission
- 1:36Building a chain of trust
- 3:49Working groups and process
- 7:00Industry collaboration
- 8:56Evolving scope and focus
- 11:53The necessity of standards
- 13:51Milestones and challenges
- 16:07Future goals and participation
related talks
03m1st Standards Workshop
24mEnhancing Protocol Security With ZK-Oracles
44mStandardizing Zero Knowledge Proofs - Keynote
02mStandardization Interview – Eran Tromer
51mWhy you shouldn't trust me
51mPanel: Zero Knowledge in the Enterprise
44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacy
21mZero-Knowledge Proofs and Self Sovereign Identity