验证

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

ChainCatcher 消息，人工智能公司 Anthropic 旗下 Frontier Red Team 于 10 月 22 日发布研究，称大语言模型已能在更大规模上自动撰写形式化证明。团队与 Theorem 合作，使用 Claude 在 RISC-V 汇编层对超过 100 个真实开源库证明安全性质，并称这是已知首次用 AI 在汇编层对生产软件做大规模形式化验证。写证明过程中还发现了多年未被发现的漏洞。实验将 Google OSS-Fuzz 中已有的可编译 fuzz 测试转为规格：在单线程静态二进制、固定内存预算、RISC-V CPU 与 Linux 等假设下，对小于 64 MB 的任意输入，程序应正常退出且不触发内存安全错误或断言失败。数周内，Claude 在修补所发现问题后，对 123 个 OSS-Fuzz 库中的 239 个入口点证明了上述性质。证明针对编译后的 RISC-V 指令，约 1.8 亿行 Rocq，并由 Rocq 内核检查。页面称，这并不等于这些库没有漏洞，剩余问题可能位于受信任组件或证明范围之外。页面还称，团队让 Claude 形式化 RFC 1950，并在 x86 二进制层证明 Linux 内核中的 zlib 实现符合该规格；用 Rust 编写覆盖 Python 大子集的解释器，对超过 170 万个随机生成程序与 CPython 行为一致的比例为 99.95%。在 36 个小型验证任务上，Opus 5.5 证明其中一半所需 token 比 Opus 5 少约 40%。团队同时指出，证明针对单线程、静态链接的 RISC-V 二进制，且证明检查器不能判断规格是否符合现实。

ChainCatcher 消息，Solana 落地服务分析平台 Circular 创始人 Ben 发文称，其认为交易终端 Axiom 通过误导性的“验证者贿赂”（validator bribes）向交易者收取费用，并将相关资金路由至 HelloMoon 旗下落地服务 Lunar。Ben 表示，自 4 月以来，Axiom 交易者向 Lunar 支付的贿赂约为 5570 万美元，但最新 30 天分析显示，仅约 1% 可追溯至额外的链上验证者激励，并询问 Axiom 是否从该小费收入中分成。Circular 称，其根据链上支付流重建了 2026 年 4 月 26 日至 10 月 19 日 Lunar 与 Axiom 相关的活动：期间 Lunar 收到 530,166 SOL 贿赂，按其引用的 105 美元/SOL 计价约为 5567 万美元，对应 1.89 亿笔成功支付 Lunar 贿赂的 Axiom 交易。最近 30 天内，4500 万笔 Axiom 交易向 Lunar 付款，占成功 Axiom 交易的 80.6%；Lunar 收取 138,964 SOL，约合 1459 万美元，其中最多约 1,579 SOL 被归因为额外链上验证者激励，占比 1.14%。Ben 还列举 9 月 26 日与 10 月 7 日的链上案例，并称自己按 Axiom 界面建议支付贿赂后，可识别的额外优先费提升约为支付给 Lunar 金额的 1%。他表示，Axiom 控制交易路由与费用推荐，并已在 GitHub 公布其关联的 Lunar 地址供核验。上述内容为 Circular 方面的链上统计与个人判断，帖文亦称相关比例不排除其他服务成本或链下支付，且其对平台分成比例的估计并非已追踪到的对 Axiom 付款。

ChainCatcher 消息，据 The Defiant 报道，模块化数据可用性网络 Celestia 宣布激活 Fibre 服务，为 Rollup 开放直接向验证者上传数据的通道。Fibre 是 Celestia 推出的数据发布协议，允许客户端将 blob 数据分片上传至由验证者运营的 Fibre 服务器，并从这些服务器下载数据，绕过传统的中继传输路径。 根据 Celestia 文档，Fibre 会对每个 blob 进行纠删码编码，使读取者能够从部分编码行中恢复完整数据。共识层仅记录支付信息与 blob 承诺，数据载荷则直接在客户端与 Fibre 服务器之间传输。每个服务器的存储预算由其对应验证者的质押量决定，从应用版本 10 开始，每个已绑定验证者都被期望运行一个 Fibre 服务器。 Celestia 表示，将数据与承诺分离的设计使链上只需处理承诺和验证者签名，而无需承载数据本身，从而支撑更高的吞吐能力。在针对 120 个验证者的端到端基准测试中，Fibre 实现了 3.07 Tb/s 的吞吐量。该功能为构建在 Celestia 之上的 Rollup 提供了更高效的数据发布路径。

