SWhat changed
Proof could be analyzed not only for convincing power but for what it reveals to a verifier.
Scientific scope
Three-author STOC 1985 work and later journal form; subsequent noninteractive, succinct and applied proof systems excluded.
Evidence
The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the three-author STOC 1985 work and later journal form. It does not encompass every later zero-knowledge construction, non-interactive proof or deployment.
Contributors
- Shafi Goldwasser · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
- Silvio Micali · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
- Charles Rackoff · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
- Goldwasser, Micali and Rackoff, The Knowledge Complexity of Interactive Proof Systems
- Shafi Goldwasser publication list: Knowledge Complexity of Interactive Proof Systems
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction