spaceandtimefdn/sxt-proof-of-sql

**Brief summary (2‑3 sentences)** Space and Time’s *Proof of SQL* is an open‑source Rust library that demonstrates how to materialise SQL queries as verifiable,