Interactive zero knowledge 3-colorability demonstration
web.mit.edu