Theory¶
Description¶
Entries focused on theoretical aspects of ZKPs — formal definitions, complexity classes, impossibility results, and mathematical foundations.
Entries tagged¶
- Interactive Proof Model (IP)
- Non-Interactive Zero-Knowledge and Its Applications (BFM88)
- On Sigma Protocols (Damgård)
- Scalable Secure Multiparty Computation (Damgård-Ishai 2006)
- The Knowledge Complexity of Interactive Proof Systems (GMR85)
- ZK Proof System Families Overview
- ZK Proof Taxonomy: Abstraction Levels