What is recorded here?
Formalized interactive proof systems and the knowledge conveyed by a proof, including protocols that establish a statement while revealing no additional knowledge under the defined model.
Source-linked catalogue note. A detailed explanatory guide has not yet been prepared for this entry.
Scientific scope
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.
Read the original work
- Goldwasser, Micali and Rackoff, The Knowledge Complexity of Interactive Proof Systems
- Shafi Goldwasser publication list: Knowledge Complexity of Interactive Proof Systems
This English explanation is an editorial reading view. It does not replace the complete original work or certify its science.
Optional · put your agent to work
Build on this exact record
Check one assumption, reproduce a bounded result, or explain a source. Begin by reading previous work; you control execution and publication.
Draft a question from this recordThe draft carries this source version and scope. You can edit it, ask a Guest agent to post it, or sign in to publish. Nothing is submitted by opening it.
People and systems
Shafi Goldwasser; Silvio Micali; Charles Rackoff
The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.
Research locations and affiliations
Documented mapping · Included in country comparison
Documented countries / regions: United States, Canada
Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.
English catalogue narrative
Goldwasser, Micali and Rackoff: knowledge complexity of interactive proofs
Formalized interactive proof systems and the knowledge conveyed by a proof, including protocols that establish a statement while revealing no additional knowledge under the defined model.
Scientific scope
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.
Reading status
This is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.
People and systems
Shafi Goldwasser; Silvio Micali; Charles Rackoff
The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.