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

Odaily星球日报Published on 2024-06-13Last updated on 2024-06-13

Abstract

SQL证明器的速度比其他的zkVM和协处理器快几个数量级。

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

作为 AI 与区块链的可验证计算层，Space and Time（SxT）今天在 GitHub 上发布了 SQL 证明器，这是一款用于处理数据的高性能 ZK 证明器。

SQL 证明器是 SxT 开发的一种新型 ZK 证明器，它通过密码学保证 SQL 数据库查询在未被篡改的数据上准确计算。使用 SQL 证明器，开发者可以在无需信任的情况下对链上和链下数据集进行计算，并在交易过程中将结果及时证明给智能合约，以支持更复杂的基于数据的 DeFi 协议。

SxT 联合创始人兼研究主管、SQL 证明器协议的发明者 Jay White 博士表示：“Space and Time 很高兴能够带领 Web3 进入数据驱动的智能合约和下一代 DeFi 的新时代。“我们的团队开创了亚秒级 ZK 证明器，以便智能合约和 AI 代理可以询问有关链活动以及链下数据的问题，并在交易期间在链上接收无需信任的 SQL 查询结果，而无需等待 30 分钟的证明时间。”

SQL 证明器已于 8 月以 alpha 版本发布给一组选定的 SxT 客户。随着今天在 GitHub 上的发布，该协议现在向公众开放。社区成员可以在 Space and Time Studio 上的 SxT 上运行无需信任的查询，开发人员可以直接从 GitHub 下载存储库。

SQL 证明器是首个运行时间在亚秒级的 ZK 证明器。在 SxT 密码学团队最新的基准测试中，该协议可以在单个 GPU 上在不到一秒的时间内执行超过 10 万行表的分析查询，并且可以在单个 NVIDIA T 4 上在以太坊区块时间内聚合超过数百万行的索引数据。

与通用的 zkVM 和协处理器相比，SQL 证明器为处理大量数据提供了性能更高的架构。虽然通用 zkVM 为任意计算提供了可扩展的解决方案，但数据处理证明速度很慢。

SQL 证明器可以与这些 zkVM 集成，以提供可验证的源数据，从而可以执行任意代码。Space and Time 鼓励并邀请社区成员以及其他 ZKP 工程团队在 repo 中进行合作。证明器可以集成到任何 SQL 数据库（如 Google BigQuery）中，无论是集中式还是去中心化的，并且已经在一些著名的Web3应用、金融机构和企业中得到应用。

关于 Space and Time

Space and Time 是 AI 与区块链的可验证计算层，将不可篡改的链上和链下数据结合起来，为智能合约和 LLM（大型语言模型）提供企业级应用场景。Space and Time 开发了一种名为 SQL 证明器的新型密码学，允许开发者将分析结果直接连接到智能合约，从而在区块链技术上开启大量强大的新应用场景和业务逻辑。Space and Time 从头开始构建，作为一个多链数据平台，为金融服务、游戏、DeFi 或任何需要在企业、区块链和 AI 之间进行数据验证的项目提供服务。

更多信息，请访问： Website | Twitter | Discord | Telegram | LinkedIn | YouTube

Trending Cryptos

ctr
CitreaCTR
wstusdt
wrapped stUSDTWSTUSDT
apr
aPrioriAPR
ctx
Cryptex FinanceCTX
audio
AudiusAUDIO
comp
CompoundCOMP
mantra
MantraMANTRA
xvs
VenusXVS
waxl
AxelarWAXL
bill
Billions NetworkBILL
pyth
PYTH (Pyth)PYTH
rune
THORChainRUNE
velodrome
Velodrome FinanceVELODROME
brev
BrevisBREV
zrx
ZRX（0X）ZRX

Related Reads

Former SpaceX Engineer Reconstructs Financial Execution System Using First Principles

Former SpaceX engineer Lex Li applies "First Principles Thinking" to financial infrastructure with Plan Execution Lab, recently raising angel funding at a $50M post-money valuation. The team argues that the core function of finance is capital allocation, and the critical gap is not in trading but in execution, which remains highly manual and fragmented. While assets, liquidity, and settlement have migrated on-chain, execution workflows (monitoring, risk management, liquidity coordination) are still human-native. In an era of accelerating AI agents, strategy decay is rapid, shifting the competitive edge from having the best strategy to having the most robust execution network. Plan Execution Lab introduces two core components: 1. **PlanX**: A Financial Execution Protocol designed as infrastructure for the migration from CEX to DEX, providing on-chain execution capabilities, liquidity access, risk management, and capital orchestration. 2. **Xgent**: An Autonomous Financial Runtime. Users define investment intents, risk preferences, and constraints; Xgent automatically constructs an execution graph, verifies it, and handles ongoing execution and optimization—streamlining the process from Intent to Autonomous Execution. The long-term vision is to create the "Bloomberg Terminal for Autonomous Finance"—a shared operating environment and execution network built collectively by participants like execution nodes, liquidity providers, and autonomous agents. The future of finance, they contend, belongs not to isolated algorithms but to open, collaborative execution networks.

