Randomness in Interactive Proofs