Space and Time has reached a new point with the latest performance tests of its zero-knowledge prover, “Proof of SQL.” The tool now delivers sub-second proving times for SQL-based analytic queries executed on datasets exceeding one million rows. The announcement was made on May 15, 2025, confirming that the company leveraged NVIDIA accelerated computing to achieve this result.
The proving system is intended to confirm the accuracy and integrity of SQL queries using a zero-knowledge (ZK) circuit. According to published benchmark data hosted on GitHub, the protocol was tested on analytic queries involving large data tables. The results indicate that the prover can generate a cryptographic proof in under one second when run on NVIDIA GPUs.
Technology Integrates With SQL Databases
Proof of SQL can be integrated into centralized and decentralized SQL databases, including platforms like Google BigQuery. Space and Time reports that the prover is currently in use by Web3 platforms, AI systems, and financial institutions that require verifiable computation for internal and external data.
The system was developed with a custom GPU acceleration framework built to optimize performance on NVIDIA hardware. This system enables faster processing speeds for running SQL queries, which traditionally require major time and resources to validate using zero-knowledge technology.
Development Led by MakeInfinite Labs
The architecture of the Proof of SQL protocol was designed by Jay White, PhD, who serves as Co-Founder and Head of Research at MakeInfinite Labs. White commented that collaboration with NVIDIA was central to achieving the sub-second proving capability.
Space and Time have made Proof of SQL openly available on GitHub. The release will allow developers and enterprise teams to access the ZK prover and incorporate verifiable data queries into their systems. The tool aims to support advanced applications that require proof-backed data without compromising processing speed.
The Proof of SQL circuit functions as a sub-second zero-knowledge coprocessor. It allows smart contracts and other digital systems to verify database queries without revealing sensitive data or requiring trust in a third party. This capability is increasingly important in the design of decentralized applications where data integrity and transparency are needed.
About Space and Time
Space and Time is the blockchain for ZK-proven data, which enables smart contracts to trustlessly access and compute over data from any chain or source. Powered by Proof of SQL, a sub-second ZK coprocessor, Space and Time empowers developers to build more intelligent, data-rich applications with verifiable data.
For more information, visit: Website | X | Discord | Telegram | LinkedIn | YouTube
For media inquiries, please contact: [email protected]
About MakeInfinite Labs
MakeInfinite Labs is a frontier protocol research lab contributing to some of the most prominent protocols and ecosystems across crypto, including the creation of Space and Time. MakeInfinite Labs raised $50 million from Microsoft’s M12 Ventures and other leading investors to build the infrastructure that enables developers and creators to build data-driven applications, tokenize and monetize and win in the AI economy.
For more information, visit: Website | X | LinkedIn
For media inquiries, please contact: [email protected]
