Proof of SQL: Sub-Second ZK Coprocessor

Proof of SQL delivers trustless data processing to smart contracts.

View the Repo

<1s

Proving time
on 600k rows

5ms

Verifying time
on 600k rows

11s

Proving time
on 10M rows

5ms

Verifying time
on 10M rows

Proof of Query & Verifiable Data

Prove your queries sub-second

Proof of SQL® is a novel zero-knowledge protocol developed by Space and Time, which proves that each query computation was done accurately and that both the query and the underlying data are verifiably tamperproof. Connect scalable offchain data processing to your smart contracts, prove that your data hasn't been manipulated, and verify the integrity of private data without revealing the data itself. All within block time.

Read Docs

↗

Featured Projects:

Learn more about the projects building with Space and Time ZK. To submit your project to be featured, fill out the form below.

Proof of SQL

Sub-second ZK Coprocessor

Submit your project

↗

Thanks for your submission.

Oops! Something went wrong while submitting the form.

←

→

Build smarter
smart contracts.

Connect your smart contracts to scalable SQL data processing, secured by our sub-second ZK coprocessor.

Learn more

Smart contracts can't answer basic questions.

On their own, smart contracts have extremely limited access to data, even on their own chain.

They have no native access to data from other chains or offchain sources, and most importantly, they can't ask data-driven questions about onchain activity.

Even something as simple as, "which wallets have ever interacted with this liquidity pool?" can't be answered by a smart contract.

The first ZK coprocessor optimized for data.

ZK coprocessors deliver verifiable offchain compute to smart contracts.

Generalized zkVMs are a great solution for arbitrary computations and DeFi calculations, but data processing is surprisingly slow to prove.

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.

Proof of SQL targets online latencies while proving standard SQL computations over the entire history of blockchains, 1-2 orders of magnitude faster than state-of-the-art zkVMs and coprocessors.

Smart contracts need
Space and Time.

Using Proof of SQL, devs can compute over both onchain and offchain datasets in a trustless manner, proving the result back to their smart contract just-in-time during a transaction to power more sophisticated DeFi protocols with data-driven contracts.

Proof of SQL gives both smart contracts and AI agents transacting onchain the ability to ask data-driven questions about the entire history of their chains, other chains, and even offchain data using ZK proofs to ensure nothing has been tampered.

Build the next generation of smart contracts with Space and Time.

Collaborate with us in the Proof of SQL repo.