CVE-2026-62334

The record

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.

Affected packages

Related vulnerabilities

• CVE-2026-107311 Improper Check for Unusual or Exceptional Conditions vulnerability in Drupal Permissions… CWE-754
• CVE-2026-62374 SD JWT JS is a JavaScript implementation of the Selective Disclosure JWT (SD-JWT)… CWE-754
• CVE-2026-119126 Parse Server before 8.6.106 and 9.0.0 before 9.10.5-alpha.7 mishandles dot notation keys… CWE-754
• CVE-2026-86412 A remote HTTP server can set a cookie that curl accepts and writes to a Netscape cookie… CWE-754
• CVE-2026-100352 kin-openapi is a Go project for handling OpenAPI files. CWE-754
• CVE-2026-98161 In the Linux kernel, the following vulnerability has been resolved: nvdimm: pmem: keep… CWE-754
• CVE-2026-98148 In the Linux kernel, the following vulnerability has been resolved: drm/gud: validate… CWE-754
• CVE-2026-77411 RabbitMQ amqp091-go is a Go AMQP 0.9.1 client. CWE-754