Space and Time (SxT) has officially unveiled Proof of SQL v1, a groundbreaking zero-knowledge (ZK) prover system that can process data in less than a second. This represents a significant advancement compared to the current methods, which typically require around 30 minutes to generate proof. The release of Proof of SQL v1 marks a major milestone for the open-source community.
Proof of SQL is designed to ensure data integrity for developers by verifying the accuracy of SQL queries against the original, unaltered data. This allows developers to perform computations on both on-chain and off-chain data much more quickly than with existing solutions, making it the fastest ZK proof of its kind.
Space and Time, a provable computing layer specializing in AI and blockchain technology, has secured $20 million in funding from Microsoft. The company’s focus is on enhancing the safety, auditability, and verifiability of AI models. Leveraging large language models (LLMs), developers can create dashboards and cross-chain analytics with ease.
The Proof of SQL protocol, developed by SxT, ensures the correctness of SQL queries from untampered data sources. This enables developers to execute computations on various datasets in a trustless manner, providing results that can be verified by smart contracts during transactions. This innovation opens up new possibilities for data-driven smart contracts in the realm of decentralized finance (DeFi).
Jay White, Co-Founder and Head of Research at SxT, emphasized the significance of sub-second ZK proofs. According to White, this development will empower smart contracts and AI agents to access both on-chain state and external data seamlessly.
Following rigorous testing by the SxT cryptography team, it was demonstrated that the Proof of SQL protocol can execute analytic queries on tables with over 100,000 rows using a single GPU in less than a second. Initially released as an alpha version to a select group of customers, Proof of SQL is already safeguarding a range of Web3 applications, financial institutions, and businesses. It can be integrated into any type of SQL database, whether centralized or decentralized.