L9: Interactive Proofs and Zero Knowledge
Topics
- Interactive proofs
- Zero knowledge
Readings
- IP = PSPACE (lecture)(original proof)(better proof)
- ZK for Hamiltonian cycles
- ZK 3-colorings, in detail (§7.2)
- Just for fun: Knuth on Hamiltonian paths and cycles