TruthTable Proves SQL Results Against Committed Databases
Microsoft Research’s Bharath Namboothiry presents TruthTable as a verifiable database engine that lets an untrusted server return an SQL result together with a succinct proof that it was computed correctly over a cryptographically committed database. Rather than translate each query into a monolithic SNARK circuit, TruthTable proves the operations in an execution plan—such as joins, filters and aggregations—and optimizes that plan for proving cost. The system’s guarantee is limited to correct execution against the committed data, not to the provenance or quality of the data itself.
Microsoft Research·Aug 27, 2026·13 min read
