> For the complete documentation index, see [llms.txt](https://docs.truebit.io/v1docs/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.truebit.io/v1docs/about-truebit-on-ethereum/overview.md).

# Overview

### What is Truebit on Ethereum?

{% hint style="info" %}
Truebit on Ethereum (v1) is a first-generation verification protocol designed for use with Ethereum smart contracts. Truebit will continue to provide support for Truebit on Ethereum during the early access program for Truebit Verify, our next-generation platform.
{% endhint %}

Truebit on Ethereum is a blockchain enhancement which enables Ethereum smart contracts to securely perform complex computations in supported programming languages at reduced gas costs. As described in our original [whitepaper](https://people.cs.uchicago.edu/~teutsch/papers/truebit.pdf) and this [overview](https://medium.com/truebit/truebit-the-marketplace-for-verifiable-computation-f51d1726798f), Truebit on Ethereum verifies the correctness of offchain computation via an interactive verification protocol. You may wish to familiarize yourself with the practical, high-level [user guide](https://medium.com/truebit/getting-started-with-truebit-on-ethereum-ac1c7cdb0907) before proceeding.

While smart contracts can perform small computations correctly, large computation tasks pose security risks for blockchains. Truebit on Ethereum counteracts this shortcoming via a trustless, retrofitting oracle which correctly performs computational tasks. Any smart contract can issue a computation task to this oracle in the form of WebAssembly bytecode, while anonymous “miners” receive rewards for correctly solving the task.

The oracle’s protocol guarantees correctness in two layers: a unanimous consensus layer where anyone can object to faulty solutions, and an on-chain mechanism which incentivizes participation and ensures fair remuneration. These components formally manifest themselves through a combination of novel, off-chain architecture and on-chain smart contracts.

Rather than relying on external, cryptographic proofs of correctness, Truebit on Ethereum leverages game theoretic principles to effectively increase the on-chain computation power of existing networks.

<figure><img src="/files/uCUF9runvm19NTAqpI7R" alt=""><figcaption></figcaption></figure>

<table data-view="cards"><thead><tr><th></th><th></th><th></th><th data-hidden data-card-cover data-type="files"></th><th data-hidden data-card-target data-type="content-ref"></th></tr></thead><tbody><tr><td></td><td><strong>Truebit on Ethereum Economics</strong></td><td>An overview of Truebit's token model.</td><td></td><td><a href="https://medium.com/truebit/getting-started-with-truebit-on-ethereum-ac1c7cdb0907">https://medium.com/truebit/getting-started-with-truebit-on-ethereum-ac1c7cdb0907</a></td></tr><tr><td></td><td><strong>Truebit on Ethereum GitHub</strong></td><td>Access the Truebit on Ethereum code repository including full documentation.</td><td></td><td><a href="https://github.com/TruebitProtocol">https://github.com/TruebitProtocol</a></td></tr><tr><td></td><td><strong>FAQ</strong></td><td>Answers to common questions about Truebit on Ethereum and the Truebit token.</td><td></td><td><a href="/pages/AtwpkUw2WOVfoQ5SeAfj">/pages/AtwpkUw2WOVfoQ5SeAfj</a></td></tr></tbody></table>