Goldreich–Micali–Wigderson zero-knowledge — The Logic Path
Node
Goldreich–Micali–Wigderson zero-knowledge (Theorem) in The Logic Path. Era: 1986. Origin axiom of path: Huntington's theorem (Boole's Boolean). Modern reach: SAT · NP-completeness · Complexity theory.