Home > Resources > papers > GMR85-ZK-Complexity

The Knowledge Complexity of Interactive Proof Systems (GMR85)

URL: https://dl.acm.org/doi/pdf/10.1145/22145.22178

Summary

The foundational paper introducing zero-knowledge proofs. Goldwasser, Micali, and Rackoff define interactive proof systems and the notion of "knowledge complexity", establishing the three core properties: completeness, soundness, and zero-knowledge. Every ZKP system built since traces its origins to this work.

Used by

• Interactive-Proof-Model
• GMR85-Knowledge-Complexity

Related resources

• Non-Interactive Zero-Knowledge and Its Applications (BFM88) (paper, 1988)
• Proofs, Arguments, and Zero-Knowledge (book, 2023)
• The Evolution of Zero Knowledge Proofs (blog, 2018)