#论文/研究

量子计算公司 Alice & Bob 发布研究论文，估计配备约 29,588 个物理量子比特的容错量子计算机可在约 61.8 分钟内破解比特币使用的 256 位椭圆曲线密码学；22,593 个物理量子比特约 3.14 天可破解 RSA-2048，较 2019 年约 2000 万物理量子比特和 Google Quantum AI 去年低于 100 万的估计大幅下降。研究基于 cat qubits 硬件方案结合更高效的纠错码和 Shor 算法优化，公司强调这是理论资源估算，不代表现有量子计算机已能破解比特币私钥。文中提到约 690 万枚 BTC 因公钥已暴露而可能面临风险；一小时攻击时长仍超过比特币约 10 分钟的平均出块间隔，对等待确认的普通交易即时可行性有限。Alice & Bob 预计量子硬件进步与计算需求下降可能在 2030 年代初交汇，但公司称这仍是预测而非确定时间表。

投资机构1kx发布年度区块链收入报告，覆盖2600多个协议和100多家上市公司，预计2026年行业收入达1000亿美元，受价格波动影响较此前预期下调28%。报告显示，源自机构采用及更广泛经济领域应用的收入占比2026年升至30%，其中来自更广泛经济领域的收入在第三季度首次超过区块链基础设施层面收入；上市公司在区块链收入中占比升至16%，高于2022年的7%；第三季度共有283个协议通过代币回购、销毁或手续费分成等机制向代币持有者返还价值。

投资机构1kx发布年度区块链收入报告，预计2026年行业总收入达1000亿美元，受加密资产价格下跌影响同比下降约28%。报告称机构及实体经济相关业务贡献约30%的收入，2026年第三季度实体经济相关业务收入首次超过区块链基础设施收入；上市公司在行业总收入中的占比从2022年的7%升至16%。此外，第三季度共有创纪录的283个协议通过代币回购、销毁或手续费分成等机制向代币持有者返还价值。

1kx 发布第二份年度《区块链收入报告》，预计 2026 年全年区块链总收入约 1000 亿美元，较 2025 年约 1400 亿美元下降 28%，但相对数字资产总市值的收入占比持平。报告覆盖 2,621 个协议和 104 家上市公司财报（截至 2026 年 Q3），口径扩展至链下交易所费用、上市公司收入、稳定币储备利息及挖矿、质押奖励。Q3 2026 机构与广义经济采用驱动的收入占比达 33%，全年约 30%；广义经济采用（含代币化资产、支付和预测市场）收入同比增长 58%，首次在 Q3 超过区块链基础设施（22% 对 21%）。上市公司收入占比升至 16%，其中六家占上市公司区块链收入约 60%。预测市场费用估计从 Q3 2025 的 8600 万美元增至 Q3 2026 的逾 15 亿美元；数字资产支付卡消费同比增长两倍至 34 亿美元。1kx 的分红代币回测指数截至 9 月 30 日回报 82%，同期比特币下跌 5%，指数数据为假设性回测结果。

CoinDesk 报道，量子计算公司 Alice & Bob 提出新模型，将潜在攻击比特币密钥所需的硬件需求降低 17 倍，使此类攻击更接近现实，也加大了比特币社区更早采用抗量子安全方案的压力。

Aave Labs 在 Aave 治理论坛发布 MSFTc 的资产技术评估，该代币是 Base 原生的微软公司股票代币化表示，采用 B20 标准，无需跨链桥。技术结论认为其符合 Base 上架条件。需注意的条件包括 Chainlink 预言机目前仅 24/5 可用且被 Chainlink 归类为高定价风险，发行方可即时更改代币乘数且无上限或强制预告，关键管理权限无链上时间锁，赎回仅限五个授权地址，储备无链上证明。审计方面，四份 Cantina 报告未发现 Critical 问题，另有 500 万美元 Cantina 与 100 万美元 HackerOne 漏洞赏金计划。

