Proofs, Knowledge, and Computation: Zero-Knowledge Interactive Systems
Traces how randomness and interaction transformed mathematical proof from static deduction into probabilistic, zero-knowledge cryptographic verification.
Silvio Micali
Ford Professor of Engineering & Turing Laureate, MIT
Standalone talks by Silvio Micali
1Self-contained public lectures, keynote addresses, and research seminars.
Study paths featuring Silvio Micali
1
6 steps · 6h4 universities
Computability, Zero-Knowledge & Differential Privacy
Automata, cryptographic hardness, interactive proofs, and privacy guarantees
MIT · Ruhr University Bochum · Harvard University +1
6 curated lecturesOpen path →