TruthTable

The database that can't lie to you.

What is TruthTable?

TruthTable is a verifiable query engine that lets an untrusted party execute a query over a committed dataset and return the result together with a proof that the result is correct — no need to trust the operator or re-run the query yourself.

TruthTable takes a query and the data as input, and returns the result together with a proof of its correctness.

Why TruthTable?

Light-Weight VerificationVerify in milliseconds, with kilobyte-sized proofs.

Blazing-fast proverLightweight prover that scales to huge databases.

Formally secureSoundness proved by formal verification.

Open sourceFully open on GitHub.

Use cases

Outsourced & cloud databasesRun queries on an untrusted server and get a proof the answers are honest — no need to trust the host or keep a copy of the data.

Data marketplacesSell query access to a committed dataset while letting buyers verify that every answer was computed faithfully.

On-chain & rollupsMove heavy SQL off-chain and post succinct proofs that a smart contract can verify cheaply.

Audited analyticsGive auditors and regulators cryptographic assurance that reported figures match the underlying records.

Paper

TruthTable is backed by an academic paper:

TruthTable: A Verifiable Query Engine — Bharath Namboothiry, Alireza Shirzad, Spencer Solit, Ryan Marcus, and Pratyush Mishra (2026)

More papers to come.

Cite

@misc{cryptoeprint:2026/1260,
      author = {Bharath Namboothiry and Alireza Shirzad and Spencer Solit and Ryan Marcus and Pratyush Mishra},
      title = {{TruthTable}: A Verifiable Query Engine},
      howpublished = {Cryptology {ePrint} Archive, Paper 2026/1260},
      year = {2026},
      url = {https://eprint.iacr.org/2026/1260}
}