ChainCatcher 消息，据 Avalanche 官方博客，迪拜国际金融中心（DIFC）法院宣布采用 Avalanche 区块链技术，为其法院命令及听证记录提供全球可验证的数字真实性凭证。 系统通过将文件加密哈希与 Avalanche C-Chain 上的唯一 NFT 凭证绑定，任何机构无需联系法院即可在数秒内完成文件真实性核验，且文件内容及机密信息不上链，完全保持私密。 Avalanche 结算速度不足一秒，记录不可回滚。此外，阿联酋电信和数字政府监管局（TDRA）亦正与 Ava Labs 合作，将 Avalanche 技术引入服务逾 1250 万用户的国家数字身份平台 UAE PASS 的 Digital Vault 区块链层，进一步推动阿联酋政务文件的链上可信验证体系建设。

ChainCatcher 消息，面向数字资产市场的机构结算网络 Lynq 与稳定币清算所 The Better Money Company（TBMC）宣布完成一项实时概念验证，展示机构结算可在数分钟内完成。该验证属于双方合作第一阶段，采用预存资金流程，在 Lynq 上完成稳定币结算。概念验证中，TBMC 将客户存放在 Lynq 上的资产转换为 RLUSD，结算在数分钟内完成。验证使用真实生产账户与真实机构对手方，结算过程绕过传统银行窗口。资产在结算持有期间利息继续计提，计算使用 Tassat 的 Yield in Transit 功能，按资产持有时长确定应计利息。TBMC 创始人兼 CEO Sam Broner 表示：稳定币要成为有意义的机构基础设施，需进入真实结算流程；该验证表明可通过链上抵押品转移处理稳定币碎片化，而不依赖信贷和传统银行结算来衔接。Lynq CEO Jerald David 表示：机构并不缺资本，缺的是在需要时以正确形式把资金移到正确地点；该验证规模刻意做小，但表明数字美元可在机构之间于数分钟内结算，且不以信贷便利替代速度。Lynq 称，平台原生稳定币支持目前目标为 2026 年底。

ChainCatcher 消息，Starknet 发文介绍量子安全比特币方案（QSB），称 StarkWare 研究员已在比特币主网上验证一种无需软分叉、新增操作码或修改共识规则的量子安全锁定机制。首笔 QSB 输出于 2026 年 8 月 26 日在比特币主网区块 964,199 中完成花费，相关 GPU 计算成本已从约 320 美元降至约 50 美元。QSB 通过哈希计算构建锁定机制，但每笔交易仍需大量计算，资产转入该方案时仍需进行存在量子风险的传统交易。该交易不符合 Bitcoin Core 默认中继规则，目前也没有配套钱包、地址格式及恢复流程。StarkWare 表示，QSB 是应急研究方案，长期解决方案仍需通过软分叉引入后量子签名机制。Starknet 的全面抗量子安全也取决于以太坊底层升级进度。

ChainCatcher 消息，据 NADA NEWS 报道，日本金融厅（FSA）已要求包括加密货币交易所在内的金融机构尽快停止使用驾照等证件图像进行身份验证（KYC），转为通过智能设备读取集成电路（IC）芯片信息的新验证方式。

ChainCatcher 消息，据韩国经济日报报道，三星电子的下一代高带宽内存 “12 层 HBM4E” 产品已通过英伟达及主要超大规模数据中心运营商的质量验证。

