spaceandtimefdn/sxt-proof-of-sql

Health v2 · maintenance only

Flags: no_license

Adoption not part of the score

5389 stars · 605 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded

A Rust library implementing Proof of SQL, a zero-knowledge proof protocol that allows SQL queries to be executed and cryptographically verified without trusting the database operator. It is developed by Space and Time as part of their verifiable data warehouse stack.

Use cases

• verify SQL query results cryptographically
• generate zero-knowledge proofs of query execution
• prove database query correctness to untrusted parties
• integrate verifiable queries into blockchain smart contracts
• build a trustless data warehouse
• audit query results without re-executing them

When to choose

• you need cryptographically verifiable SQL query results
• you're building on the Space and Time network or ZK-proven data pipelines
• you want to prove query integrity to smart contracts
• you're comfortable with Rust and cryptographic primitives

When to avoid

• you just need a regular SQL database without verifiability
• you need a general-purpose ZK toolkit rather than SQL-specific proofs
• you need production support for arbitrary SQL dialects beyond the supported subset
• your team cannot work with an evolving Rust codebase

Facets

library · maturity active

cryptography database parser testing databases blockchain developer-tools rust cross-platform zero-knowledge-proofs sql verifiable-computation zk proof-system space-and-time cryptography

Member repositories

For agents

markdown · JSON · MCP: product_card(name="spaceandtimefdn/sxt-proof-of-sql")