Space and Time releases sub-second ZK proof and open sources it

2024-06-13 13:02:27

Space and Time发布亚秒级ZK证明器并开源

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

SQL Prover is a new type of ZK Prover developed by SxT, which ensures the accurate calculation of SQL database queries on untampered data through cryptography. With SQL Prover, developers can perform calculations on on-chain and off-chain data sets without the need for trust, and provide timely proofs of the results to smart contracts during the transaction process to support more complex data-driven DeFi protocols.

Dr. Jay White, Co-founder and Head of Research of SxT and inventor of the SQL Prover Protocol, said: “Space and Time is pleased to lead Web3 into a new era of data-driven smart contracts and next-generation DeFi. Our team has pioneered sub-second ZK Provers so that smart contracts and AI agents can query about on-chain activities and off-chain data and receive trustless SQL query results on-chain during trades without waiting 30 minutes for proof time.”

The SQL Prover was released in alpha version to a select group of SxT customers 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 download the repository directly from GitHub.

SQL prover is the first zk-SNARK prover with subsecond proving time. In the latest benchmark test by the SxT Cryptography team, the protocol can execute analytical queries on over 100,000 rows in less than a second on a single GPU, and aggregate over millions of rows of indexed data within the Ethereum block time on a single NVIDIA T 4.

Compared with the general zkVM and coprocessor, the SQL prover provides a higher performance architecture for processing large amounts of data. Although the general zkVM provides a scalable solution for arbitrary computation, the data processing proof is slow.

SQL prover can be integrated with these zkVMs to provide verifiable source data, enabling execution of arbitrary code. Space and Time encourages and invites community members as well as other ZKP engineering teams to collaborate in the repo. The prover can be integrated into any SQL database (such as Google BigQuery), whether centralized or decentralized, and has 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 immutable on-chain and off-chain data to provide enterprise-level application scenarios for smart contracts and LLM (Large Language Models). Space and Time has developed a new cryptography called SQL Prover, allowing developers to directly link analytical results to smart contracts, thereby opening up a wide range of powerful new application scenarios and business logic in blockchain technology. Space and Time is built from scratch as a multi-chain data platform, serving projects in financial services, games, DeFi, or any project that requires data validation between enterprise, blockchain, and AI.

ZK2,2%

PNG-3,7%

View Original

This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.