什么是零知识虚拟机（zkVM）？

Aptos 上线可选主网功能 Confidential APT：用户将公开 APT 存入协议池并注册加密密钥后，余额与转账金额加密存储，验证者借助 Sigma 与 Bulletproof 零知识证明在不读取金额的前提下校验状态转移，取出时转回公开 APT；地址与出入金金额仍可见，配套密钥管理、审计员配置与治理控制，构成加密记账层而非独立隐私代币。

Trail of Bits 介绍了在 Miden zkVM 审计中如何用 agent 构建工具链和 Lean 形式化模型，发现一个可伪造 Falcon 签名的缺陷，并产出 95 个机器验证的证明。

Trail of Bits 发现并利用了 Google Rust 零知识证明代码中的内存安全和逻辑漏洞，伪造了一个声称量子电路性能指标优于 Google 原始结果的证明，展示了 zkVM 系统中独特的安全风险。

Trail of Bits 开发了 Reverie——一个优化证明者效率、无需可信设置的零知识证明系统，以更大的证明体积换取速度，证明可跨网络流式传输并增量验证。

作者总结 IACR Crypto 2019 会议要点：OCB2 认证加密被攻破、ECDSA 随机数重用与偏置攻击、自动化发现 TLS 填充预言机攻击、高效零知识证明、元数据隐私消息签名以及后量子密码进展，强调基础密码原语实现不当会让整个系统沦陷。

RISC Zero zkVM 漏洞剖析：rv32im 电路缺失一项约束，恶意证明者可对 remu、divu 等三寄存器 RISC-V 指令伪造执行结果，影响 risc0-zkvm 2.0.x 版本。