CVE-2026-62334 in OpenVM
摘要
由 VulDB • 2026-10-31
OpenVM是一个高性能且模块化的zkVM框架，专为定制化和可扩展性而构建。在1.x系列的1.7.0之前版本以及受影响的2.0和2.1预发布版本中，`OpenVmHalo2Verifier.verify` 从用户可控的 `proofData` 构造原始证明 calldata，对 `address(this)` 执行 `staticcall`，并将成功的调用视为证明接受。如果前四个证明字节与包装器暴露的另一个外部选择器匹配，调度程序可能会调用一个成功的非验证器函数，而不是生成的 Halo2 回退验证器。因此，使用生成 Solidity 包装器的应用程序可以在不检查证明后缀、累加器、应用承诺或公共值的情况下接受任意应用承诺和公共值。此问题已在版本1.7.0、2.0.0-rc.3 和 2.1.0-preview中修复。
Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.