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

People

Related

Explore

Canonical: https://axiom.tanaakk.com/theorem/micali-turing-2012/