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

你可能也喜欢

没有统一名字的战争：国内各家大厂的世界模型版图

世界模型是AI领域的关键方向，但业内尚未有统一命名，常被称为世界基座模型、物理AI或融入自动驾驶大模型等。其核心目标是让机器在行动前，在内部构建可推演、复盘的动态环境，将真实世界压缩为可无限生成和测试的数据引擎，从而减少对真实数据的依赖。国内各大厂商已积极布局。**互联网巨头**中，阿里推出了面向语言、虚拟和物理世界的三个模型；腾讯侧重3D可编辑世界，服务于游戏和社交；字节跳动依托短视频数据秘密研发；华为、百度则将其作为智能汽车与自动驾驶的底层能力，不单独强调概念。**车企**将世界模型视为“驾校和考场”，用于生成和测试驾驶场景，提升智能驾驶系统能力，如蔚来、理想、小鹏、吉利等均有具体布局。**智驾供应商**如Momenta、地平线、毫末智行等，则将世界模型作为“隐形引擎”，嵌入端到端系统中，以强化仿真训练和闭环验证。创业公司虽专注灵活，但面临数据、算力和商业化闭环的挑战；而大厂凭借数据、算力和现有业务体系，正将世界模型从研究项目转化为业务底座。竞争正从“能否做出模型”转向“能否实现规模化应用”。世界模型并非短暂风口，而是语言大模型、视频生成、自动驾驶等技术在物理世界交汇的必然升级，成为未来产业基础设施的核心。

marsbit12分钟前

marsbit12分钟前

BitMart获颁澳大利亚金融服务牌照，强化全球合规框架

全球领先的加密货币交易所BitMart宣布已获得澳大利亚金融服务牌照（AFSL），成为澳大利亚新数字资产框架下的受监管金融服务实体。该牌照依据2026年生效的《公司法修正案（数字资产框架）》授予，使BitMart受澳大利亚证券和投资委员会（ASIC）监管，与受监管传统金融机构遵循相同制度。获得AFSL意味着BitMart平台必须遵守机构级的消费者保护标准，包括客户资产隔离、清晰的产品披露，并可通过澳大利亚金融投诉局（AFCA）解决争议。这将其与未受监管的离岸平台区分开来，并使其与金融行动特别工作组（FATF）及欧盟、新加坡和香港等地的监管标准保持一致。 BitMart全球首席执行官Nathan Chow表示，此牌照体现了平台对最高消费者保护与合规标准的长期承诺，是建立信任的基石。作为国际认可的监管标准，AFSL将增强BitMart的银行合作关系，为其全球客户，特别是在代币化现实世界资产和传统金融领域，提供更多元化的产品和服务奠定可信的合规基础。 BitMart计划在相关触点展示“AFSL持牌”标识，并扩大本地合规、法律和运营能力以支持受监管的业务增长。BitMart目前为全球180多个国家和地区的超1300万用户提供服务。

TheNewsCrypto33分钟前

TheNewsCrypto33分钟前

Claude能力被大规模提取？Anthropic指控阿里相关方「蒸馏」模型

Anthropic致信美国参议院银行委员会，指控阿里巴巴及其AI实验室Qwen相关运营方在2026年4月22日至6月5日期间，通过约2.5万个欺诈账户，大规模提取Claude模型能力，交互次数超过2880万次。Anthropic称这是已知最大规模的“模型蒸馏”攻击，目的是复制Claude在软件工程、智能体推理等前沿能力。模型蒸馏指通过强模型的输出训练另一个模型，此技术若通过欺诈手段进行，则被视为非法提取知识产权。此次指控正值美国政府加码AI出口管制，五角大楼将阿里巴巴列入“中国军事公司”名单之际。 Anthropic此前曾披露DeepSeek等中国公司有较小规模类似行为。此次事件可能推动美国加强对AI模型访问的控制，增加AI公司的安全合规成本，并进一步限制中国公司获取海外先进模型服务。目前事件仍为单方指控，阿里巴巴尚未回应，具体细节有待司法认定。

marsbit35分钟前

marsbit35分钟前

加密行业进入“Show Me”时代：仅靠愿景已经不够了

加密行业正进入“用行动证明”的时代，仅凭愿景和承诺已不足以获得认可。过去，一份白皮书和一个代币就可能引发关注，但如今环境已变：传统金融机构（如贝莱德、富达、摩根大通）正大规模推出实质性的加密货币产品（如代币化基金、ETF、区块链结算网络），同时监管框架逐步清晰，人工智能等领域也展示了成熟产品的力量。这些变化提高了行业的可信门槛，公众和媒体越来越关注实际成果而非未来设想。新的沟通规则要求项目方提供“证据层层递进”：包括真实且公开的合作伙伴关系（而非意向）、主网交易量、活跃用户数、收入等硬数据，并能通过链上工具验证。产品市场契合度的信号变得至关重要，例如有机增长的社区和真实用户留存。创始人应围绕已实现的成果展开叙述，例如“将跨境结算时间从三天缩短到四分钟，并有三家企业使用”，而非空谈“构建支付的未来”。愿景仍然重要，但必须由实质内容支撑。当前，沟通中愿景与实质的比例应从过去的80%对20%逆转过来。更高的门槛有利于真正拥有用户、数据和合作的项目过滤噪音，脱颖而出。核心在于，沟通策略是为了展示证明，而非仅仅做出承诺。

链捕手44分钟前

链捕手44分钟前

Meta 跟风入局预测市场，能否避开元宇宙失败的老路？

Meta（原Facebook）正在组建团队开发一款名为Arena的预测市场应用，允许用户使用积分对政治、体育等事件结果进行预测。此举被视为Meta在元宇宙业务连年巨额亏损后的一次战略转向。预测市场赛道近年来增长迅速，头部平台月交易量已达数百亿美元，预计2030年市场规模可能突破万亿美元。Meta凭借超过35亿的日活用户，有望将这一小众市场推向大众。其惯用策略是借鉴成熟产品模式，并依托自身巨大流量实现超越，此前在Stories、Reels等产品上已多次验证。然而，Meta面临严峻挑战。其上一款预测应用Forecast已于2022年关停。该领域监管复杂，已有平台因违规遭罚款，并出现了内幕交易诉讼。更重要的是，Meta自身存在严重的信任危机，其过往在政治内容、虚假信息处理以及金融项目（如Libra）上的不良记录，令监管机构对其涉足敏感领域（尤其是涉及选举和真实资金）高度警惕。 Arena初期可能以积分游戏形式规避严格金融监管，但预测市场的核心价值在于真实资金博弈形成的公允价格。若仅依赖积分，可能更侧重用户活跃度而非预测准确性。Meta的流量虽是巨大优势，能吸引海量新用户，但也可能放大任何与虚假信息或市场操纵相关的争议。总结来说，Meta入局预测市场，机遇在于庞大的用户基础和一个已验证需求的赛道；风险则在于严密的监管环境和自身难以摆脱的信任赤字。成功与否，将取决于Meta能否在运营中逐步重建公信力，而非仅依赖流量规模。

Foresight News1小时前