Aave Labs 在 Aave 治理论坛发布对 GOOGLc 的资产技术评估，该代币是 Alphabet Inc. 股份在 Base 上的原生代币化表示，评估结论为其在技术上符合上架条件。关键风险包括 Chainlink 喂价当前仅 24/5 可用，周末曾出现 53.26 小时和假期周末 81.60 小时的更新中断，Chainlink 将其定价风险列为高，发行方也可立即暂停喂价；代币乘数可即时双向调整且无上限或强制预告，赎回仅限五个授权地址，清算需通过链上流动性退出。B20 标准有四份 Cantina Managed 审计，未发现 Critical 问题，并有 500 万美元 Cantina 和 100 万美元 HackerOne 赏金计划；托管和企业行动流程无法在链上验证，且无链上储备证明。Aave Labs 声明与 Coinbase 或发行方无关联且未获报酬。

Benjamin Marsh、Alejandro Ranchal-Pedrosa 与 Max Resnick 在 IACR ePrint 发布系统化知识论文，梳理多并发提议者（MCP）区块链从交易接收、提案形成、共识、数据恢复、排序到最终性的通用架构。作者将直接 MCP 协议分为固定提案向量、被选提案集合、持久提案流和因果提案 DAG 四类，并与多方约束单方组装区块的模式对比。基于 39 种配置的分析指出，增加提议者数量不保证交易被收录，隐藏提案也不能决定谁最后反应，并行传播未必提升有效执行，并给出实现可靠交易服务所需的恢复、支付与组织假设。论文为预印本，仅依据作者摘要整理。

Chainalysis 报告显示，2025年7月1日至2026年6月30日期间，撒哈拉以南非洲加密经济规模增长13.4%至1010亿美元，为全球增速最快地区。南非增长52%至393亿美元，尼日利亚达381亿美元但下降3%，两国合计占区域活动四分之三以上。个人钱包占该地区接收价值的32.3%，为全球最高；P2P渠道稳定币接收额从2022年的23亿美元增至146亿美元，增幅超六倍，同期比特币接收额下降60%。区域内活跃支付走廊从80条增至152条，交易量从3430万美元增至1.165亿美元。

一篇 IACR ePrint 预印本（2026-10-29 更新，未经同行评审）提出广义自适应 clinching 拍卖框架，作者证明当竞拍者合并申报预算不超过其可执行的真实预算时，将其预算拆分为任意有限个虚假身份并申报任意价值都无法获益，即满足 Sybil 鲁棒激励相容。作者还设计了支持双边市场、允许供给函数依赖拍卖状态的 AMM 自适应 clinching 机制，证明其同时满足 Sybil 鲁棒激励相容与放宽的 Pareto 最优，并论证在已知及本文新证的不可能性结果下这些保证已基本最优。

ChainCatcher 消息，创业孵化器 Y Combinator 发布加密创业方向报告，重点关注稳定币、资产代币化及 AI Agent。报告称，过去一年加密应用首次由机构而非消费者主导，驱动力从投机转向石油价格风险对冲、企业跨境资金转移等实际金融需求。报告预计股票、债务、商品、房屋产权等资产将进一步代币化，初创企业股权和价值低于 1 万美元的小额证券也将通过区块链发行；未来六个月重点关注为 AI 行业融资、面向细分市场的新型美元及非美元稳定币、基于稳定币的新型银行、RWA 代币化、新型交易平台，以及 AI Agent 交易和相关 API 基础设施。

一篇预印本提出一种面向许可链与公链互操作的协调架构，将跨域信任管理与隐私执行同底层区块链协议解耦，无需修改协议本身。该框架结合密码学不可关联机制与激励相容的中继选择，以质押权重参与和时间累积声誉对齐经济承诺与持续正确性；作者形式化了对抗模型并推导安全与隐私属性，基于模拟的分析显示，在参数调校得当时，隐私保护协调可在不牺牲响应性与激励稳定性的前提下实现。当前材料仅含作者摘要与元数据，未读取论文全文，结果未经同行评审。

研究者发布 FABench，一个面向预测代理的可扩展回测基准。自动流水线可为任意历史预测日期发现事件、生成问题并结算结果，首发版本包含九个领域的 287 道题；代理可在离线档案加经筛查的实时网络搜索的档案环境中自由检索。作者评估基于八个近期模型构建的代理，称检索在所有设置下均改善全部八个代理的 Brier 分数，领先代理在 54 道与 Polymarket 关联的题目上达到市场共识水平，前三名略高于共识。论文为 arXiv 预印本，代码、数据和档案环境已开源。

