SWhat changed
Interactive verification gained an exact complexity-class characterization.
Scientific scope
Sole-author 1992 paper; Lund–Fortnow–Karloff–Nisan and later PCP theory separate.
Evidence
The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 1992 Journal of the ACM paper. Earlier interactive-proof definitions, the Lund–Fortnow–Karloff–Nisan results, Shen’s simplified proof and later PCP results remain separate.
Contributors
- Adi Shamir · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
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