Doubly-Efficient¶ IPs achieve that Provers run in polynomial time and Verifiers run in linear time are called doubly-efficient. Comments