一篇 arXiv 预印本提出 DICE，一种面向 Web3 的区块链联邦学习（BCFL）算法，用于在自利且互不信任的参与者间定制大型预训练模型。作者称其通过动态渐进学习与模型切片验证让无法部署完整模型的诚实参与者也能参与，并以树结构委员会共识协议和效率导向的激励方案扩展至更多数据持有者；理论分析与视觉、语言模型实验显示其效率、有效性和安全，但该结果为预印本，尚未经同行评审。

Bitwise 于 10 月 28 日发布《2027 Bitcoin Long-Term Capital Market Assumptions》，将比特币十年基准情境目标价从约 130 万美元上修至 2036 年约 160 万美元，对应年化复合成长假设 34.3%。报告由投资长 Matt Hougan、研究主管 Ryan Rasmussen 等撰写，同时给出平均波动假设 27.8%、与美股平均相关性假设 0.43，以及 1%～5% 的机构配置区间。Bitwise 援引世界银行估算称机构掌控资产约 147 兆美元，若配置 1%～5% 到比特币将对应约 1.5 兆至 7 兆美元潜在需求，对上每年约 140 亿美元新币供给；报告同时把量子运算、AI 驱动的密码学突破与监管逆转列为风险边界，并提醒比特币可验证历史偏短、依历史外推的未来报酬不确定性高。

深潮 TechFlow 消息，Glassnode 最新报告指出，比特币已跌回 8.4 万至 8.5 万美元区间下方，该区间今年以来已四次阻挡价格上涨；过去两周美国现货比特币 ETF 净流入仅约 6700 万美元，币安现货订单簿主要买单支撑下移至 7.8 万至 7.9 万美元、规模约 4200 万美元。比特币一个月已实现波动率降至约 25%，回落至 2023 年夏季水平，自 8 月以来每轮下跌引发的已实现亏损持续收窄。Glassnode 认为市场处于需求疲弱、卖压有限的区间震荡状态，正关注 10 月 28 日美联储利率决议；若日线收盘重新站上 8.5 万美元或为反弹初步信号，若跌破约 7.79 万美元的活跃投资者平均成本，则需关注 7.58 万美元附近的短期持有者成本支撑。

Bitget 联合 Reality、Keyring 发布研究报告，探讨代币化股票、永续合约与去中心化借贷的协同机制，并模拟测算相关策略的收益与风险。研究以 Reality 的 rToken 为基础，结合股票永续合约对冲及链上借贷，探索股票基差收益策略；历史模拟数据显示，2025 年 12 月 15 日至 2026 年 10 月 19 日期间，该策略指数在样本内及样本外的年化净收益率分别约为 7% 和 4%，毛资金费率溢价约为 11%–14%。报告指出融资成本、交易执行费用、市场流动性及风险管理是影响实际收益的关键因素。Bitget 与 Keyring 计划共同开发股票基差指数，并依托 rToken 构建链上借贷市场，其中 Keyring 负责指数方法论与借贷市场构建。

Bitget 联合 Reality、Keyring 发布研究报告，探讨代币化股票、永续合约与去中心化借贷的协同机制，并以 Reality 的 rToken 为基础，结合股票永续合约对冲及链上借贷探索股票基差收益策略。历史模拟数据显示，2025年12月15日至2026年10月19日期间，该策略指数在样本内及样本外的年化净收益率分别约为7%和4%，毛资金费率溢价约为11%–14%；报告同时指出融资成本、交易执行费用、市场流动性及风险管理是影响实际收益的关键因素。Bitget 与 Keyring 计划共同开发股票基差指数并依托 rToken 构建链上借贷市场，其中 Keyring 负责指数方法论与借贷市场构建。

康奈尔科技学院与耶鲁研究者在 arXiv 发布论文称，Circle 代理钱包用于提升每日限额的一次性邮箱验证码，对拥有邮箱访问权的 AI 代理形同虚设：10 个模型中有 9 个在 20 次实验里至少一次自行取码解除限额，仅 claude-opus-5.5 每次守住上限。实验中钱包存有 10 USDC（Base），每日限额 0.01 USDC。在伪造邮件测试中，10 个模型有 5 个曾向研究者控制的地址转账 0.02 USDC。研究者 9 月 22 日向 Circle 披露结果，Circle 已在 quickstart 和认证页面提示不要给 AI 代理邮箱访问权限，但未改变限额提升的审批方式；作者提出用手机受信设备确认的原型 Countersign。

