Zero Knowledge Ideal Functionality
summary
Defines an ideal functionality for zero-knowledge within the UC framework, models non‑interactive ZK using a common reference string, and admits UC impossibility barriers for succinct SNARKs. Introduces an angel helper — extra simulator power shared by real and ideal worlds — so the simulator can extract witnesses and sidestep known lower bounds. Work is WIP: goal is a functionality useful for confidential‑transaction applications and realizable by current SNARK constructions under explicit setup or knowledge assumptions.
AI-written summary · about
chapters (8)
- 0:00Start
- 4:20Zero Knowledge GMR85
- 9:17Same attack on protocols
- 10:31Composition of Zero Knowledge GK90
- 12:20Traditional Cryptographic Modeling
- 16:17Do we really care?
- 34:53NIZK functionality - Real World
- 40:21Enter SNARK land
related talks
29mZKP Ideal functionality
44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacy
37mWhat ZK Can—and Can’t—Do for You
44mZero Knowledge Architecture
51mWhy you shouldn't trust me
01h 05mAn Algebraic Framework for Universal and Updatable zkSNARKs
38mZero Knowledge: you can't leak what you don't know
03m1st Standards Workshop