#论文/研究

作者在 IACR ePrint 发布预印本（未说明经同行评审），提出 Tritone 协议，让比特币在无需共识变更的情况下强制执行对固定 NP 关系的 Groth16 证明验证结果，只要 N 个操作员中有一个诚实即可保证锁定资金安全。验证为乐观且链下进行，交易均为当前中继政策下的标准交易；协议将两方 BABE 推广为固定委员会，每对有序操作员各运行一个争议实例，引入 Lamport-adaptor 小工具实现交易级绑定。作者用 Rust 实现，在比特币主网最坏争议情形下，证明方需发布 9,607 vB、验证方 18,160 vB 交易；本地基准（40-bit 统计安全）下每个争议实例的证明方保留数据低至 112.83 MiB。

一篇 IACR ePrint 预印本（尚未经同行评审）对 Hydra 多方支付通道的优化工具展开系统性研究，作者指出多数现有 Layer-2 工具基于传统两方支付通道设计，能否用于 Hydra 式多方通道尚不明确。该工作综述了两方通道协议及其工具，识别出应为 Hydra 开发新协议的用例，并分析了 Hydra 的开放问题、相关工作及可复用的现有工具。

作者预印本研究了LLM结合静态分析审计C/C++漏洞时对证据的依赖，覆盖PrimeVul的916对函数、四家厂商11种模型配置共16,572次审计。结果显示真证据仅小幅提升准确率（+0.02），而假保证使真实漏洞检出率最多下降19个百分点，假警报则未显著降低准确率且更常被质疑；在7个新模型上的复现确认了这种不对称性（均值+0.16，95% CI +0.10至+0.24）。单独调用核验每条声明并展示被驳回内容，在预设测试中使假保证下的准确率提升12个百分点（p=0.002），但第二个模型增益较小且不显著。研究为预印本，尚未经过同行评审。

arXiv 预印本提出 AgentTrace，一个通过可观察执行痕迹识别黑盒 LLM Agent 底层模型的主动框架，作者称其在对抗身份伪装下达到 96.0% 的归因准确率。该方法注入结构歧义探针触发工具接口的序列化失败，并用轻量马尔可夫链建模后续修复操作的时序，作者称其可区分共享相同分词器的同族变体（如 Llama-3 8B/70B），且对提示混淆和温度缩放保持稳健。材料为预印本，仅取得作者摘要与元数据，未读取论文全文，结果未经同行评审。

作者提出后量子共识协议 Quantum Cadence，取消法定人数证书，改为每个验证者统计自己收到的消息来判定法定人数；其安全性和活性不依赖签名，签名仅用于追责。该协议在 Cadence 基础上将槽位共识 Chorus 替换为 Quantum Chorus，保留传播加两轮投票的快速路径延迟，快速路径失败时运行无签名拜占庭协议 Coda。作者称在 200 个验证者的模拟中，Quantum Chorus 延迟与 Chorus 相当，且随提议者数量增加扩展性更好。该材料为预印本，仅取得作者摘要与元数据，未读取全文。

作者提出 CONSTRAINTDIAL 框架，通过协议变异持续构建智能合约安全任务，以缓解现有评测中模型可凭记忆或抄袭公开答案（含链上交易中的攻击代码）得分的问题。该框架自动重建本地合约，并用攻击执行结果筛选修改，使原始攻击失败同时保留可利用性、安全目标和正常功能。作者基于 203 个公开案例构建 3,045 个任务输入，覆盖检测、利用和修补；与仅重建相比，协议变异使提供公开答案时的平均成功率下降 10.9 个百分点。材料为预印本，未读取全文。

作者提出 FPTracer 框架，用于追踪以太坊上跨 DeFi 协议、跨链桥和混币器的非法资产。其核心是基于 Context-Aware Transfer Tree（CATT）恢复交易内资产流路径，并结合资产流与执行证据特征识别跨链意图交易，同时分析混币器之后的潜在洗钱活动。在 20 个真实洗钱案例上，FPTracer 对已知洗钱地址和目的地的召回率分别为 98.6% 和 94.2%，识别出全部已知跨链桥使用并发现 30 例此前未报告的使用；在 18 个涉及 Tornado Cash 的案例中，其识别的提现侧活动在有公开报告可对照处得到印证。该材料为预印本，尚未经过同行评审。

