验证

ChainCatcher 消息，Solflare 发文表示，新验证者已上线。用户现可手动从 Solflare（Legacy）解除质押后质押至新验证者，或等待应用更新后迁移。官方将补偿迁移期间中断的奖励，具体期间及细节将随后公布。

ChainCatcher 消息，EIP-8450 提案更新，拟为以太坊验证者引入抗量子公钥注册机制，采用基于哈希的密码学方案，包括 leanXMSS 密钥和 VRF 树根。更新明确由 BLS 签名密钥授权注册及更换抗量子密钥，并设置至少一个 Epoch 的更换延迟和防重放机制；该提案目前仍处于 Draft 阶段，尚未部署。

ChainCatcher 消息，据官方消息，Jupiter 与 BitGo 合作推出面向机构的验证器，BitGo 的机构客户现在可以直接通过其现有的托管账户，使用 Jupiter 质押 SOL。

ChainCatcher 消息，据 SolanaFloor 报道，Solflare 表示其质押服务提供商发生安全事件，影响了为其验证者持有的密钥，该验证者目前不再产生质押奖励。Solflare 称用户资金未受影响，委托的 SOL 仍留在用户自己的质押账户中，并由其密钥控制。Solflare 将通过应用更新引导用户迁移至新验证者，质押激活后奖励将恢复，并计划对迁移用户进行补偿。

ChainCatcher 消息，硬件钱包厂商 Keystone 设备验证密钥被盗，暂停发货并销毁 18,835 台未售设备，25,964 条买家记录泄露。

ChainCatcher 消息，以太坊机构隐私技术机构 EthSystems 宣布对其隐私池（shielded pool）完成了形式化验证，范围从书面规范一直到 Sepolia 测试网上运行的字节码。验证按层使用不同工具：模型、电路和哈希用 Lean，合约用 Halmos 和 Kontrol，钱包用 Aeneas 和 Verus，验证器和部署通过逐字节重建核对。 双花和价值守恒已由 Lean 定理机器验证。验证中共发现 6 个问题，其中 3 个出在验证工具本身。团队同时列出了仍然依赖的假设：哈希无碰撞、验证器会拒绝伪造证明、合约行为与模型一致。

ChainCatcher 消息，Solana 联合创始人 Anatoly Yakovenko（Toly）于 10 月 24 日在 X 发文提出一项构想，计划利用 Solana 验证者构建按质押权重分配话语权的预言机，为代币化资产提供价格评估，并以此类资产为抵押。根据该设想，验证者将依据其获得的 SOL 质押量参与价格判断，相关机制产生的利润则可通过征税为 Solana 网络增加收入。不过，该构想尚处于概念阶段，并非正式治理提案，目前没有明确的实施时间表或治理投票安排。若未来落地，该机制或为 Solana 现有预言机网络引入原生替代方案，但也涉及 SOL 增发带来的供应变化，以及验证者参与抵押品定价可能引发的利益冲突和操纵风险。

ChainCatcher 消息，Lido 上线 0x02 CSM，开放无许可运行最高 2048 ETH 有效余额验证者。运营者无需自筹质押金，只需提供债券，首把密钥需 32 ETH，后续每把需 30 ETH，质押由协议分配。该模块采用初始存款队列和限额 32 席的追加质押队列；上线初始份额上限为 Lido Core TVL 的 0.01%，首批约 32 把密钥将获得种子存款。

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 天。