On Doubly-Efficient Interactive Proof Systems