Section on Interactive Proofs

[hswick]

Truebit's verification mechanism is an interactive proof (the verification game). Interactive Proof is a larger research field that includes Truebit.

It would be helpful to introduce some of the ideas behind interactive proofs and summarize historical research

https://en.wikipedia.org/wiki/Interactive_proof_system