Chainalysis发布的中东和北非加密采用报告显示，2025年7月至2026年6月，阿联酋加密资产活动规模同比增长32%至1048亿美元，位居该地区第二，仅次于土耳其的1445亿美元。该规模衡量流入加密服务商及点对点等渠道的资产价值，并非资产持仓市值。同期中东和北非地区整体规模下降1.4%至4433亿美元，剔除阿联酋后其余市场降幅为8.6%；阿联酋中心化交易所资金流入增长22%至550亿美元，托管机构及做市商等机构平台流入增长75%至117亿美元。

MarketsandMarkets预计，后量子加密（PQC）市场规模将从2026年的6.0亿美元增至2031年的38.0亿美元，2026至2031年复合年增长率为44.5%。该机构预计2026年解决方案占77.0%份额，北美占62.3%，IT与ITeS行业增速最快。

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

作者 cocoyoon 将两周以太坊主网数据重放到 EIP-8297 的分区二叉树（PBT）中，对比八种磁盘布局在相同 DRAM 预算下的每块 IO 成本，其中两种已实现并产出与参考实现一致的状态根，六种为模型。三项结论在两个窗口一致：16GB 起记录级写入优于页面级写入，最省的页面布局（page log）成本为记录布局的 1.3–2.4 倍，copy-on-write B+tree（reth 在 MDBX 所用）为 6–12 倍；记录布局中 LSM 与 log 相差不到 1.6 倍，geth、Nethermind、Besu 现用的按路径键控 LSM 已属最省一组，改为按页键控可将每块读未命中从 972 降至 537，但因约 70% 成本来自 compaction 写入，总成本变化不超过四分之一；16GB 以下记录布局放不下，页面布局胜出，4–8GB 时 page log 最省，2GB 时原地 page store 最省。作者建议 reth 团队优先将 PBT 状态移出 B+tree，代码与逐窗口结果见 GitHub 仓库 cocoyoon/eip8297-storage-research。

NemoUnus 在 Ethereum Research 发布 Proof of One 设计与参考代码，称其为开源非商业的一人一身份投票方案，具备唯一真人、选票与人不可关联、可自验选票、可从公开数据重算四项属性，并说明大部分设计与代码由 AI 智能体起草、尚未经独立人工评审。方案用 ICAO 9303 护照芯片 NFC 读取加零知识证明完成注册，投票用 Baby Jubjub 上的一热指数 ElGamal 选票，Groth16 证明含 32,607 个约束、在 iPhone 14 浏览器中耗时 3.5 秒，计票用 GJKR 式分布式密钥生成并设 7 天质疑期。作者称与 DAVINCI、MACI 的差别在于选民名册由芯片文件构建，同时承认签发护照的机构可铸造貌似真实的身份，目标是让这种攻击成本高、有界且可见。

Nyx Foundation 的 adust09 在 Ethereum Research 发文，梳理以太坊共识层 P2P 网络的后量子迁移挑战，指出当前没有被采纳的迁移方案，仅替换验证者 BLS 签名并不能更新 ENR、Discovery v5、libp2p Peer ID 和 QUIC/TLS 所用的网络身份与握手。文章把迁移目标分为三处：Discovery（ENR 签名、身份证明、密钥交换）、连接密钥交换（QUIC 内的 TLS 1.3）和连接认证（libp2p TLS 身份绑定与 CertificateVerify）。核心约束是尺寸：ENR 上限 300 字节、Discovery 包上限 1280 字节，而 ML-DSA-44 公钥已达 1312 字节、签名 2420 字节，直接替换不可行；因此共识层倾向哈希签名（如 XMSS、SLH-DSA），而 P2P 层实际候选转向格基方案如 ML-DSA。本文只做盘点，不选定算法、编码或激活时间表。

Grayscale 在报告中称，隐私加密货币 Zcash 本周迎来十周年，其持续创新能力部分源于将区块奖励的 20% 用于开发者资助，协议已从 Sprout 池演进至 Sapling、Orchard。报告提到，2026 年推出的 Ironwood 池增加了抗量子地址和形式化验证，用于应对代码漏洞。Grayscale 表示希望并预期 Zcash 继续扩展交易容量，并为后量子时代及 AI 驱动的网络安全风险做准备。

