Shows that it's possible to perform **simple computational work off-chain** (and thus with less overhead) and prove to the chain that it was performed correctly. They achieved this by modelling participants as financially-rational actors and carefully constructing incentive structures. Specifically, they solved the [verifier's dilemma](https://dl.acm.org/doi/abs/10.1145/2810103.2813659) by intermittently requiring workers to produce incorrect work and awarding verifiers with a jackpot if they spot it. Ref: https://people.cs.uchicago.edu/~teutsch/papers/truebit.pdf #deeptech