Proof — Zero-knowledge proofs
Statement
Interactive proofs; zero-knowledge; verifiable computation. Proved in ZFC.
Source
ACM Turing Award 2012. Interactive proofs; zero-knowledge; verifiable computation. Proved in ZFC.
Domains
computer-science
Interactive proofs; zero-knowledge; verifiable computation. Proved in ZFC.
ACM Turing Award 2012. Interactive proofs; zero-knowledge; verifiable computation. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/micali-turing-2012/