For May 8. do the last 2 we didn't get to on May 1.
For May 15, design a zero-knowledge proof system for Graph Non-isomorphism. Prove that it is a zero-knowledge proof system. Also prove that the protocol I gave in class is a zero-knowledge proof of knowledge of the factorization of a number.
For May 22, do problem 11.2, and come with questions.