How to verify computation with a rational network
Algebraic methods for interactive proof systems