Slide 1 1 Adapted from Oded Goldreich’s course lecture notes. Slide 2 2 Outline Proof systems: NP revisited. Interactive proofs The complexity class IP …