Educational Challenges in the Ever-Evolving Space of Zero-Knowledge
summary
Timeline of concrete advances: recursion and folding (Halo, Nova, hypernova, protostar) enable proofs of proofs used to aggregate overlapping BLS signatures in Ethereum PoS, moving practical scale from hundreds (≈256) toward millions; CCS and Grumpkin explore alternative constraint systems and non‑native field handling; image provenance and DARPA vulnerability‑disclosure pilots show deployed use; ZKProof is building a community reference and revived working groups to push standards, with NIST calls and public contribution rounds underway.
AI-written summary · about
chapters (14)
- 0:00Intro
- 1:56Zero-Knowledge is Ever-Evolving
- 5:55Gossiping Validator Signatures in Proof of Stake
- 8:41The 2023 Race for Recursion
- 9:54What is a Recursive SNARK
- 12:20Hypernova, Protostar, and CSS
- 13:37Curve Cycles and the Grumpkin Curve
- 16:16Education in Zero-Knowledge Matters (continued)
- 19:58The ZKProof Reference Material
- 20:33Online Resources/Webages
- 22:35Community Resources Useful for Education (Vision)
- 23:47The ZkpComRef (ZKProof Community Reference)
- 27:00ZKProof Structure (come collaborate)
- 27:53In Summary
related talks
33mAn Introduction to Zero Knowledge Proofs
53mProofs Without Evidence: Assurance on the Blockchain and Other Applications
49mLattice-Based Zero Knowledge and Applications
23mYour Game Will Suck Without Zero Knowledge Proofs
17mZK for the Enterprise - Quod Erit Demonstrandum (What Will Need to be Proven)
43mPushing the Limits of Zero Knowledge Applications
51mPanel: Zero Knowledge in the Enterprise
26mState of ZK