The first sub-second ZK prover is finally here.

2/ We’re thrilled to announce that Proof of SQL, Space and Time’s (SxT) high performance ZK prover for processing data, is now available to the community. Run ZK-proven queries on the Space and Time Studio, or access the repo here:

3/ The release of Proof of SQL is a huge milestone for our network, community, and the #VerifyEverything future. We encourage and invite contributions from the community, as well as other ZKP engineering teams to collaborate in this repo with us to together build Web3’s first onchain database that is a performant, expressive primitive for data-driven smart contracts.

4/ We believe hyperfocusing our ZK circuit design on the specific functions of SQL execution ultimately offers the lowest latency architecture for processing large volumes of proven chain data. While generalized zkVMs offer an extensible solution for arbitrary computations and DeFi calculations, data processing is surprisingly slow to prove.

5/ Proof of SQL can be integrated with these zkVMs to quickly provide verifiable source data that arbitrary code (i.e. DeFi calculations) can be executed over. zkVM teams can use Proof of SQL to build a data pipeline where the zkVM first queries SxT data, verifies the query result inside the zkVM, and then executes the zkVM logic as a computation over the query result provided… all of which can be verified onchain.

6/ We look forward to building the next generation of data-driven DeFi and sophisticated onchain AI agents together 🤝 For the researchers that want to understand how it works, here our whitepaper: For the devs, here’s our GitHub:

@chiefbuidl $LINK stakers rn 🙌

Just tested Proof of SQL. insane speed! 💥

Another step toward the moon.🚀🚀🚀

🚀⏳

🔥🔥🔥

🫡