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

People

Related

Explore

Canonical: https://axiom.tanaakk.com/theorem/wigderson-abacus-1994/