零知识证明

ChainCatcher 消息，Succinct 旗下零知识证明系统 SP1 曝出高严重性可靠性漏洞。该漏洞通过 GitHub 公告 GHSA-p7v2-jjv3-8p8f 披露，影响 SP1 原生 Rust 验证器 6.0 至 6.8.0 版本，使主网 Prover Network 可能接受无效证明：恶意证明者可提交无效执行的证明，而网络验证器仍会接受。 漏洞原因是验证器仅读取数据的标签（声明维度），未校验实际存储元素数量是否等于维度乘积，攻击者可伪造标签使无效证明通过。采用固定形状 wrap 证明的 Groth16 与 Plonk 检查不受影响，链上 Solidity 检查器亦安全。Succinct 于 9 月 24 日发布修复版本 6.8.1，并已部署至主网；该版本新增反序列化长度校验。 漏洞由 Vitalis Salis 发现，并经 Immunefi 漏洞赏金计划上报。自行运行原生 Rust 验证器且接受不可信证明者的用户需升级至 6.8.1。

ChainCatcher 消息，零知识证明基础设施 Succinct 已修复其 SP1 中的一个安全漏洞，该漏洞可能导致无效证明被判定为有效。 据 The Defiant 报道，缺陷存在于 6.0 至 6.8.0 版本的原生 Rust 验证路径中，通过 Solidity 验证器执行的链上 Groth16 与 Plonk 验证不受影响。

ChainCatcher 消息，基于零知识证明的隐私 Layer 2 网络 Aztec 宣布，其 V6 升级提案已获批准，但治理面板目前仍显示投票处于开放状态，面板上列出的执行日期为 10 月 26 日。据披露，该升级将提升以太坊与 Aztec 之间的消息传递速度，并在迁移期间为 V5 版本提供 30 天的运营资金。

ChainCatcher 消息，Matter Labs 首席执行官 Alex Gluchowski 在 Money20/20 USA 上发布 Prividium Commander，指出多数银行虽已测试区块链，但真正投入生产服务的仍属少数，症结在于运营流程而非技术本身，包括发行控制、转账处理、审计要求与合规工作流等环节。Prividium Commander 被定位为统一控制平面，机构可在同一处管理权限、配置代币功能并设定运营策略，同时对接银行既有的传统金融系统，并兼容公有链与私有链基础设施。该产品构建于 Matter Labs 的许可型隐私区块链平台 Prividium 之上，后者基于 ZK Stack 技术，允许机构在自有基础设施上运行私有链，并通过零知识证明将交易锚定至以太坊，在不公开客户余额与交易细节的情况下获得以太坊级别的结算最终性。Matter Labs 于 2026 年 9 月开源了 Prividium Core 权限引擎，德意志联邦银行是首个测试方。Cari Network 已选择 Prividium 搭建多银行代币化存款平台，参与方包括 Huntington 与 M&T Bank 等地区性银行，计划于 2026 年晚些时候投产。Matter Labs 在 2026 年中期已将重心全面转向 Prividium 的机构隐私基础设施。

ChainCatcher 消息，去中心化永续合约协议 Lighter 宣布在 Core 上推出 BTC 和 ETH 二进制期权。Lighter 是一个基于以太坊零知识证明构建的低延迟去中心化交易所，其订单撮合的时间、价格和优先级均有证明发布在以太坊上，以确保交易可验证且公平。Lighter 创始人兼 CEO Vladimir Novakovski 表示，该协议本季度重点推进期权产品，从二进制期权起步，逐步过渡到链上欧式期权，并与永续合约共享同一资产负债表。用户可以在同一平台上进行现货、期权和永续合约交易，从而实现基差交易、Delta 对冲等复合策略。Lighter 称其延迟在数十毫秒级别，远低于部分竞争平台的 500 毫秒以上。作为一家美国公司，Lighter 正在争取获得美国商品期货交易委员会（CFTC）牌照，若成功将成为首个获得该牌照的链上交易场所。

