# spaceandtimefdn/sxt-proof-of-sql

Space and Time | Proof of SQL

Repository: https://github.com/spaceandtimefdn/sxt-proof-of-sql
Canonical: https://ross.abutalabs.com/products/sxt-proof-of-sql
Language: Rust
License: NOASSERTION
License Family: other
Last push: 2026-08-05T07:35:15+00:00

## Health v2 (maintenance only)
Score: 84/100 (v2, computed 2026-09-03T02:39:23.370411+00:00)
- activity 96, release rhythm 82, longevity 61
- inputs: {"age_days": 860, "days_push": 28, "days_rel": 40, "gap_med": 0, "n_releases_24m": 634}
- flags: no_license
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 5389, forks 605 (observed 2026-08-28T04:09:17.253457+00:00)

## What it is
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
- artifact type: library
- maturity: active
- function: cryptography, database, parser, testing
- domain: databases, blockchain, developer-tools
- platform: rust, cross-platform
- tags: zero-knowledge-proofs, sql, verifiable-computation, zk, proof-system, space-and-time, cryptography

## Member repositories
- spaceandtimefdn/sxt-proof-of-sql (main) score 84

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:09:17.253457+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-29T17:58:24.581233+00:00, confidence not recorded.
  - readme: https://github.com/spaceandtimefdn/sxt-proof-of-sql (fetched 2026-08-28T04:09:17.253457+00:00, sha 04469c98b1e0)
- Data as of 2026-08-30T08:39:29.467469+00:00.