Day 30

We showed that IP = PSPACE via the Shen proof and introduced the MIP model.

• IP = PSPACE by Adi Shamir
• IP =PSPACE: Simplified proof by Alexander Shen
• On the power of multi-prover interactive protocols by Lance Fortnow, John Rompel and Michael Sipser