ChainCatcher 消息，去中心化永续合约交易平台 Lighter 宣布，其 EVM 开发网（devnet）已正式上线。该开发网是一个 EVM 等效 rollup，由 Lighter 与 Axiom 合作构建，并由 OpenVM 驱动。它与 Lighter Core 同步运行，二者设计为通过单一 ZK 证明共同结算至以太坊。 开发者可使用 Foundry、Hardhat、Viem 和 Ethers 进行部署，并能从 Lighter Core 读取账户、余额、仓位、订单和市场数据；同时可通过智能合约下单、修改和取消订单，并在开发网 L1、Lighter Core 和 Lighter EVM 之间转移资产。 Lighter 表示，团队可通过邮件 evm@lighter.xyz 申请访问。目前其正以分批方式引入开发者，以确保对问题快速响应，并将在未来几周内向所有开发者扩大访问权限。

ChainCatcher 消息，隐私基础设施 Hinkal 于 2026 年 10 月 9 日宣布加入 Mastercard 加密合作伙伴计划。该计划连接加密与区块链团队、Mastercard 团队及其全球支付网络，成员包括稳定币发行方与基础设施提供商、法币兑换服务商、加密卡支持方，以及区块链及区块链服务提供商。Mastercard 将其定位为把技术能力转化为符合合规要求、可用于全球商业的用例；部分成员还可接触发卡与收单网络中的金融机构，并获得与全球标准对齐的监管与合规支持。相关用例包括跨境支付与汇款、B2B 交易、资金与结算流、稳定币支付，以及让用户在普通商户消费数字资产的卡项目。Hinkal 可为钱包、支付平台和链提供可嵌入的隐私能力，稳定币可在私密余额中结算，并用零知识证明转移，使链上验证转账时不公开金额、发送方或接收方。该能力已在 Ethereum、Polygon、Solana、TRON 及其他主要 EVM 链上线，可通过 SDK 和 API 接入。现有集成包括 Polygon Wallet 的 Private Send、Tether 钱包开发套件中的 Hinkal 私密发送、可通过 Hinkal SDK 增加隐私功能的 Turnkey 钱包，以及在自有界面运行 Hinkal 私人支付的 Avvio。

ChainCatcher 消息，以太坊贡献者 Francesco Risitano (@frisitano) 提交了 EIP-8440 (执行链证明) 草案提案。该提案通过递归零知识证明机制，证明从头部信标块到起源信标块的所有执行有效载荷的合法性，并将其绑定至信标链。节点可通过单一证明，从弱主观性检查点建立到最新区块头的完整执行有效性，实现常数时间链同步。

ChainCatcher 消息，链上期权协议 Derive 宣布 Derive V3 已上线，迁移已顺利完成，交易已恢复。团队表示，此次重建用于延续其链上期权业务增长，托管位于以太坊，保证金与结算采用零知识证明，订单匹配延迟低于 1 毫秒。根据公告，V3 支持推出无代码金库并收取费用，也可通过 ETH 与 BTC 风险抵消释放资金。相关功能还覆盖 ETH、WBTC、HYPE 与 USDC 的收益及借贷，并加快加密资产与现实世界资产的上线。开发者可用更少配置在 Derive 上构建应用并获取费用。Derive 称，未来数周将在这一基础上推出新市场、金库及合作伙伴集成。该项目表示，其链上期权业务已运营超过 5 年。

ChainCatcher 消息，据 Bitcoin.com 报道，Ethereum Foundation 与 Open Anonymity Project 在 Ethereum 主网上线 zkAPI。该系统允许用户预存 ETH、USDC 等额度，为 AI 及其他按量计费服务付款时将账单身份与请求分离。 用户存入资金后，可通过零知识证明及一次性 API 密钥授权支付。服务端验证付款证明后生成设有额度上限的短期密钥，AI 服务商可接收提示词，但不会获知对应付款身份。 zkAPI 不隐藏提示词内容，AI 服务商仍可读取提示词及响应；稳定 IP 地址、时间模式和重复行为也可能关联用户身份。该项目代码库将 zkAPI 标注为实验性项目。