作者在 BARBICAN（面向 MCP 工具中介的 fail-closed 提示注入网关）上展示：仲裁阶段因分词器配置错误，整段评测中接收被破坏的文本；修正后该阶段语料级 AUC 从 0.392 升至 0.855，但系统召回率反而从 80.67% 降至 80.34%，而一个恒定回答 malicious 的桩模型得分为 80.77%。作者指出，上游路由使该阶段输入带 96.82% 为恶意，且判定设计让有罪判定可阻断、无罪判定仅能经单一窄分支放行；删除该组件损失 673 次检测，用常量替换其判定仅改变 25,000 次决策中的 12 至 140 次，移植一个在该输入带 AUC 达 0.916 的现成分类器也只改变 16 次决策。作者主张，任何路由阶段的消融数字若脱离其输入带的类别分布都无法解读，消融实验应与替换实验并列。材料为预印本摘要，未读取全文，方法与数据细节未核验。

以太坊研究者 Ben Edgington 等五人于 10 月 21 日提交 EIP-8453（Decoupled Consensus）提案，拟将交易最终确认时间从约 16 分钟缩短至 4 分钟。提案将区块选择与最终性投票分离，由约 512 名验证者组成的委员会负责选块，全网验证者仍需至少三分之二活跃质押 ETH 投票确认最终性。文中举例称，若跨链服务每小时垫付 100 万美元等待结算，最终性时间缩短可使占用资金从约 26.7 万美元降至约 6.7 万美元。该提案仍为未完成草案，尚无激活日期，实施需通过硬分叉，并涉及验证者激励、惩罚与安全测试等细节待定。

DWF Labs 在周四发布的研究报告中指出，美国现货比特币 ETF 的每日资金流向难以预测比特币后续走势，投资者更倾向于在行情上涨后买入、下跌时撤资。该研究覆盖自 2024 年 1 月美国比特币现货 ETF 推出以来的 694 个交易日：比特币价格跌幅达到 15% 的 8 次行情中，有 7 次出现 ETF 资金净流出；9 次涨幅达到 15% 的行情均出现资金净流入。DWF Labs 总结称，ETF 资金流向更多是在确认市场走势，而非提前预测走势。

DWF Labs 在研究报告中指出，美国现货比特币 ETF 的每日资金流向难以预测后续走势，更多是确认市场走势而非提前预测。研究覆盖自 2024 年 1 月 ETF 推出以来的 694 个交易日：当日 ETF 资金流向与此前 5 个交易日比特币价格变化的相关系数为 0.54，与随后 5 个交易日价格变化的相关系数仅为 0.03；比特币价格跌幅达 15% 的 8 次行情中有 7 次出现净流出，9 次涨幅达 15% 的行情均出现净流入。报告还指出，部分 ETF 交易可能涉及买入基金份额同时通过 CME 期货做空比特币的对冲策略，资金流向不能直接反映投资者的真实多空立场。

ignotusnemo 在 Ethereum Research 发文，介绍其在 Parano1d 中实现的异构递归构造：小与大的递归状态转换证明已在公共主网运行，方案使用有限的验证器类认证库，各类固定关系、约束矩阵与承诺参数，共享公共累加器布局。作者指出保留类库的代价是公共累加器状态和终端工作量随支持类数增长，并就将该构造用于 EIP-8288 聚合后端时的子类库合并问题，征求合并不变量、类库成本权衡、程序/ISA 身份与验证器类关联三方面的反馈。

arianaraghi 在 Ethereum Research 发帖介绍其论文，量化加密内存池中发送方控制揭示时机带来的内生期权价值，并提出 Blind Simultaneous Release（BSR）方案：发送方在窗口内提交签名承诺与哈希链掩码托管，正常时快速揭示，扣留时任何人可计算掩码强制开启，不一致则罚没押金 S。论文结论称托管截止日期前内生期权恰好为零，事后扣留无利可图；全部定理经 Lean 4 机器验证（107 条定理）。作者指出硬件速度差距 γ 是显式假设而非实测，并列出尚未分析的问题。

