ZKP Ideal functionality

on YouTube ↗29m

" summary

Defines an ideal ZKP as a cloud-like API that accepts statements and returns public, verifiable attestations while keeping witnesses secret, and claims two concrete guarantees: proof-of-knowledge/extractability so a simulator can obtain witnesses, and non-transferability plus public verifiability so proofs can be checked by anyone but not reused. Discusses practicality tradeoffs, support for programmable CRS, composition across multiple proofs (including verified-encryption composition), and the hard challenge of online extraction without rewinding.

AI-written summary · about

" chapters (11)

1. 0:00Intro
2. 0:12Zero Knowledge
3. 1:50Security
4. 2:32Security implications
5. 4:05What is guaranteed
6. 5:33Pinocchio
7. 8:27Modifying
8. 12:52Multiple proofs
9. 14:15Relation
10. 15:45Relations
11. 17:31Implementation

" related talks

• 45mZero Knowledge Ideal FunctionalityMuthu Venkitasubramaniam · 2nd ZKProof Workshop 2019
• 41mGKR based Zero-Knowledge ProofsYael Tauman Kalai · 2nd ZKProof Workshop 2019
• 44mBilinear Pairings-based Zero-Knowledge ProofsJens Groth · 2nd ZKProof Workshop 2019
• 51mWhy you shouldn't trust meKeerthana Ganesh, Shubham Patil · NDC Oslo 2022
• 35mEfficient Zero Knowledge Protocols: The Modular ApproachYuval Ishai · 2nd ZKProof Workshop 2019
• 32mSoK: Private Programmability on Blockchain SystemsYing Tong Lai, Daniel Benarroch · ZKProof 6 in Berlin
• 26mZKP for Audits of Unsolicited Consumer CommunicationHitarshi Buch, Joshua Satten · 2nd ZKProof Workshop 2019
• 21mBringing ZKP to Traditional Industries, Physical World Use CasesShiri Lemel · 2nd ZKProof Workshop 2019