OpenVM 是一个为定制性和可扩展性而设计的高性能、模块化 zkVM(零知识虚拟机)框架。在 1.x 系列的 1.7.0 之前版本,以及受影响的 2.0 和 2.1 预发布版本中, 未禁止在 等于 0 或更低且 不等于 0 的情况下进行 Merkle 扩展行操作。恶意证明者可构造位于内存叶节点下方的子树,并交换该子树内的摘要(digests),从而在无需对应内存操作的情况下篡改已承诺的内存根哈希。这些欺诈性行仍能与 Merkle 总线和压缩总线保持平衡,且对已更改的叶节点无需执行任何内存总线操作。由于内存 Mer
Although we use advanced large model technology, its output may still contain inaccurate or outdated information.Shenlong tries to ensure data accuracy, but please verify and judge based on the actual situation.
| Vendor | Product | Affected Versions | CPE | Subscribe |
|---|---|---|---|---|
| openvm-org | openvm | < 1.7.0 | - |
|
| # | POC Description | Source Link | Shenlong Link |
|---|
No public POC found.
Login to generate AI POC| CVE-2026-62334 | 8.7 HIGH | OpenVM's OpenVmHalo2Verifier self-call can bypass proof verification |
| CVE-2026-62335 | 6.9 MEDIUM | OpenVM's OpenVmHalo2Verifier accepts non-canonical app commitments |