ChainCatcher 消息，据 The Block 报道，以太坊基金会已在以太坊主网上线 zkAPI，该方案基于 Vitalik Buterin 共同撰写的设计。 zkAPI 允许用户使用预存的 ETH 或 USDC，通过零知识证明为人工智能及其他 API 付费，服务提供方无法将具体请求与付款人关联。

ChainCatcher 消息，据 CoinDesk 报道，以太坊联合创始人 Vitalik Buterin 公布长期路线图，称之为精简以太坊。该愿景提出，以太坊到 2030 年将超越单纯区块链账本，并计划在接下来三至四年内彻底重构协议。转型内容包括将交易吞吐量扩大约 1000 倍，引入零知识证明以增强隐私并对抗量子计算威胁。到 2030 年，网络预计容纳 2TB 传统动态状态数据，并叠加 100TB 新型可扩展存储，以实现底层状态分离与优化。愿景还提出，把以太坊打造为由加密验证驱动的基础设施，应用从金融延伸到社会系统。多数开发人员支持该规划，也有声音认为实施时间表偏滞后。

ChainCatcher 消息，据 CoinDesk 报道，美国证券交易委员会（SEC）委员 Hester Peirce 呼吁重新审视了解你的客户（KYC）与反洗钱（AML）监管方式。她认为，“数据越多越好”的做法会形成过大的信息堆，反而更难发现真正需要关注的问题。 Peirce 表示，零知识证明可用于核验合规情况，同时不必暴露个人数据。相关观点由 CoinDesk 在其 X 账号发布的洞察内容中引述。

ChainCatcher 消息，The Rollup 创始人 Andy 发文称，据消息人士 透露 SEC 正准备调整 KYC 要求，使用户访问链上代币化证券时只需完成一次 KYC。此外，这位消息人士还表示，该安排将使不同链上交易场所与代币化平台之间具备可组合性，用户可借助基于零知识证明的身份系统，在多个场所拆分订单并完成更多成交量。

ChainCatcher 消息，美国证券交易委员会（SEC）委员 Hester Peirce 在 SIFMA 数字资产会议上发言表示，监管机构应重新审视传统金融监控方式，从“收集更多数据”转向利用新技术进行更精准的验证。 Peirce 称，零知识证明等技术可以在不披露姓名、收入或地址等底层个人信息的情况下，验证用户是否满足年龄、公民身份、合格投资者身份或制裁名单等要求。 Hester Peirce 建议联邦政府及受监管机构在技术可行的情况下采用基于属性的验证，并允许注册实体更多依赖第三方身份验证，以减少重复收集和存储敏感信息。 Peirce 同时表示，公有区块链具备永久、公开且可审计的交易记录，结合区块链取证工具，有望在减少不必要数据收集的同时提升对非法活动的追踪能力。

ChainCatcher 消息，以太坊联创 Vitalik Buterin 在第十二届区块链全球峰会上发表主旨演讲表示，区块链诞生之初本身是主要工具，虽有开放、中立、安全等特点，但不可扩展且完全透明，没有隐私保护机制。之后，零知识证明带来的隐私交易与可扩展验证改变这一局面，并已从规划成为实际 EIP，列入以太坊路线图。全同态加密等技术也开始被应用，不可区分混淆未来也可能被应用在链上。隐私之外，区块的并行构建与证明能让极致可扩展性成为可能，行业思考也从数字资产转变为数字资产加信息，从单纯链上到用户端、交易内存池、链上一整套流水线，以及从谁能发送什么到谁能看到什么。当下，区块链已从单纯账本逐渐成为基于密码学的安全计算网络。随着 AI 发展，将密码学规则提供给 AI 进行自动形式化验证，可大幅提升验证效率，让链承载更多可能性。

