Skip to content
TruthTable logoTruthTable

Quick Start

At a high level, using TruthTable involves three steps:

  1. Commit to a dataset, producing a short commitment the verifier trusts.
  2. Prove — run a SQL query against the committed data to get a result plus a proof.
  3. Verify — check the proof against the commitment and the claimed result.
Terminal window
# Illustrative — subject to change.
tt commit  ./data            # -> dataset commitment
tt prove   ./query.sql       # -> result + proof
tt verify  ./proof           # -> accept / reject

Once the CLI stabilizes, this guide will walk through a complete end-to-end TPC-H example.