{"dataType": "CVE_RECORD", "dataVersion": "5.2", "cveMetadata": {"cveId": "CVE-2026-62334", "assignerOrgId": "a0819718-46f1-4df5-94e2-005712e83aaa", "state": "PUBLISHED", "assignerShortName": "GitHub_M", "dateReserved": "2026-07-13T21:42:50.094Z", "datePublished": "2026-10-30T20:06:32.957Z", "dateUpdated": "2026-10-30T22:13:55.245Z"}, "containers": {"cna": {"title": "OpenVM's OpenVmHalo2Verifier self-call can bypass proof verification", "problemTypes": [{"descriptions": [{"cweId": "CWE-754", "lang": "en", "description": "CWE-754: Improper Check for Unusual or Exceptional Conditions", "type": "CWE"}]}], "metrics": [{"cvssV4_0": {"attackVector": "NETWORK", "attackComplexity": "LOW", "attackRequirements": "NONE", "privilegesRequired": "NONE", "userInteraction": "NONE", "vulnConfidentialityImpact": "NONE", "vulnIntegrityImpact": "HIGH", "vulnAvailabilityImpact": "NONE", "subConfidentialityImpact": "NONE", "subIntegrityImpact": "NONE", "subAvailabilityImpact": "NONE", "baseScore": 8.7, "baseSeverity": "HIGH", "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"}}], "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"}], "affected": [{"vendor": "openvm-org", "product": "openvm", "versions": [{"version": "< 1.7.0", "status": "affected"}, {"version": ">= 2.0.0-alpha, < 2.0.0-rc.3", "status": "affected"}, {"version": ">= 2.1.0-dev.0, < 2.1.0-preview", "status": "affected"}]}], "providerMetadata": {"orgId": "a0819718-46f1-4df5-94e2-005712e83aaa", "shortName": "GitHub_M", "dateUpdated": "2026-10-30T20:06:32.957Z"}, "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."}], "source": {"advisory": "GHSA-j29p-wr24-hp4f", "discovery": "UNKNOWN"}}, "adp": [{"metrics": [{"other": {"type": "ssvc", "content": {"timestamp": "2026-10-30T21:26:46.463302Z", "id": "CVE-2026-62334", "options": [{"Exploitation": "none"}, {"Automatable": "yes"}, {"Technical Impact": "partial"}], "role": "CISA Coordinator", "version": "2.0.3"}}}], "title": "CISA ADP Vulnrichment", "providerMetadata": {"orgId": "134c704f-9b21-4f2e-91b3-4a467353bcc0", "shortName": "CISA-ADP", "dateUpdated": "2026-10-30T22:13:55.245Z"}}]}}

{}

{"affected": [{"affectedData": [{"product": "openvm", "vendor": "openvm-org", "versions": [{"status": "affected", "version": "< 1.7.0"}, {"status": "affected", "version": ">= 2.0.0-alpha, < 2.0.0-rc.3"}, {"status": "affected", "version": ">= 2.1.0-dev.0, < 2.1.0-preview"}]}], "source": "[email protected]"}], "cveTags": [], "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."}], "id": "CVE-2026-62334", "lastModified": "2026-11-02T19:35:33.347", "metrics": {"cvssMetricV40": [{"cvssData": {"Automatable": "NOT_DEFINED", "Recovery": "NOT_DEFINED", "Safety": "NOT_DEFINED", "attackComplexity": "LOW", "attackRequirements": "NONE", "attackVector": "NETWORK", "availabilityRequirement": "NOT_DEFINED", "baseScore": 8.7, "baseSeverity": "HIGH", "confidentialityRequirement": "NOT_DEFINED", "exploitMaturity": "NOT_DEFINED", "integrityRequirement": "NOT_DEFINED", "modifiedAttackComplexity": "NOT_DEFINED", "modifiedAttackRequirements": "NOT_DEFINED", "modifiedAttackVector": "NOT_DEFINED", "modifiedPrivilegesRequired": "NOT_DEFINED", "modifiedSubAvailabilityImpact": "NOT_DEFINED", "modifiedSubConfidentialityImpact": "NOT_DEFINED", "modifiedSubIntegrityImpact": "NOT_DEFINED", "modifiedUserInteraction": "NOT_DEFINED", "modifiedVulnAvailabilityImpact": "NOT_DEFINED", "modifiedVulnConfidentialityImpact": "NOT_DEFINED", "modifiedVulnIntegrityImpact": "NOT_DEFINED", "privilegesRequired": "NONE", "providerUrgency": "NOT_DEFINED", "subAvailabilityImpact": "NONE", "subConfidentialityImpact": "NONE", "subIntegrityImpact": "NONE", "userInteraction": "NONE", "valueDensity": "NOT_DEFINED", "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/E:X/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:X", "version": "4.0", "vulnAvailabilityImpact": "NONE", "vulnConfidentialityImpact": "NONE", "vulnIntegrityImpact": "HIGH", "vulnerabilityResponseEffort": "NOT_DEFINED"}, "source": "[email protected]", "type": "Secondary"}], "ssvcV203": [{"source": "134c704f-9b21-4f2e-91b3-4a467353bcc0", "ssvcData": {"id": "CVE-2026-62334", "options": [{"exploitation": "none"}, {"automatable": "yes"}, {"technicalImpact": "partial"}], "role": "CISA Coordinator", "timestamp": "2026-10-30T21:26:46.463302Z", "version": "2.0.3"}}]}, "published": "2026-10-30T20:17:12.493", "references": [{"source": "[email protected]", "url": "https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol"}, {"source": "[email protected]", "url": "https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol"}, {"source": "[email protected]", "url": "https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol"}, {"source": "[email protected]", "url": "https://github.com/openvm-org/openvm/commit/751bdb1725254c3268782ddf8df89f19035666e3"}, {"source": "[email protected]", "url": "https://github.com/openvm-org/openvm/pull/151"}, {"source": "[email protected]", "url": "https://github.com/openvm-org/openvm/releases/tag/v1.7.0"}, {"source": "[email protected]", "url": "https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3"}, {"source": "[email protected]", "url": "https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview"}, {"source": "[email protected]", "url": "https://github.com/openvm-org/openvm/security/advisories/GHSA-j29p-wr24-hp4f"}], "sourceIdentifier": "[email protected]", "vulnStatus": "Deferred", "weaknesses": [{"description": [{"lang": "en", "value": "CWE-754"}], "source": "[email protected]", "type": "Secondary"}]}

{}