ChainCatcher 消息，Aptos Labs 宣布 Confidential APT 已在 Aptos 主网上线。余额和转账金额在链上加密，验证者检查零知识证明以确认转账有效，而不查看具体金额。地址保持公开，该功能完全可选加入，实现公开验证而不公开披露。

ChainCatcher 消息，去中心化永续合约协议 Lighter 宣布，过去一个月其平均区块证明时间从约 5.3 分钟降至约 1 分钟，该进展通过 7 月 23 日与 8 月 23 日推出的两项独立优化实现。Lighter 现可更快完成区块验证，从而提升处理容量、降低基础设施成本，并为进一步扩展创造空间。第一项优化为 Heavy/Light 分解。该方案将交易电路拆分为轻量电路与重量电路，使占交易绝大多数的简单报价更新仅需支付轻量约束，证明时间因此减半。第二项为与 Eigen Labs 合作举办的证明竞赛所带来的 Prover 后端优化，在相同电路条件下再次将证明时间减半以上。首批优化已于 8 月 23 日上线，更多批次仍在推进中。此外，8 月 10 日还将所有 Schnorr 签名验证批量纳入每个区块的单个 Plonky3 证明，带来约 20% 的改进。上述优化相互正交且效果可叠加，剩余竞赛优化预计再带来约 2 倍提升，相较 7 月中旬总计有望达到约 10 倍。目前 Lighter 持续处理能力已超过历史峰值负载，提款最终性下限由约 21–22 分钟缩短至约 16–17 分钟，并在流量高峰期间保持稳定。

ChainCatcher 消息，GnosisDAO 批准区块链网络 Gnosis Chain 从独立 Layer 1 网络转型为经零知识证明的 Ethereum Economic Zone（EEZ）Rollup，网络将取消独立验证者集，并改由以太坊验证者完成交易结算。该提案获 123158 枚 GNO 支持、115 枚反对、151 枚弃权，投票涉及 54 名参与者，总参与量达 123425 枚 GNO，高于 75000 枚 GNO 的法定人数门槛。升级初步计划于 2026 年末或 2027 年初启动，具体取决于 EEZ 技术准备情况。升级后，Gnosis Chain 原生智能合约可在同一笔交易中调用以太坊并使用返回结果，同时接入以太坊主网资产和流动性。Gnosis Chain 将成为首个部署的 EEZ 实例，并保留现有应用、余额和 xDAI 燃料代币。

ChainCatcher 消息，AI 安全初创公司 Attestable 宣布正式成立，并完成 2000 万美元种子轮融资。本轮融资由 Altimeter Capital 的 Jamin Ball 和 TLV Partners 的 Yonatan Mandelbaum 领投，Halcyon Futures、Cerca Partners 等机构及多位投资人参与。Attestable 创始人 Yogi 表示，随着 AI 逐渐进入关键基础设施、国家安全以及大型企业系统，如何验证 AI 运行过程的可信度成为全球面临的重要问题。公司希望构建面向前沿 AI 实验室、关键基础设施和国家级应用的通用验证层。据介绍，Attestable 通过零知识证明（Zero-Knowledge Proof）技术，将对 AI 系统的信任从数据中心转移至数学验证机制。该技术可以证明某个经过批准的模型、模型权重、输入数据及运行策略确实生成了特定输出，同时不会泄露模型参数或用户隐私数据，也无需重新运行模型即可完成验证。Attestable 表示，其技术目前已在单张 NVIDIA H100 GPU 上实现对 Meta Muse Glimmer 30B 模型的验证推理，达到每秒 85 个 token 的速度。生成的证明文件较小，并具备抗量子安全特性，可快速完成验证。对此，以太坊联合创始人 Vitalik Buterin 发文表示，并称这一成果意味着大型语言模型零知识证明的性能损耗已接近个位数级别。他表示，下一步挑战是进一步降低全同态加密（FHE）等技术的性能开销。