Interactive demonstration of zero-knowledge proofs for graph 3-colorabilityweb.mit.edu2 pointsezyang15 years ago