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

Odaily星球日报发布于2024-06-13更新于2024-06-13

文章摘要

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 之间进行数据验证的项目提供服务。

你可能也喜欢

PEPE闪现卖出高潮信号，这对价格意味着什么

基于加密货币分析师MyCryptoParadise的分析，PEPE币在经历10月10日历史性暴跌后，近期出现看涨技术信号。关键指标显示PEPE已形成“抛售高潮”（Selling Climax），表明卖压已被买方吸收，熊市阶段可能结束，即将进入积累阶段。同时图表显示“特性变化”（Change of Character），趋势由熊转牛，买方动能增强。此外出现“自动反弹趋势”和“最后支撑点”，确认多头重新掌控局面。技术图表显示PEPE形成多空双重点位（POI）：看涨POI位于$0.00000326，可能成为反弹起点；看跌POI位于$0.0000062（流动性抽取区域），预计为反弹顶部。若达到该点位，PEPE可能实现超过60%的涨幅。当前市场复苏环境下，PEPE呈现趋势恢复迹象。

bitcoinist32分钟前

bitcoinist32分钟前

加密溢价的终结？从 Gemini 上市后的困境看市场逻辑转变

2025年下半年，加密交易所Bullish和Gemini相继上市，市值一度突破百亿美元，市场普遍认为这是行业走向主流的标志。然而，Gemini上市后股价暴跌超80%，裁员30%，高管离职，面临巨额债务和持续亏损。其困境反映了加密市场整体逻辑的转变：一方面，上市带来高昂的合规成本，审计、法律及监管支出持续攀升，压缩利润空间；另一方面，比特币ETF等合规产品的兴起，使得机构资金更倾向于低风险入口，山寨币流动性枯竭，超额溢价消失。加密资产曾经的“法外红利”逐渐消退，监管套利和流动性稀缺带来的溢价被抹平，市场回归基本面竞争——依赖实际使用量、流动性和可持续性而非叙事支撑。Gemini的案例预示，加密行业正步入与传统金融更为相似的竞争环境。

marsbit2小时前

marsbit2小时前

Glassnode扩展：宏观经济与传统金融数据

Glassnode宣布将其产品范围从领先的链上和衍生品分析扩展到宏观经济和传统金融（TradFi）数据，以全面反映数字资产日益主流化的趋势。随着比特币ETF规模突破1000亿美元（截至2026年初），比特币价格越来越多受到货币政策、地缘政治和全球流动性等传统金融因素的影响。文章指出，比特币正从“数字黄金”转变为对流动性敏感的资产，其价格与标普500指数的相关性显著增强。Glassnode新增的TradFi指标包括利率、收益率曲线、股票基准指数、外汇及大宗商品数据，帮助用户在统一平台中分析数字资产与宏观经济的联动，为投资决策提供更全面的背景。

insights.glassnode5小时前

insights.glassnode5小时前

分析师勾勒Ozak AI价格路径：逐步扩张迈向6美元区间

分析师指出，人工智能加密货币项目Ozak AI（代币$OZ）正通过融合AI技术与去中心化物理基础设施网络（DePIN）逐步构建其市场价值。目前该项目处于预售高级阶段，已筹集超过600万美元，代币价格为$0.014，显示出市场对其长期持有的信心。 Ozak AI的核心优势在于其基于自动化和智能分析的AI基础设施，以及跨链功能和质押、治理等代币实用场景。项目已与SINT、Hive Intel、Weblume、Pyth Network及Dex3等达成合作，增强了数据流、流动性和多链功能。尽管分析师预计上市后可能出现价格波动，但随着AI解决方案的广泛采用和生态活动的推进，Ozak AI有望实现渐进式增长，长期目标指向$6的价格区间。当前发展路径强调可持续性而非短期炒作，逐步推进的价值积累模式为其长期发展奠定了基础。

TheNewsCrypto5小时前

TheNewsCrypto5小时前

Utexo 携手 x402，为 Agent 经济提供近乎即时结算的 USDT 支付

比特币原生稳定币支付层Utexo宣布与x402协议合作，将USDT兼容性引入其支付系统，支持实时、Agent对Agent交易，结算速度最快可达50毫秒。x402是一种开放协议，通过HTTP 402状态码将支付功能嵌入网络请求，使应用程序和自主系统能够实时支付费用而无需预充值。此次合作扩展了x402对USDT的支持，补充了原有的USDC功能，为开发者提供更广泛的稳定币选择和高速交易能力。Utexo的高频低延迟基础设施适用于机器驱动支付场景涵盖API调用、数据访问和跨平台服务协调。双方表示，这一集成将推动自主系统和AI经济中即时、可编程支付的发展。

marsbit5小时前