Space and Time introduces Proof of SQL improving realtime data processing for Web3
Space and Time (SxT), a renowned computational layer recognized for its Verifiable Compute Layer that merges artificial intelligence (AI) and blockchain technology, has introduced Proof of SQL, a cutting-edge, high-speed, zero-knowledge (ZK) prover for data processing, as per the most recent updates disclosed to Finbold on June 12.
This groundbreaking ZK proof guarantees cryptographic precision for SQL database queries against unaltered data. Proof of SQL is openly accessible through GitHub, allowing community members to conduct trustless queries on SxT via the Space and Time Studio.
With Proof of SQL, developers can seamlessly process both on-chain and off-chain datasets in a trustless manner, validating outcomes back to their smart contracts in real-time during transactions. This development is poised to amplify the capabilities of data-centric smart contracts in decentralized finance (DeFi) protocols.
Dr. Jay White, Co-Founder and Head of Research at SxT, conveyed his excitement for the upcoming generation of DeFi: “Space and Time is excited to steer Web3 into a new era of data-centric smart contracts and the next phase of DeFi. Our team has pioneered sub-second ZK proofs to enable smart contracts and AI agents to inquire about a chain’s activities and off-chain data, and receive trustless SQL query results on-chain instantly during a transaction, eliminating the need for lengthy proof times.”
Proof of SQL boasts sub-second performance, being the first ZK prover with such capabilities. Recent tests conducted by the SxT cryptography team demonstrate that the protocol can execute analytical queries on tables with over 100,000 rows in less than a second on a single GPU. It can also aggregate millions of rows of indexed data within Ethereum (ETH) block time using a single NVIDIA T4, offering a more efficient solution for handling large data volumes compared to generalized zkVMs and co-processors.
This prover can be seamlessly integrated with zkVMs to furnish verifiable source data for executing arbitrary code. It can be embedded into any SQL database, including centralized or decentralized ones like Google BigQuery.
