Overview
Syllabus
Intro
Ark Pack Practical Snark Aggregation
What are Proof Systems
Proof Systems in Decentralized Systems
Aggregation
Bilinear Groups
Construction
Trusted Setup
Commitments
Snackpack
Sniper Optimization
Next steps
Policy Enforcement
Zero Knowledge Proof
Zero Knowledge Middle Box
Review of requirements
Zero Knowledge Proof Machinery
Key Consistency Check
Filtering Encrypted DNS
What is DNS
Childrens Internet Protection Law
Benchmarks
Ongoing work
Conclusion
Introduction
Heartbleed
Key Extraction
Publish Private Key
Publish on GitHub
Key Leakage Resilience
Forward Security
NonInteractive Forward Security
Epochbased Forward Security
punctual encryption
puncture encryption
crypto literature
geokey manager
financial crypto
Taught by
TheIACR