Concurrency and Zero-Knowledge Protocols Amit Sahai MIT Laboratory for Computer Science Zero-knowledge Proofs [GMR85] One party (“the prover”) convinces another party…