Geoffrey Irving comments on Arguments for P

[Geoffrey Irving]

We’ll model the verifier as being in P, and the prover as being in...