CVE-2026-62334

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.

• CWE-754

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

Published

Oct 30, 2026

Last Modified

Oct 30, 2026

Status

Received

• How Strix found a critical auth bypass in etcdStrix autonomously discovered a critical authentication bypass in etcd, later designated CVE-2026-33413.
• Autonomous PentestingAI agents that find and validate exploitable vulnerabilities like this one across your applications.
• PR ReviewsPentest every pull request so vulnerable code is caught before it ships to production.
• AI Penetration TestingHow AI-driven penetration testing continuously covers your attack surface.

• CVE-2026-62325goshs is a feature-rich single-binary file server for red te…9.1
• CVE-2026-62326Weblate is a web-based continuous localization platform used…6.5
• CVE-2026-623279Router through version 0.4.41 contains an unauthenticated i…9.1
• CVE-2026-623289Router through version 0.4.41 contain an unauthenticated in…7.5
• CVE-2026-62331praktor is a multi-agent Claude Code orchestrator with Teleg…8.2
• CVE-2026-62333OpenVM is a performant and modular zkVM framework built for …8.7
• CVE-2026-62335OpenVM is a performant and modular zkVM framework built for …6.9
• CVE-2026-62337SNARK Verifier is a generic (S)NARK verifier. Prior to 0.2.5…6.9
• CVE-2026-62343ImageMagick is free and open-source software used for editin…4.7
• CVE-2026-62347Element Call is a native Matrix video conferencing applicati…5.9
• CVE-2026-62348TDengine is a time-series database optimized for Internet of…5.4
• CVE-2026-62349TDengine is an open source, time-series database optimized f…8.3