@ColinTheMathmo coincidentally, I gave a talk on zero-knowledge protocols recently which used three-colouring graphs as an example