Proof — Zero-knowledge proofs
Statement
Interactive proofs; derandomization; PCP. Proved in ZFC.
Source
IMU Abacus Medal 1994. Interactive proofs; derandomization; PCP. Proved in ZFC.
Domains
computer-science
Interactive proofs; derandomization; PCP. Proved in ZFC.
IMU Abacus Medal 1994. Interactive proofs; derandomization; PCP. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/wigderson-abacus-1994/