CVE-2026-62335— OpenVM's OpenVmHalo2Verifier accepts non-canonical app commitments

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 预发布版本中，方法会将和作为类型接收，但未验证这两个值是否小于标量域模数。尽管公开值长度和证明数据长度已进行检查，但调用方仍可在 Solidity 包装器边界处提供大于或等于该模数的非规范 256 位编码。因此，依赖该包装器的应用可能会接受非规范的执行文件承诺和虚拟机承诺，导致提供的字节级数值与验证器实际使用的域元素之间产生歧义。该问题已在

CVSS 6.9 · Medium Updated Oct 31, 2026

Possible ATT&CK Techniques 1 AI

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 accepts non-canonical app commitments

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` accepts `appExeCommit` and `appVmCommit` as `bytes32` values without checking that either is less than the `BN254` scalar field modulus. Although public-value and proof-data lengths are checked, callers can provide non-canonical 256-bit encodings greater than or equal to that modulus at the Solidity wrapper boundary. Applications relying on the wrapper can therefore accept non-canonical app executable and app VM commitments, creating ambiguity between the supplied byte-level values and the field elements used by the verifier. 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:L/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-62335

#	POC Description	Source Link	Shenlong Link

AI-Generated POC Premium

No public POC found.

III. Intelligence Information for CVE-2026-62335

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

Other References for CVE-2026-62335 (9)

https://github.com/openvm-org/openvm/pull/152 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-w82q-w67c-67wv x_refsource_CONFIRM
https://github.com/openvm-org/openvm/commit/1962276254aabc5420de266a8cb672433ce955ff 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-62335

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-62334	8.7 HIGH	OpenVM's OpenVmHalo2Verifier self-call can bypass proof verification

IV. Related Vulnerabilities

Same product: openvm

Same vendor: openvm-org

Same weakness: CWE-20