CVE-2026-62334 (GCVE-0-2026-62334)
Vulnerability from cvelistv5
Published
2026-10-30 20:06
Modified
2026-10-30 22:13
Severity ?
VLAI Severity ?
EPSS score ?
CWE
- CWE-754 - Improper Check for Unusual or Exceptional Conditions
Summary
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.
References
Impacted products
| Vendor | Product | Version | ||
|---|---|---|---|---|
| openvm-org | openvm |
Version: < 1.7.0 Version: >= 2.0.0-alpha, < 2.0.0-rc.3 Version: >= 2.1.0-dev.0, < 2.1.0-preview |
{
"containers": {
"adp": [
{
"metrics": [
{
"other": {
"content": {
"id": "CVE-2026-62334",
"options": [
{
"Exploitation": "none"
},
{
"Automatable": "yes"
},
{
"Technical Impact": "partial"
}
],
"role": "CISA Coordinator",
"timestamp": "2026-10-30T21:26:46.463302Z",
"version": "2.0.3"
},
"type": "ssvc"
}
}
],
"providerMetadata": {
"dateUpdated": "2026-10-30T22:13:55.245Z",
"orgId": "134c704f-9b21-4f2e-91b3-4a467353bcc0",
"shortName": "CISA-ADP"
},
"title": "CISA ADP Vulnrichment"
}
],
"cna": {
"affected": [
{
"product": "openvm",
"vendor": "openvm-org",
"versions": [
{
"status": "affected",
"version": "\u003c 1.7.0"
},
{
"status": "affected",
"version": "\u003e= 2.0.0-alpha, \u003c 2.0.0-rc.3"
},
{
"status": "affected",
"version": "\u003e= 2.1.0-dev.0, \u003c 2.1.0-preview"
}
]
}
],
"descriptions": [
{
"lang": "en",
"value": "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."
}
],
"metrics": [
{
"cvssV4_0": {
"attackComplexity": "LOW",
"attackRequirements": "NONE",
"attackVector": "NETWORK",
"baseScore": 8.7,
"baseSeverity": "HIGH",
"privilegesRequired": "NONE",
"subAvailabilityImpact": "NONE",
"subConfidentialityImpact": "NONE",
"subIntegrityImpact": "NONE",
"userInteraction": "NONE",
"vectorString": "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",
"version": "4.0",
"vulnAvailabilityImpact": "NONE",
"vulnConfidentialityImpact": "NONE",
"vulnIntegrityImpact": "HIGH"
}
}
],
"problemTypes": [
{
"descriptions": [
{
"cweId": "CWE-754",
"description": "CWE-754: Improper Check for Unusual or Exceptional Conditions",
"lang": "en",
"type": "CWE"
}
]
}
],
"providerMetadata": {
"dateUpdated": "2026-10-30T20:06:32.957Z",
"orgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
"shortName": "GitHub_M"
},
"references": [
{
"name": "https://github.com/openvm-org/openvm/security/advisories/GHSA-j29p-wr24-hp4f",
"tags": [
"x_refsource_CONFIRM"
],
"url": "https://github.com/openvm-org/openvm/security/advisories/GHSA-j29p-wr24-hp4f"
},
{
"name": "https://github.com/openvm-org/openvm/pull/151",
"tags": [
"x_refsource_MISC"
],
"url": "https://github.com/openvm-org/openvm/pull/151"
},
{
"name": "https://github.com/openvm-org/openvm/commit/751bdb1725254c3268782ddf8df89f19035666e3",
"tags": [
"x_refsource_MISC"
],
"url": "https://github.com/openvm-org/openvm/commit/751bdb1725254c3268782ddf8df89f19035666e3"
},
{
"name": "https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol",
"tags": [
"x_refsource_MISC"
],
"url": "https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol"
},
{
"name": "https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol",
"tags": [
"x_refsource_MISC"
],
"url": "https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol"
},
{
"name": "https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol",
"tags": [
"x_refsource_MISC"
],
"url": "https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol"
},
{
"name": "https://github.com/openvm-org/openvm/releases/tag/v1.7.0",
"tags": [
"x_refsource_MISC"
],
"url": "https://github.com/openvm-org/openvm/releases/tag/v1.7.0"
},
{
"name": "https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3",
"tags": [
"x_refsource_MISC"
],
"url": "https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3"
},
{
"name": "https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview",
"tags": [
"x_refsource_MISC"
],
"url": "https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview"
}
],
"source": {
"advisory": "GHSA-j29p-wr24-hp4f",
"discovery": "UNKNOWN"
},
"title": "OpenVM\u0027s OpenVmHalo2Verifier self-call can bypass proof verification"
}
},
"cveMetadata": {
"assignerOrgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
"assignerShortName": "GitHub_M",
"cveId": "CVE-2026-62334",
"datePublished": "2026-10-30T20:06:32.957Z",
"dateReserved": "2026-07-13T21:42:50.094Z",
"dateUpdated": "2026-10-30T22:13:55.245Z",
"state": "PUBLISHED"
},
"dataType": "CVE_RECORD",
"dataVersion": "5.2"
}
Loading…
Loading…
Sightings
| Author | Source | Type | Date |
|---|
Nomenclature
- Seen: The vulnerability was mentioned, discussed, or seen somewhere by the user.
- Confirmed: The vulnerability is confirmed from an analyst perspective.
- Published Proof of Concept: A public proof of concept is available for this vulnerability.
- Exploited: This vulnerability was exploited and seen by the user reporting the sighting.
- Patched: This vulnerability was successfully patched by the user reporting the sighting.
- Not exploited: This vulnerability was not exploited or seen by the user reporting the sighting.
- Not confirmed: The user expresses doubt about the veracity of the vulnerability.
- Not patched: This vulnerability was not successfully patched by the user reporting the sighting.
Loading…
Loading…