0.4s
Proving time
on 100k rows
0.02s
Verifying time
on 100k rows
1min
Proving time
on 100M rows
0.02s
Verifying time
on 100M rows
Sub-Second ZK Coprocessor
Proof of SQL delivers trustless data processing to smart contracts.
.webp)
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.
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.
Build smarter
smart contracts.
Connect your smart contracts to scalable SQL data processing, secured by our sub-second ZK coprocessor.
01
Smart contracts can't answer basic questions.
02
On their own, smart contracts have extremely limited access to data, even on their own chain.
03
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.
04
Even something as simple as, "which wallets have ever interacted with this liquidity pool?" can't be answered by a smart contract.
05
The first ZK coprocessor optimized for data.
ZK coprocessors deliver verifiable offchain compute to smart contracts.
06
Generalized zkVMs are a great solution for arbitrary computations and DeFi calculations, but data processing is surprisingly slow to prove.
07
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.
08
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.
09
Smart contracts need
Space and Time.
10
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.
11
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.
12
Build the next generation of smart contracts with Space and Time.
Collaborate with us in the Proof of SQL repo.
