Truebit is a blockchain enhancement that enables smart contracts to securely perform complex computations in standard programming languages at reduced gas costs. It allows these computations to be executed on off-chain systems, while being validated by Ethereum miners. The results of these computations are then available to on-chain smart contracts. nnTruebit makes use of proof systems and game theory to build a protocol. With this protocol, a Task Giver can ask a third party, the Solver, to execute a complex computation in exchange for a reward. These computations can be executed in languages such as Go, Python, C++, and Solidity. Verifiers can then challenge the results, incentivising the Solver to be honest or risk losing their reward. This incentive structure guarantees fast and reliable results, eliminating the need for a trusted third party.