The Knowledge Complexity of Interactive Proof Systems
SIAM Journal on Computing
Shafi Goldwasser
Silvio Micali
Beyond nash equilibrium
Two prover protocols