arXiv 预印本提出 SILMARILS-MV，一种面向 permissioned blockchains 的多验证者无条件安全签名方案，作者称其在腐化至多 ω 个验证者和任意签名者的无界对手下，诚实验证者接受伪造签名的概率至多为 Q/q + 1/(q-1)，且具备强不可伪造、不可否认、可跨无界跳数转移和线性聚合特性。密钥由验证者通过完美安全 MPC 在 t < n/3 条件下签发，无需广播；阈值公证下最终性证书恒为 32(ω+1) 字节，单次验证 2.4 微秒。作者在 1000 验证者的解析模型中估算每验证者每区块认证流量为 71 KiB，较 ML-DSA-44 少 22 倍；100 验证者的 Rust HotStuff 原型吞吐较 ML-DSA-44 高 2.8 倍、密码学 CPU 少 67 倍。该材料为预印本，未经过同行评审。

作者提出“DLT Terms 100”术语表，旨在提升区块链（分布式账本技术 DLT）素养，称 DLT 社会落地慢于预期，部分原因是工程师和具备相关素养的人才短缺，业务与技术术语的差异及既有金融术语的挪用造成理解障碍。该术语表以 ISO 22739:2024 为基础，按术语在国内外代表性文献中的出现频率和难度分级归类标注。材料为预印本，仅取得作者摘要与元数据，未读取论文全文，结果归因于作者。

一篇 arXiv 预印本（未经同行评审）提出 temporal liquidity markets（TLM）框架，作为 EIP-1559 的扩展：寻求区块早期位置的交易（消费者）可出资资助自愿放弃该区域的交易（provider），使 provider 得以在 base fee 下限之下被准入。作者称，将受资金约束、容量受限的 provider gas 排除在常规 EIP-1559 控制器输入之外，可让控制器按原目标调节普通需求，并在合成实验中提升总利用率；消费者支付的授权资金用于填补 provider 短缺，盈余被销毁。作者在含策略性发送者与构建者的对抗模型下证明了八项性质，包括验证者校验的规则有效性、base fee 全额销毁与无补贴。

cskiraly 在 Ethereum Research 发布 SEACAST（Segmented, Encoded, Availability-sampled broadCAST）广播协议提案，面向以太坊日益增大的执行载荷、数据可用性列以及未来的执行证明与后量子签名共识块。协议让节点收到分块即转发、用 Reed–Solomon 编码使任一足够分块即可重建，并把节点想要整块还是采样纳入协议本身。模拟显示：500 节点、16 连接下，全家庭节点网络中 99% 节点在 0.64 秒持有 1 MiB 载荷（gossipsub 为 4.5 秒、ECBroadcast 为 0.97 秒），字节量约为两者三分之一；上行从 50 降至 10 Mbps 时延迟保持在链路下界的 2.2 至 2.5 倍。规范以伪代码形式可直接在模拟器中运行，Quint/TLA+ 形式化模型发现十处投递、承诺处理与过期缺陷，v0.5 已修复八处，两处仍待解决；第四层规则目前仅在单个模拟器、最多 500 节点下验证。

ARK Invest 发布的 2026 年第三季度 DeFi 报告显示，股票代币化是当季链上交易活动回升的主要驱动力，代币化股票现货 DEX 交易量约 500 亿美元，达到上一季度的约 9 倍，占全部现货 DEX 交易量比例由约 1% 升至约 9%；整体 DEX 现货交易量环比增长约 13% 至 5710 亿美元，为近四个季度首次增长。报告还提到，Robinhood Chain 上线首个季度实现约 650 亿美元 DEX 交易量及 5100 万美元网络收入，ARK 预计近期 Gas 机制调整将使该链收入回落；稳定币总供应量环比下降约 3% 至 3090 亿美元，而永续合约 DEX 未平仓合约价值环比增长约 76% 至 240 亿美元、交易量却下降约 16%，其中 Hyperliquid 占比约 53%。

深潮 TechFlow 消息，据 Delphi Digital 报告《庄家总是赢家：为何投机是未来十年的主题》，将 Robinhood（HOOD）、Hyperliquid（HYPE）与 Lighter（LIT）列为布局投机主题的核心标的。报告认为投机受技术变革与宏观货币体系承压双重驱动，最有效策略是拥有赌场，即布局提供交易撮合与清算基础设施的平台，而非押注易波动的底层投机资产。报告称 Robinhood 具备打包分发事件合约、期权及加密货币的综合券商优势，Hyperliquid 凭借无需许可的链上永续合约和 HIP-3、HIP-4 等扩展协议演进为链上清算层并通过协议费用回购 HYPE，Lighter 则基于零知识证明构建订单簿并以免零售手续费及跨平台分发合作构筑壁垒。