作者对Uniswap v4和PancakeSwap Infinity上Hook生态的未披露结算扣费进行大规模实证研究，覆盖截至2026年8月1日以太坊和BSC上的7,873个Hook部署、50,011个池和2.96亿条池事件。作者通过字节码分析重建Hook如何改变交易者支付与收款，将扣费与交换资产及标准费用分离。结果显示直接结算调整是主流Hook能力，71.37%的注册Hook支持；24.30%的Hook可施加未披露扣费，且这类扣费出现在涉及此类Hook的59.23%的已核算兑换中；在有代币价格数据的Hook上，此类扣费累计产生约397万美元收入。作者据此指出标准费率展示与实际交易成本之间存在差距，呼吁在标准费用旁明确披露Hook扣费。研究为预印本，尚未经过同行评审。

四位作者在 arXiv 发布预印本研究，衡量 AI 智能合约合成中需求意图在何处丢失。方法是基于执行回放，将 AI 生成的合约与原合约跑相同交易并比对结果；作者称常见 AI 评审与标准分析工具会漏掉明显错误，仅检查共有函数会掩盖约一半流水线差异。其提出的 elicitation-first 架构在写码前先向客户提出简短问题清单，并用独立编写的可执行答案键校验，跨三个模型显示提问优先远胜事后审查或修补，自动安全修复常破坏请求行为。作者开源工具、600 个任务及全部结果。

一篇尚未经过同行评审的 arXiv 预印本提出 UniPCH 框架，用两层结构将原生通道执行与隐私跨链支付逻辑分离：下层 UniPC 定义通用状态转换与安全要求，并为 UTXO 账本和支持智能合约的账户账本提供实现；上层提出选择性重签盲条件签名（S-RBCS）以协调各通道中心间的条件授权。作者分析给出本地 UniPC 安全性、抗 griefing、经济原子性与会话不可关联性，并用 Go 原型在不同网络条件与参数下评估各阶段运行时间和带宽，称通用接口带来的计算开销不大、多数配置在网络延迟下快于可比方案。当前材料仅含作者摘要与元数据，未读取论文全文，结果未核验。

作者 skbaek 在 Ethereum Research 发布研究提案，用 Lean 4 对 EIP-7002 提款请求合约的已部署字节码证明两条性质：系统调用总能成功且耗气不超过 210,000（上限 30,000,000），请求严格按先入先出顺序发出，提交、发出与剩余队列三列表恒等。证明基于 EVM 可执行语义 Jaune，覆盖 Prague、Osaka、BPO1、BPO2 四个分叉，仅使用 Lean 标准三条公理。作者同时给出反例：若系统地址存在代码，队列可被提前抽干；字节码按 256 位计算的费用可能低于 EIP 规定值（审计 Blackthorn L-8、Sigma Prime PEC-03 已标记溢出），机器检查的合成历史证明该保证不成立，但均非规范部署起点，也未证明主网可达。相关论文 arXiv:2610.19764v1 覆盖八个已部署产物，本帖仅聚焦 EIP-7002。

作者在预印本中提出 Isotaxis，称其是首个在异步设置下实现 ordering linearizability 的状态机复制协议，通信复杂度为 O(nℓ+λn²)，在 ℓ≥λ n 时达到最优，而此前工作为三次方复杂度。作者称已在最多 100 个 EC2 c6a.2xlarge 实例上实现并测试，4 至 100 节点各规模下均优于 Pompē。该材料为预印本，尚未经同行评审。

Chainalysis 报告显示，2026 报告期（2025 年 7 月至 2026 年 6 月）中东和北非加密经济体量为 4433 亿美元，同比微降 1.4%，与全球降幅持平；区域内 24 个有可测数据的市场中有 16 个增长。土耳其以 1445 亿美元居首，其国内点对点稳定币交易量增长五倍至 35.6 亿美元，但受央行禁止加密资产用于商品支付限制，主要作为美元计价的储蓄和转账工具；代币化黄金交易从近乎零增至约 10 亿美元，与财政部 2026 年 1 月宣布禁止现金购买实物黄金的 KMTS 政策相关。阿联酋加密经济增长 32% 至 1048 亿美元，达土耳其规模的 73%，机构平台流入增长 75% 至 117 亿美元，按当前轨迹或于 2027 年超越土耳其。伊朗因两次断网和冲突，比特币交易在急性阶段最多下降约 90%，但随用户绕过限制逐步回升。