ChainCatcher 消息，据 The Defiant 援引 Beaconcha.in 数据，以太坊活跃验证者数量过去 7 天下降 2.5%，至约 86.3 万个，但同期质押 ETH 总量小幅上升 0.08%，达 4374 万枚。验证者数量下降主要与 Pectra 升级后的验证者合并机制有关。该升级将单个验证者最高有效余额从 32 ETH 提高至 2048 ETH，允许运营者在无需退出质押的情况下合并多个验证者，从而降低网络通信和共识开销。目前约 50.7 万枚 ETH 处于合并队列，预计等待时间约 5 天 11 小时。

ChainCatcher 消息，三井住友银行、大和证券、SBI 证券、Progmat 及 Datachain 等 9 家日本机构宣布完成 “Project Trinity” 二阶段验证。该项目旨在通过 “券款对付”（DvP）消除结算不同步风险。 测试中，大和证券与 SBI 证券模拟大阪数字交易所（ODX）的 START 市场，使用 SBI VC Trade 发行的 ST 公司债与三井住友银行发行的信托型稳定币，完成了 2 笔跨链同步结算，阶段性验证了 T+2 结算周期的可行性。

ChainCatcher 消息，以太坊质押退出队列已从上周的峰值回落。在 MetaMask 开始撤回验证者后，退出队列一度攀升至约 85.1 万枚 ETH，目前降至约 76.7 万枚 ETH。此前 9 月 29 日该队列仅约 16.6 万枚 ETH，短短数日内增长逾五倍，一度达到全网约 4360 万枚质押 ETH 的约 2%。MetaMask 于 9 月 30 日披露一起影响其部分基础设施的安全事件，并出于预防措施将受影响验证者下线，其 10 月 1 日的更新称调查未发现钱包或客户资金受到影响的迹象。MetaMask 除钱包业务外，还为质押服务商 Lido 运行验证者。以太坊安全研究员 Kaden 估计，此次预防性退出涉及约 1.7 万个验证者、约 52.3 万枚 ETH，MetaMask 尚未确认该数据。Lido 预计，随着受影响验证者退出、其余额被提取，这些 ETH 将逐步重新质押，整个过程可能长达约 45 天，受影响验证者在停机期间将错失奖励，Lido 表示 stETH 持有者无需采取任何行动。与此同时，进入质押的队列需求有所降温，约 150 万枚 ETH 等待进入，预计等待时间约 25 天。

ChainCatcher 消息，Linea 官方发文表示，受 MetaMask 质押事件影响，支持 Yield Boost 金库的部分验证者正作为预防措施退出。Linea 强调，质押金库本身的资金及控制权均未受到影响。 此次事件的影响是，在相关验证者退出并由新验证者替换期间，为生态激励提供资金来源的净质押奖励将暂时减少。Linea 表示正在密切监控事态进展。

ChainCatcher 消息，MetaMask 就此前披露的部分基础设施安全事件发布跟进说明，表示团队正持续开展调查与处置。 MetaMask 称，为保障用户安全，已与相关合作伙伴协同采取预防措施，目前正退出其非托管质押业务中受影响的验证者节点。根据截至目前的调查结果，没有迹象表明 MetaMask 钱包或客户资金受到影响。 今晨，MetaMask 的非托管质押业务部分基础设施遇安全事件。作为预防措施，其在 Lido 上运营的验证器已开始退出。

ChainCatcher 消息，据 Crypto Briefing 报道，Orca 首席法务官 Christopher Montagano 在韩国区块链周表示，SEC 于 9 月 17 日发布的创新豁免，为验证 DeFi 区块链轨道是否较传统基础设施更高效提供了条件。 该豁免提供为期 5 年的有条件救济，至 2031 年 9 月 17 日；在该框架下，代币化证券场所和特定流动性提供者可运营代币化美股许可交易，且无需注册为交易所或交易商。 Montagano 表示，该豁免专为 AMM 设计，但并非对 DeFi 的裁决，相关方仍须遵守制裁规则并获得发行人同意，以区别于无许可 DeFi。Orca 自 2025 年起参与 SEC 讨论，并于同年 11 月开始交易代币化股票。

