Title: On Doubly-Efficient Interactive Proof Systems
Subjects: Computer science