An Evolution of Models for Zero-Knowledge Proofs

Explore the evolution of zero-knowledge proof models in this invited talk from Eurocrypt 2021. Delve into the applications driving their development, emerging interaction models, achievable constructions, and areas for future research. Examine topics such as common reference strings, witness efficiency, blockchain applications, ZK rollups, multiparty computation, and distributed proofs. Gain insights into current constraints, user considerations, and open problems in the field of zero-knowledge proofs.

Introduction
Presentation Overview
ZeroKnowledge
Common Reference String
Witness
Efficiency
Blockchains
Address and Balance Trees
ZK Rollups
Proofer Runtime
Reference Strings
Simulation Trapdoor
Separation
Transparent
Updateability
Multiparty Computation
Mining
Current Situation
Other Applications
Constraints
Users
Open Problem
Distributed Proof
Secret Sharing
Prio
Conclusion