CoinMetrics 用过去四年周度数据对 USDC、USDT 供应增长做回归分析，发现永续合约资金费率、竞品稳定币供应量、加密资产总市值和 2 年期美债收益率变动均统计显著，其中永续资金费率单独可解释两者 13.3% 的供应波动。拆解看，资金费率分别解释 USDC 约 10%、USDT 约 4% 的周度波动；加密市场上涨后 USDC 供应增速倾向放缓（解释 4.6%），USDT 则加快（解释 5.3%）。加入 Aave v3 存款利率减 3 个月国库券收益率的利差变量后，资金费率与利差合计可解释 USDC 周度供应增长 15.9% 的波动。作者指出所有模型最多只能解释不超过 25% 的供应变动，剩余部分来自发行方操作、激励、出入金通道和监管政策等因素。

Coin Metrics 研究（深潮 TechFlow 编译）用滞后一期的六大变量回归分析 USDC 与 USDT 周度供应变化，发现永续合约资金费率解释力最强，独立解释两者综合变动中 13.3% 的方差。分币种看，资金费率分别解释 USDC 约 10%、USDT 约 4% 的周度增长方差；加密市场总市值与 USDC 负相关（4.6%）、与 USDT 正相关（5.3%）。加入套息利差（Aave v3 存款 APY 减 3 个月美债收益率）后，其与资金费率合计解释 USDC 周度供应增长 15.9% 的方差，对 USDT 则无增量解释力。滞后模型对 USDC、USDT 的解释度分别为 13% 和 16%，总解释度均不超过 25%。

安全公司Blockaid发布报告称，今年1月5日至8月5日其追踪的60起加密攻击共损失11.8亿美元，仅980万美元返还受害者，占0.8%，另有8140万美元被冻结，10.4亿美元仍未追回。稳定币发行方黑名单和交易所拦截没有追回任何资金；16起事件中发行方黑名单可用但一次都未启用。已追回或冻结的9120万美元中99%来自协议或链层面的治理及验证者措施，例如Arbitrum安全委员会在KelpDAO事件后冻结7100万美元；被盗资金在攻击后开始转移的时间中位数为17分钟。

一篇arXiv预印本提出R-PBFT方法，将元宇宙系统中的计算卸载与更新准入决策分解为逐时隙卸载博弈和顺序准入控制，分别用恒等收益博弈与可行性过滤的DDQN求解。作者的数值结果显示，在测试的用户负载与随机种子上，该方法相对最强基线Minimum Secure的平均奖励提升最高达46.7%，在最高测试拜占庭上限下安全及时更新率提升62.3%。该材料为预印本，仅取得作者摘要与元数据，未读取论文全文，结果未经同行评审。

作者用随机偏积分微分方程（SPIDE）刻画 Uniswap V3 等集中流动性 AMM 中跨 tick 的头寸分布演化，将其约化为线性随机微分方程组，低阶模态对应分布的水平、斜率与曲率。在三个 Uniswap 池上的有限秩校准中，两个符合平稳设定的池在活跃区间预测误差低于鞅基准，第三个池的样本外诊断与非平稳一致，作者据此提出价格感知及时变扩展方向。当前材料仅为作者摘要，未读取全文。

作者提出 Cambium，一种许可制点对点承诺服务，由参与者共同构建每个周期的承诺根，避免单一主体决定根包含哪些输入。作者在 AWS 上用 Go 原型测试，委员会规模 c=4、8-256 个节点并模拟慢节点时，周期耗时 12-148 毫秒，验证证明耗时低于 1.5 毫秒，且呈对数增长。作者称，冲突证书可识别签名者，两个冲突根同时最终确定仅在至少三分之一节点为拜占庭时可能发生，例外概率随委员会数量指数级减小。材料为预印本，未经过同行评审，仅取得作者摘要与元数据。

一篇预印本研究提出一种无领导者共识协议，让客户端主动参与以保障自身交易及时纳入，并定义了“纳入安全”：客户端交易进入某个 epoch 产出的区块，且遗漏它的区块所属分叉最终被放弃。作者在涵盖同步与异步的广义模型中指出，客户端与副本的连通性可相互替代以实现纳入安全，但替代并不完美——依赖副本连通性时所需 epoch 更长。该材料为预印本，仅取得作者摘要与元数据，未读取全文，结果未经同行评审。

