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.
Fix
Nothing published yet: no patch, vendor advisory or mitigation reference on NVD, no vendor advisory in the News for this CVE, not in CISA's KEV, no fixed package version. BaselineWatch does not guess at one.
Change history 1
- First seenCVSS 6.9 · openvm-orgNVD modified 2026-10-30 20:03
Affected (CPE criteria) 0
NVD has not attached CPE configurations yet.
References 9
- https://github.com/openvm-org/openvm/security/advisories/GHSA-w82q-w67c-67wv x_refsource_confirm
- https://github.com/openvm-org/openvm/pull/152 x_refsource_misc
- https://github.com/openvm-org/openvm/commit/1962276254aabc5420de266a8cb672433ce955ff 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://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/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