Space and Time releases submillisecond ZKSNARKs Prover SQL and open sources it

As a verifiable computing layer for AI and blockchain, Space and Time (SxT) has unveiled its SQL Prover on GitHub today, a high-performance ZK Prover designed to handle data.
The SQL Prover, developed by SxT, is a novel ZK Prover that ensures the accurate computation of SQL database queries on untampered data through cryptography. With the SQL Prover, developers can compute on-chain and off-chain data sets without the need for trust and provide timely proofs of results to smart contracts during transactions to support more complex data-driven DeFi protocols.
Dr. Jay White, co-founder and head of research at SxT, and the inventor of the SQL Prover protocol, expressed, “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 to enable smart contracts and AI agents to inquire about chain activities and off-chain data and receive trustless SQL query results on-chain during transactions without waiting for a 30-minute proof time.”
The SQL Prover was released in alpha version to a select 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 directly download the repository from GitHub.
The SQL Prover is the first ZK Prover to achieve sub-second runtimes. 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 datasets. 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 for executing arbitrary code. Space and Time encourages and invites community members and other ZKP engineering teams to collaborate in the repository. The Prover can be integrated into any SQL database, whether centralized or decentralized, such as Google BigQuery, and has already been applied 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 that combines immutable on-chain and off-chain data for smart contracts and Large Language Models (LLMs) in enterprise applications. Space and Time has developed a novel cryptography called SQL Prover, allowing developers to directly link analysis results to smart contracts, unlocking 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 financial services, gaming, DeFi, or any project requiring data validation between enterprise, blockchain, and AI.
For more information, please visit:
Website |
Twitter |
Discord |
Telegram |
LinkedIn |
YouTube