Verifiable results
Every query result comes with a succinct proof that a verifier can check in a fraction of the time it takes to run the query.
TruthTable
A verifiable query engine — prove that SQL query results are correct, with succinct cryptographic proofs and full TPC-H support.
Why TruthTable?
Section titled “Why TruthTable?”TruthTable lets an untrusted party execute a SQL 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.
Complete TPC-H support
The engine handles the full TPC-H benchmark — joins, aggregates, sorts, and nested subqueries — not just a hand-picked subset.
Built on arkworks
Implemented in Rust on top of the arkworks ecosystem for SNARK-friendly arithmetic and commitments.
Open source
Developed in the open at arkworks-rs/truth-table.