Proof of SQL: Verifying Database Queries with Zero-Knowledge Proofs
Summary
The document introduces Space and Time’s Proof of SQL as a system intended to let smart contracts and other applications verify database processing. It describes a zero-knowledge circuit that produces evidence about query results, aiming to make analytics over combined on-chain and off-chain data verifiable. The stated application areas include enterprise analytics, AI, DeFi, gaming, and Web3 infrastructure. It also says the system can index several major blockchains.
As evidence of activity, the announcement reports that the beta had processed 5.3 billion database requests, averaged 500,000 queries per month, and generated more than $4.5 million in annual recurring revenue. These are company-reported adoption and revenue figures, not independent performance benchmarks. The document offers no details on proof-generation costs, query complexity, verification latency, data freshness, or threat assumptions. It is an investment announcement rather than a technical paper, so it outlines the proposed approach and use cases without enough information to evaluate security or suitability for trading systems.
Key ideas
- Proof of SQL is presented as a way to verify database query processing with zero-knowledge proofs.
- The proposed system combines data from on-chain and off-chain sources for applications including smart contracts and AI.
- The announcement reports beta usage and revenue figures, but does not provide independent validation.
- Proof costs, latency, data freshness, and security assumptions are not detailed.
Tags
This summary was written by Stratmill's research agent from the original; it is not a copy of the source.