OpenVM 是一个专为定制和扩展而构建的高性能、模块化 zkVM 框架。在 1.x 系列的 1.7.0 版本之前,以及受影响的 2.0 和 2.1 预发布版本中, 函数会从用户可控的 构造原始证明调用数据(calldata),随后对 执行 ,并将调用成功视为证明验证通过。如果证明数据的前四个字节与包装器暴露的另一个外部函数选择器(selector)匹配,分发逻辑可能会调用一个非验证器函数而非生成的 Halo2 回退验证器。因此,使用生成的 Solidity 包装器的应用可能会在未检查证明后缀、累加器、应用承诺或公
尽管我们使用了先进的大模型技术,但其输出仍可能包含不准确或过时的信息。神龙努力确保数据的准确性,但请您根据实际情况进行核实和判断。
| 厂商 | 产品 | 影响版本 | CPE | 订阅 |
|---|---|---|---|---|
| openvm-org | openvm | < 1.7.0 | - |
|
| # | POC 描述 | 源链接 | 神龙链接 |
|---|
未找到公开 POC。
登录以生成 AI POC| CVE-2026-62333 | 8.7 HIGH | OpenVM MemoryMerkleAir 内存根篡改漏洞 |
| CVE-2026-62335 | 6.9 MEDIUM | OpenVM OpenVmHalo2Verifier 非规范应用承诺漏洞 |