Leveraging Parallelism in Interactive Proofs