ChainCatcher 消息，Renzo Finance 就 MetaMask 基础设施安全事件回应称，其最新产品 Renzo Basis 的风险与流动性不会集中在稳定币或金库中，且可完全通过链上数据验证，因此用户无需依赖对 Renzo 的信任，即可确认自身未受该事件影响。 Renzo 表示，ezETH 自 2026 年 4 月起仅由原生 ETH 支持。目前，提现队列中仅有 214.75 枚 stETH（占比 0.5%）存在有效申领。 此前，MetaMask 表示正在处理一起影响部分基础设施的安全事件，目前未发现对 MetaMask 钱包的即时威胁。作为预防措施，MetaMask 正与客户、合作伙伴及安全顾问协调，主动退出其非托管质押业务中受影响的验证者，并将适时公布进一步更新。

ChainCatcher 消息，Cosmos 生态去中心化交易协议 Osmosis 发文称，过去数月的维护模式即将结束，主动开发将恢复。团队表示，第一步是让核心产品更精简，包括简化代币经济、聚焦资金库，以及让网络在需要时更快行动。Osmosis 提出三项 OSMO 调整，均将提交链上治理。一是进一步降低通胀，减少新 OSMO 进入流通，并停止向社区池注入新铸造的 OSMO，使网络更多依赖实际收入。二是销毁社区池持有的大部分 OSMO，以及此前从社区池分配的 OSMO。三是资金库仅为核心流动性池提供流动性，完整名单将在变更生效前公布。团队还计划将活跃验证者集合缩减至 30 个，称较小集合有助于安全事件响应和链升级协调，也与低通胀模式相匹配。Osmosis 表示，简化协议是为后续扩张做准备，其仍是 IBC 资产交易的中心场所，并征求社区对下一步建设方向的意见。

ChainCatcher 消息，流动性质押协议 Lido 发文称，MetaMask Staking（前 Consensys Staking）在调查一起基础设施入侵事件后，已采取预防措施，以保护其运营的以太坊验证者相关客户资产。相关措施包括退出其在 Lido 协议中的以太坊验证者，此举可能损失部分奖励，若验证者近期下线以降低潜在网络罚没风险，也可能产生停机惩罚。Lido 表示，相关验证者已开始退出，最后一批预计于 2026 年 10 月 7 日结束前完成退出，但届时尚未完全提款。stETH 持有人无需采取行动。从 MetaMask Staking 运营验证者退出的 ETH，预计将在验证者完成退出、提款并重新进入的周期中逐步回到协议，因入队时间延长，该过程估计最长约 45 天。Lido 提醒，质押运营为非托管性质，MetaMask 并不代客户管理提款密钥。Lido 协议的多元化节点运营商及其他安全机制，包括超过 6,750 stETH 的临时储备金，旨在控制并缓解对协议正常运行的干扰。全面调查正在进行，后续更新将另行公布。

ChainCatcher 消息，Animoca Brands 旗下项目 Moca Foundation 与 Moca Network 宣布，Moca Chain 主网上线，支持用户和 AI 代理在不同应用间共享可验证凭证。用户可保管凭证，并决定凭证何时及向何处共享。Moca Chain 允许机构签发与统一数字身份关联的防篡改凭证，覆盖身份验证、会员资格等信息。Moca Network 同时推出 AIR，为企业接入用户和 AI 代理提供统一入口，并减少敏感信息存储需求。Moca Network 披露，AIR 生态已纳入 SK Planet、Biletinial、Oyunfor、Open Campus、OneFootball、Automobili Lamborghini、Inveo Kripto、Plume 和 Nansen 等 9 家以上合作方，计划于 2026 年完成集成。

ChainCatcher 消息，以太坊域名服务开发方 ENS Labs 与全球法人识别编码基金会（GLEIF）正在探索，如何让机构将其 ENS 名称与可验证法人实体标识符（vLEI）关联，从而在链上形成持续、可核验的身份。ENS 是以太坊生态的域名与身份系统，用户可用可读名称替代长地址。GLEIF 负责管理全球法人识别编码（LEI）体系，vLEI 是其可验证版本，用于确认组织的法律实体身份。双方此次合作方向是把链上名称与受监管的法人身份凭证打通，具体产品形态与上线时间尚未在公开帖文中说明。