Coinspeaker Space and Time Introduces Proof of SQL Prover System
California-based crypto startup Space and Time (SXT) has released its sub-second zero-knowledge (ZK) prover stack called Proof of SQL. The Verifiable Compute Layer for AI and Blockchain is designed to grant its users access to this high-performance zero-knowledge prover on GitHub. Integration of the prover can be done on any SQL database like Google BigQuery. Such databases could either be centralized or decentralized.
So far, Space and Time have secured some of the most prominent Web 3.0 DApps, financial institutions, and enterprises. Notably, the prover system was initially pushed out to a few SxT clients in alpha in August 2023 but the latest GitHub release makes it available to members of the public.
The Uniqueness of Proof of SQL
Proof of SQL is designed as a novel ZK proof that cryptographically guarantees the accurate computation of SQL database queries against untampered data. One key intricacy of ZK models is the fact that they allow developers or users to confirm the validity or veracity of data or transactions without revealing confidential information.
It affords developers the opportunity to compute over both on-chain and off-chain datasets in a trustless manner. The result is then proven back to their smart contracts just in time during a transaction to power more sophisticated Decentralized Finance (DeFi) protocols with data-driven smart contracts.
Jay White, PhD, Co-Founder and Head of Research at SxT, who is also the inventor of the Proof of SQL protocol said:
“Space and Time is thrilled to lead Web3 into a new era of data-driven smart contracts and the next generation of DeFi.”
“Our team pioneered sub-second ZK proofs so that smart contracts and AI agents can ask questions about a chain’s activity, as well as off-chain data, and receive back trustless SQL query results on-chain during a transaction without having to wait for 30-minute proof times,” he added.
Proof of SQL and Insight into Key Prospects and Capabilities
With Proof of SQL, community members get to perform trustless queries on SxT on the Space and Time Studio.
Also, developers can download the repository directly from GitHub. Proof of SQL’s capacity to execute analytic queries over 100k-row tables in less than a second on a single GPU was touted. This is in addition to its capacity to aggregate over millions of rows of indexed data within Ethereum block time on a single NVIDIA T4.
The architectural design of the Proof of SQL protocol promotes the processing of larger volumes of data than generalized zkVMs and co-processors.
Generalized zkVMs are widely known to offer an extensible solution for arbitrary computations, however, data processing has shown to be slow to prove on the system. Integrating these zkVMs with Proof of SQL brings renewed hope, providing verifiable source data that arbitrary code can be executed over.
Space and Time has opened its doors to contributions from community members. It also encourages ZKP engineering teams to collaborate in the repo.
next
Space and Time Introduces Proof of SQL Prover System