As a verifiable computing layer for AI and blockchain, Space and Time (SxT) today released a SQL prover on GitHub, which is a high-performance ZK prover for processing data.

The SQL prover is a new type of ZK prover developed by SxT, which ensures the accurate computation of SQL database queries on untampered data through cryptography. With the SQL prover, developers can perform computations on-chain and off-chain data sets without the need for trust, and promptly prove 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, allowing 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 30 minutes of 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, and developers can directly download the repository from GitHub.

The SQL prover is the first ZK prover with sub-second runtime. In the latest benchmark tests by the SxT cryptography team, the protocol can execute analytical queries on over 100,000 rows of tables in less than a second on a single GPU, and can aggregate index data of over millions of rows within the Ethereum block time on a single NVIDIA T4.

Compared to general-purpose zkVM and coprocessors, the SQL prover provides a higher-performance architecture for processing large amounts of data. While general zkVM provides a scalable solution for arbitrary computations, the data processing proof speed is 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 in the repository. The prover can be integrated into any SQL database (such as Google BigQuery), whether centralized or decentralized, and has already been applied in some well-known Web3 applications, financial institutions, and enterprises.

About Space and Time

Space and Time is a verifiable computing layer for AI and blockchain, combining tamper-proof on-chain and off-chain data to provide enterprise-level use cases for smart contracts and LLM (Large Language Models). Space and Time has developed a new cryptographic technology called SQL prover, allowing developers to directly link analytical results to smart contracts, thereby 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 finance, gaming, DeFi, or any project requiring data validation between enterprise, blockchain, and AI.

For more information, please visit: Website, Twitter, Discord, Telegram, LinkedIn, YouTube

免责声明：本文章仅代表作者个人观点，不代表本平台的立场和观点。本文章仅供信息分享，不构成对任何人的任何投资建议。用户与作者之间的任何争议，与本平台无关。如网页中刊载的文章或图片涉及侵权，请提供相关的权利证明和身份证明发送邮件到support@aicoin.com，本平台相关工作人员将会进行核查。