作者 Kumar 通过匹配节点 gossip 中广播的 feature bits 与 LND、Core Lightning、Eclair、LDK 各版本源码，从 2023 至 2026 年 814 份公开网络图日度快照中推断节点版本线；在 Core Lightning 公布版本的节点中，136 组节点-版本线配对有 132 组推断准确。结果显示升级节奏跟随发布与平台排期而非漏洞披露：LND 节点半数在版本发布后 88 天内升级，2025 年 6 月以来 17% 的 LND 升级发生在平台发版后 48 小时内，而这些窗口仅占总时长 4.4%；可检验的 12 次披露中仅 Core Lightning 2026 年 7 月的公告加快了升级。作者指出，对滞后节点有效的抓手是打包其版本的平台。材料为预印本，仅取得摘要与元数据，未读全文。

一篇 arXiv 预印本（未经过同行评审）将多主体、部分可观测的系统形式化为"事件世界"，并基于人类 Diplomacy 对局和真实 Polymarket 交易构建基准，检验 LLM 能否依据事件日志与智能体拟采取的动作预测后续观测。作者称，在提供所有参与者已记录动作时，微调和更多数据可改善预测；若只提供智能体自身动作、而其他参与者对结果影响较强，模型表现不佳，且扩大模型规模、延长历史帮助有限，多步推演中还会高估计划成功率。作者同时指出，由世界模型生成的想象经验与初始化仍能改善策略学习，预判其他参与者动作仍是事件世界建模的核心难题。

Khodaiemehr、Bagheri 与 Feng 的预印本提出 PQ-Vault，一套面向未改造以太坊的量子安全资产托管系统，包含仅依赖量子安全原语的金库、携带紧凑证书的量子安全 PoS 侧链及乐观争议协议。作者给出紧凑证书抗量子攻击的首个安全证明与对应攻击：按经典参数选取时安全保证从 128 位降至约 60 位，一条简单规则可恢复。针对 65,536 个验证者，单个证书约 0.8 MB，比全部签名小 260 倍，验证约 20 ms，金库接受一个检查点约消耗 420,000 gas。该材料为 arXiv 预印本，尚未经过同行评审，仅取得作者摘要与元数据。

Bitcoin.com News 报道，Dragos Ilie 与帝国理工学院伦敦团队提出 Compact Shielded 客户端验证（CSV）协议，移除链上签名，改用名为 degriefer 的哈希结构，使单输入交易链上数据压缩至 3 个 32 字节哈希共 96 字节。因构造零知识证明需持有者私钥，恶意中继和抢跑者无法生成有效证明；存储与验证转移至用户设备，Ilie 称手机上验证 STARK 证明耗时不到 100 毫秒，且交易费用和网络拥堵低于现有传统链。

据Bitwise最新发布的质押报告，截至三季度末，以太坊质押量达4380万枚ETH，创历史新高，占总供应量的35.90%；当季净流入质押199万枚ETH，为连续第六个季度净流入。同期以太坊质押毛收益率由前一季度的2.81%降至2.63%，活跃验证者数量由约110万降至88.1万，Bitwise将其归因于Pectra升级后节点运营商合并验证者。

Coinbase 与 The Block Pro Research 联合发布报告《The Always-On Dollar》称，今年第三季度稳定币原生转账交易平均每小时超过 4 亿美元；截至 7 月 31 日的 12 个月内，约 73% 的受监测稳定币转账发生在美国银行营业时间之外。报告称调整后的季度稳定币转移量自 2023 年初已增长 4 倍，第三季度达 8910 亿美元，按当前增速预计 2027 年底可达 1.5 万亿美元；通过 Base 网络用 USDC 发送 200 美元汇款，费用比传统渠道节省约 86%。

PANews 10月20日消息，世界黄金协会发布《数字黄金市场机遇报告》，称当前数字黄金市场规模为450亿至550亿美元，仅占约13万亿美元实体黄金市场的不到1%。报告五年期基准情景预测，数字黄金市场将以约27%的年均增速增长，到2031年达到1600亿至1700亿美元。报告还指出，代币化黄金在2026年第一季度的累计现货交易量达900亿美元，已超过2025年全年交易量。

