On Doubly-Efficient Interactive Proof Systems | lit.salon