Section on Interactive Proofs #20
Description
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