As a verifiable computing layer for AI and blockchain, Space and Time (SxT) has released a SQL prover on GitHub today, which is a high-performance ZK prover for processing data.
The SQL prover, developed by SxT, is a new type of ZK prover that ensures the accurate calculation of SQL database queries on untampered data through cryptography. With the SQL prover, developers can compute on-chain and off-chain datasets without the need for trust and provide timely proofs of the results to smart contracts during transactions to support more complex data-based DeFi protocols.
Dr. Jay White, co-founder and research director of SxT, and the inventor of the SQL prover protocol, stated: “Space and Time is excited to lead Web3 into a new era of data-driven smart contracts and next-generation DeFi. Our team has pioneered sub-second ZK provers so that smart contracts and AI agents can query chain activities and off-chain data without trust during transactions and receive on-chain, trustless SQL query results without waiting for a 30-minute proof time.”
The SQL prover was released in alpha version to a selected group of SxT clients in August. With today’s release on GitHub, the protocol is now open to the public. Community members can run trustless queries on SxT on the Space and Time Studio, while developers can download the repository directly from GitHub.
The SQL prover is the first ZK prover to run in sub-second time frames. In the latest benchmark tests by the SxT cryptography team, the protocol can perform analytical queries on over 100,000 rows in less than a second on a single GPU and aggregate data from millions of rows in Ethereum block time on a single NVIDIA T4.
Compared to general zkVMs and coprocessors, the SQL prover offers a higher performance architecture for handling large amounts of data. While general zkVMs provide scalable solutions for arbitrary computations, data processing proof speeds are slow.
The SQL prover can be integrated with these zkVMs to provide verifiable source data, enabling the execution of arbitrary code. Space and Time encourages and invites community members and other ZKP engineering teams to collaborate on the repo. The prover can be integrated into any SQL database, whether centralized or decentralized, such as Google BigQuery, and has been used in some prominent Web3 applications, financial institutions, and enterprises.
About Space and Time
Space and Time is a verifiable computing layer for AI and blockchain, combining immutable on-chain and off-chain data to provide enterprise-level applications for smart contracts and LLMs (large language models). Space and Time has developed a new cryptography called the SQL prover, allowing developers to directly link analytical results to smart contracts, opening up a plethora of powerful new application scenarios and business logic on blockchain technology. Built from the ground up as a multi-chain data platform, Space and Time serves projects in finance, gaming, DeFi, or any project requiring data validation between enterprises, blockchain, and AI.
For more information, please visit:
Website |
Twitter |
Discord |
Telegram |
LinkedIn |
YouTube