marsbit19m ago

Former SpaceX Engineer Reconstructs Financial Execution System Using First Principles

marsbit19m ago

Former SpaceX Engineer Reconstructs Financial Execution System from First Principles

Plan Execution Lab, a financial infrastructure project founded by former SpaceX engineer Lex Li, has raised angel funding at a $50M post-money valuation. The startup is applying "first principles thinking" from Li's SpaceX experience to rethink financial market execution. Their analysis posits that while assets, liquidity, and settlement have moved on-chain, the execution layer remains fundamentally human-dependent and fragmented. In the era of AI Agents, strategy advantages decay rapidly, shifting the competitive edge from isolated algorithms to robust **execution networks**. Plan Execution Lab's solution is a two-part system: **PlanX**, a Financial Execution Protocol designed to facilitate the migration from centralized exchanges (CEX) to on-chain markets by providing core on-chain execution capabilities; and **Xgent**, an Autonomous Financial Runtime. Xgent allows users to define investment goals and constraints, then autonomously constructs and manages the execution logic—moving from **Intent to Execution Graph to Verification to Autonomous Execution**. The long-term vision is to create the "Bloomberg Terminal for Autonomous Finance"—an operating environment not for humans, but for agents and execution nodes. The future financial system, they argue, will be a collaborative network built by diverse participants contributing execution capabilities, not secret strategies. The core competition will shift to who builds the most powerful and adaptive execution network.

链捕手20m ago

Former SpaceX Engineer Reconstructs Financial Execution System from First Principles

链捕手20m ago

First Long-Horizon Doc2Repo Training Dataset: Code Agents Move Beyond Bug Fixing and Begin Creating Repositories

With the advancement of LLM Code Agents, the research focus is shifting towards long-horizon, real-world tasks, moving beyond simple bug fixes to full repository generation. To address this, researchers from Renmin University of China introduced the DeNovoSWE dataset. This dataset focuses on long-term software engineering tasks, specifically the "document-to-repository" challenge—generating an entire, executable code repository from a task description. The DeNovoSWE construction method employs a Divide & Conquer approach. It breaks down target repositories into core capabilities and uses a multi-agent Draft-Critic-Repair workflow to automatically generate high-quality, evaluation-aligned task documents. The dataset also implements difficulty-aware filtering to balance quality and diversity. The result is a high-quality, anti-leakage dataset of 4,818 instances. Experiments show that models trained on DeNovoSWE achieve significant improvements in long-horizon repository generation. For instance, Qwen3-30B-A3B-Instruct's performance on the BeyondSWE-Doc2Repo benchmark increased from 5.8% to 47.2%, and on NL2RepoBench from 4.3% to 23.0%. Similar gains were observed with stronger backbones, demonstrating that dedicated long-horizon training data is crucial for advancing Code Agents from maintainers to architects capable of planning and building complete software projects from scratch.

marsbit35m ago

First Long-Horizon Doc2Repo Training Dataset: Code Agents Move Beyond Bug Fixing and Begin Creating Repositories

marsbit35m ago

Even CZ Praised Hyperliquid as 'Awesome', But Its Biggest Moat Might Also Be Its Biggest Risk

In an episode of Galaxy Brains, Binance founder CZ praised Hyperliquid as "awesome" but clarified that while its product is strong, Binance cannot compete in its specific niche due to Hyperliquid's no-KYC, decentralized model. CZ noted he would not personally operate such a model, highlighting the inherent legal and compliance risks tied to its access advantage. The discussion underscores a core market structure conflict: on-chain perp platforms like Hyperliquid thrive on open, low-barrier access, which regulated exchanges like Binance cannot replicate without abandoning their global compliance posture. However, this very advantage makes Hyperliquid a clear target for regulatory scrutiny. The UK FCA has already issued a warning against Hyperliquid for potentially offering unauthorized services to UK users, framing it as a financial services provider rather than neutral infrastructure. Historical cases like the CFTC's action against bZeroX and Ooki DAO further illustrate that regulators may pursue decentralized structures if they facilitate leveraged trading for retail users without proper controls. Meanwhile, regulated venues like Cboe are developing US-compliant "continuous futures" that mimic perpetual exposure, narrowing the product gap. Hyperliquid's long-term edge may increasingly hinge on its access model—the very feature most exposed to regulatory pressure. The key question is whether its "access premium" can withstand escalating legal challenges as on-chain perps gain mainstream attention.

marsbit53m ago

Even CZ Praised Hyperliquid as 'Awesome', But Its Biggest Moat Might Also Be Its Biggest Risk

marsbit53m ago

Trading

Spot
Futures

Hot Articles

Discussions

Welcome to the HTX Community. Here, you can stay informed about the latest platform developments and gain access to professional market insights. Users' opinions on the price of AI (AI) are presented below.

活动图片

Top Questions