# Use Cases

### Out of Gas

Smart contracts consume network computation and storage resources as they update the system’s global state. Some operations may demand more resources, or gas, than the blockchain network’s modest, per-block limit permits. Truebit on Ethereum offers secure computation for smart contracts beyond this native capacity.

### On-Chain Cryptography

Truebit on Ethereum combines with bulletproofs to achieve compact, zero-knowledge proofs without trusted setup.  Smart contracts can leverage Truebit on Ethereum to execute complex operations such as bilinear maps, ring signatures, homomorphic encryption, or secure code validation.

### Checking Proof of Work

Verification of some underlying consensus, such as Ethereum's Ethhash or Litecoin's Scrypt, requires memory resources exceeding the practical limits of smart contracts.  By moving such computation off-chain, Truebit enables dependent use cases such as the Dogethereum two-way peg and SmartPool mining.

### High Transaction Throughput

Miners both select transactions to include in blocks and verify block contents. One can imagine a blockchain consensus protocol which decouples these two activities so that miners need only select blocks, and blocks clear once Truebit on Ethereum verifies them.  Apply Truebit on Ethereum for bookkeeping tasks like cumulative interest payments and batch trading.

### Federated Learning

Share and process information without revealing raw local data to the network.  Truebit on Ethereum can securely perform machine learning and statistical operations without burdening or trusting user edge nodes.  Underlying consensus guarantees correct execution in the presence of economic incentives.

### Insurance

The dream of fair premiums together and accurate, efficient claim processing without a trusted, centralized manager requires computational consensus.  Assuming formal event criteria, Truebit on Ethereum can transparently aid in verifying claims, automating payouts, and maintaining premiums.

<br>

\ <br>


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.truebit.io/v1docs/about-truebit-on-ethereum/use-cases.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.