Aave分享的花旗最新研究认为，将Aave仅视为加密原生借贷协议已不够完整，Aave V4、Horizon和GHO等产品正推动其向去中心化抵押品流转基础设施发展。报告指出，代币化解决资产如何上链的问题，而Aave等协议可进一步支持这些资产的抵押、融资及流动性配置，抵押品流转或成为代币化最重要的应用场景之一。

国际清算银行（BIS）发布第1385号工作论文，比较传统银行、金融科技汇款商与稳定币的跨境支付成本。论文指出，稳定币可通过以太坊、Solana和Tron等网络完成跨境转账，减少对代理行和SWIFT的依赖，主要货币的汇兑价格可接近批发外汇汇率；但法币到稳定币再回到法币的完整流程仍涉及交易、提现及出入金费用，稳定币重构了中介环节而未消除中介，市场深度不足也限制了大额支付的成本优势，部分新兴市场的优势与资本管制及美元需求有关。

ChainCatcher 消息，White Whale Labs 发布研究《The Audit Of The Memecoin Casino》，称自 8 月下旬起记录 Solana 上全部 Pump.fun 与 Stonk 新币交易，覆盖超 100 万个资金池、770 万个钱包的 3.84 亿笔兑换。研究称，由 450 至 2000 个钱包组成的集群常在上线后一两分钟集中买入，其入场在下跌 40% 前翻倍的比例为 50% 至 60%，高于其他钱包的 17%。复制交易测试显示，落后大集群两分钟入场的 93 个币单币亏损 41%，中位数下跌 95%；神经网络虽将翻倍比例从约 10% 提升至 26%，但 8 天 771 次挑选每日为负。White Whale Labs 称花费数千美元 API、VPS 与模型费用后未找到可货币化优势，并认为迷因币交易几乎完全由集群钱包驱动。

AICFDPRO 宣布发布一份新分析报告，审视人工智能在加密货币交易中的机遇、实际应用与局限。报告指出，AI 可用于分析市场数据、自动化交易流程、监控投资者情绪并辅助风险管理，但算法仍依赖数据质量与模型假设，AICFDPRO 代表 Leon Barnes 称有效实施需要持续评估、现实测试并清楚了解风险。报告还提示过拟合、数据泄漏、交易成本等因素可能削弱回测表现，建议评估净表现并保留独立风控与人工监督。

Payoneer 在 Money20/20 发布研究报告《Stablecoin Steps Up》，调研于 2026 年 9 月开展，覆盖 265 位年收入 1 亿美元以上的美国市场平台与企业高管。报告显示，69% 受访者将稳定币用于运营，其中 41% 已达规模化，82% 预计三年内其将成为财务基础设施的一部分；50% 使用或试点中的机构报告结算加快，90% 规模化使用者认为收益值得投入，主要障碍包括系统集成、对账与监管合规。

深潮 TechFlow 消息，10 月 19 日，以太坊研究论坛研究者 Pierre 提出一种更快、可聚合且抗量子的隐私池方案，将类 Tornado Cash 隐私池移植到哈希型 SNARK 系统 Flock 上并采用 SHA-256，用小型单次压缩电路替代大型电路。在默克尔树深度为 32 时，证明时间由约 0.81 秒降至约 28.6 毫秒；方案支持递归聚合，可将多笔提款合并为单一证明，最终大小固定在约 343.9 KiB，验证时间约 46 至 64 毫秒。此外还提出量子可恢复性协议，钱包从种子确定性派生 Note Secrets，若未来冻结资金池，用户仍可通过后量子验证器安全提款。

Pierre 与 @winderica 在 Ethereum Research 发布研究提案，把 Tornado Cash 移植到后量子二元域 SNARK Flock，深度 32 的提款证明基于 SHA-256 在 30 ms 内完成，并提出借鉴 ZIP 2005 的恢复协议，让钱包从种子派生 note 秘密，使现有资金池在离散对数被攻破后仍可提款。作者将 34 次 SHA-256 压缩拆成单一小电路复用，深度 32 时证明生成比整体电路快 28 倍（0.81 秒降至 28.6 毫秒）；递归聚合下用户端单笔提款证明 19.5 毫秒、203.6 KiB，聚合器折叠 128 笔需 87.6 秒，最终证明大小与验证时间不随笔数变化。恢复协议假设冻结发生在离散对数被攻破之前，不可升级的资金池需通过治理或社会层迁移资金。