I will do a deep dive into interactive proofs and their efficient implementation. This will expand significantly on the overview given in the Boot Camp.