The Knowledge Complexity of Interactive Proof-Systems (pdf)groups.csail.mit.edu2 pointsTriinT17 years ago