OpenZeppelin 发布 Miden 标准库 diff 审计报告，发现 65 个问题含 2 个严重漏洞

内容摘要

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