CVE-2026-62334— OpenVM's OpenVmHalo2Verifier self-call can bypass proof verification

Quick assessment

Affected

openvm-org openvm

Exploitation

No confirmed in-the-wild exploitation; assess based on exposure

Recommended action

Check the vendor advisory and references for a fixed version. If immediate upgrade is impossible, restrict exposure and increase monitoring.

OpenVM 是一个专为定制和扩展而构建的高性能、模块化 zkVM 框架。在 1.x 系列的 1.7.0 版本之前，以及受影响的 2.0 和 2.1 预发布版本中，函数会从用户可控的构造原始证明调用数据（calldata），随后对执行，并将调用成功视为证明验证通过。如果证明数据的前四个字节与包装器暴露的另一个外部函数选择器（selector）匹配，分发逻辑可能会调用一个非验证器函数而非生成的 Halo2 回退验证器。因此，使用生成的 Solidity 包装器的应用可能会在未检查证明后缀、累加器、应用承诺或公

CVSS 8.7 · High Updated Oct 31, 2026

Possible ATT&CK Techniques 2 AI

T1068 · Exploitation for Privilege Escalation T1190 · Exploit Public-Facing Application

Get alerts for future matching vulnerabilities Log in to subscribe

Vulnerability Information

Have questions about the vulnerability? See if Shenlong's analysis helps!

View Shenlong Deep Dive ↗

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.

Vulnerability Title

OpenVM's OpenVmHalo2Verifier self-call can bypass proof verification

Source: CVE Program / CVE List V5

Vulnerability Description

OpenVM is a performant and modular zkVM framework built for customization and extensibility. Before 1.7.0 in the 1.x line and in affected 2.0 and 2.1 prereleases, `OpenVmHalo2Verifier.verify` constructs raw proof calldata from user-controlled `proofData`, performs a `staticcall` to `address(this)`, and treats a successful call as proof acceptance. If the first four proof bytes match another external selector exposed by the wrapper, dispatch can invoke a successful non-verifier function instead of the generated Halo2 fallback verifier. Applications using the generated Solidity wrapper can consequently accept arbitrary app commitments and public values without checking the proof suffix, accumulator, app commitments or public values. This issue is fixed in versions 1.7.0, 2.0.0-rc.3 and 2.1.0-preview.

Source: CVE Program / CVE List V5

CVSS Information

CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N

Source: CVE Program / CVE List V5

Vulnerability Type

对因果或异常条件的不恰当检查

Source: CVE Program / CVE List V5

Affected Products

Vendor	Product	Affected Versions	CPE	Subscribe
openvm-org	openvm	< 1.7.0	-

II. Public POCs for CVE-2026-62334

#	POC Description	Source Link	Shenlong Link

AI-Generated POC Premium

No public POC found.

III. Intelligence Information for CVE-2026-62334

请登录查看更多情报信息。

Other References for CVE-2026-62334 (9)

https://github.com/openvm-org/openvm/pull/151 x_refsource_MISC
https://github.com/openvm-org/openvm/releases/tag/v1.7.0 x_refsource_MISC
https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3 x_refsource_MISC
https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview x_refsource_MISC
https://github.com/openvm-org/openvm/security/advisories/GHSA-j29p-wr24-hp4f x_refsource_CONFIRM
https://github.com/openvm-org/openvm/commit/751bdb1725254c3268782ddf8df89f19035666e3 x_refsource_MISC
https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol x_refsource_MISC
https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol x_refsource_MISC
https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol x_refsource_MISC

https://www.cve.org/CVERecord?id=CVE-2026-62334

Same Patch Batch · openvm-org · 2026-10-30 · 3 CVEs total

CVE-2026-62333	8.7 HIGH	OpenVM: MemoryMerkleAir allows below-leaf rows to alter memory roots
CVE-2026-62335	6.9 MEDIUM	OpenVM's OpenVmHalo2Verifier accepts non-canonical app commitments

IV. Related Vulnerabilities

Same product: openvm

Same vendor: openvm-org

Same weakness: CWE-754