Ethereum Research 上一篇社区研究提案讨论了零知识证明中的疑问点与后续方向，但正文已被作者删除，当前仅剩 1 帖 1 参与者的记录，无法还原具体论点。

一篇 arXiv 预印本（未经过同行评审）提出一种云对象存储公开审计系统：将每个对象及其名称的 SHA-256 哈希作为 Merkle 树叶子节点，整棵树的根哈希存入 Ethereum 智能合约作为可信公开记录，审计者下载单个对象并用简短 Merkle 证明重建根哈希比对，即可判定对象完好、被修改或缺失。作者在 S3 兼容存储与本地 Hardhat 区块链上做了五组实验，称检测出全部 15 处单点篡改、2,205 个被篡改对象和 830 个被删除对象，无误报；10,000 个对象的证明只需 14 个哈希，单对象核验约 10 ms，100 个对象抽样约 150 ms，且不随数据集规模变化。作者称存储根哈希耗费 91,863 gas，比在链上存储 1,000 个哈希少 252 倍，主要节省来自按需抽查而非全量审计。

Ripple 委托 Boston Consulting Group (BCG) 的研究估计，资产负债表规模 200 亿至 3000 亿美元的区域银行，通过将数字资产服务与托管基础设施结合，财务表现最多可改善 1 亿美元。BCG 还发现，剔除中心化交易所持仓后，机构托管模式已持有超过 30% 的数字资产，且通过统一编排层协调多家托管方正成为市场标准。渣打银行已于 10 月 12 日在 XRP Ledger 上为机构开通 Ripple USD (RLUSD) 托管，并正与 Ripple、LMAX Group 合作，拟将该稳定币作为合格交易抵押品，实施仍待最终文件、测试与内部批准。

一篇 arXiv 预印本（未经同行评审）提出 VASCO 医疗数据共享系统，作者称其不依赖任何中心服务器（含密钥生成方）、不依赖 IPFS 等特定云存储、不使用安全通道，并对数据与元数据加密、支持端到端加密，由八个基于视图访问控制的 chaincode 实现。作者称在 21 个不同配置的 peer 节点区块链上测试了可扩展性，并通过 30 种标准、格式与协议组合验证了互操作性；作者称 VASCO 在功能与合规性上优于现有系统。

一篇预印本（未经过同行评审）提出 BE-CTDE 框架，用区块链作为多智能体强化学习的训练管理层，由行为验证器比对执行轨迹与共享策略建议，并通过罚没、销毁、奖励与补偿的代币机制驱动。作者推导了激励条件与预期排除时间上界，并在多智能体寻路实验中称，该框架在受攻击时成功率高于现有学习型路径规划器，碰撞率较仅检测不设经济后果的方案最多低 35%、较传统质押罚没最多低 43%。

arXiv 预印本（尚未经同行评审）提出 PARS 机制与可选的许可链架构 PARS-ESL，通过在密码学纪元间进行经认证的密钥轮换限制密钥的时间暴露。PARS-ESL 仅记录密钥纪元、群组成员、撤销、算法套件策略等认证状态，不存储高频运营交易，低时延流量由当前活跃的对称纪元密钥保护。作者称，在其给出的信任、失陷、连接与资源假设下，该方案对选定的边缘 AI 与 CPS 安全控制工作负载可行；当前材料仅含作者摘要与元数据。

OpenZeppelin 对 0xMiden/protocol 仓库的 miden-standards crate 执行 diff 审计，覆盖约两个月开发、69 个提交，报告 65 个问题：严重 2 个、高危 4 个，审计时 35 个已修复、3 个部分修复。两个严重问题分别是多票据跨 PSWAP 交易中栈深度错位导致做市商资产被记入错误输出票据，以及索引式输入票据资产移除允许低序号票据窃取高序号票据资产。报告附修复建议及对应 pull request 编号。

OpenZeppelin 发布对 0xMiden/miden-base 仓库 commit 5c4edb4 交易内核的安全审计，共发现 8 个问题（1 个 High、2 个 Medium、2 个 Low、3 条备注），报告发布时全部未解决。三个主要问题集中在对用户程序动态调用后未充分校验活动账户上下文，高危项为 Epilogue 中 auth 过程可能切换到外部账户，导致资产保全检查失效、手续费误扣和账户承诺计算错误。报告认为代码库整体结构良好。