Space and Time (SxT) Unveils Lightning-Fast ZK Prover, Proof of SQL, Under Open Software License

Los Angeles — Space and Time (SxT), the leading Verifiable Compute Layer for AI and Blockchain, has officially released Proof of SQL, an advanced zero-knowledge (ZK) prover, on GitHub—which significantly outpaces current zkVMs and coprocessors in performance.

Proof of SQL is a novel ZK proof system that ensures SQL database queries are computed accurately against untampered data. This allows developers to compute over both on-chain and off-chain datasets in a trustless manner, proving results back to their smart contracts in real-time. This innovation opens up new possibilities for more sophisticated DeFi protocols powered by data-driven smart contracts.

Loading tweet...

View Tweet

Key Features and Performance

• Speed: Proof of SQL is the first ZK prover capable of sub-second performance. It can handle analytic queries over 100k-row tables in less than a second on a single GPU and aggregate millions of rows of indexed data within Ethereum block times on a single NVIDIA T4.

• Efficiency: It offers a highly performant architecture for processing large data volumes, outperforming generalized zkVMs and co-processors which are slower for data processing.

• Integration: The prover can be integrated with any SQL database, including Google BigQuery, and is already securing some of the most prominent Web3 applications, financial institutions, and enterprises.

Initially released in alpha to a select group of SxT customers in August, Proof of SQL is now available to the public on GitHub. Community members can run trustless queries on SxT via the Space and Time Studio, and developers can download the repository directly.

"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 query both on-chain activity and off-chain data, receiving trustless SQL query results on-chain during a transaction without waiting for 30-minute proof times."

Jay White, PhD, Co-Founder & Head of Research at SxT

Additionally, Space and Time has received a $20 million investment from Microsoft, aiming to create safer and more verifiable AI models. Utilizing large language models (LLM), developers can seamlessly create dashboards and cross-chain analytics with an easy-to-use interface.

About Space and Time

Space and Time is the verifiable compute layer for AI and blockchain, bridging tamperproof on-chain and off-chain data to deliver enterprise-grade use cases to smart contracts and large language models (LLMs). The company has developed Proof of SQL, a cryptographic innovation that allows developers to connect analytics directly to smart contracts, unlocking powerful new use cases and business logic for blockchain technology.

SxT is designed as a multichain data platform for developers in financial services, gaming, DeFi, and any project requiring verifiable data across enterprise, blockchain, and AI domains. For more information, visit Space and Time and follow them on Twitter, LinkedIn, and YouTube.