Module 2
What is a proof?
Module 2
Interactive and Non-Interactive Protocols