CVE-2026-62333

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, `MemoryMerkleAir` does not forbid Merkle expansion rows at `parent_height` = 0 or below while `expand_direction` != 0. A malicious prover can fabricate a subtree below a memory leaf and swap digests inside that subtree to change the committed memory root without a corresponding memory operation. The fraudulent rows still balance against the Merkle and compression buses and require no memory-bus operation for the changed leaf. Because the memory Merkle root binds VM memory state across continuation segment boundaries, this affects the soundness of OpenVM proofs using persistent memory. 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-63339 IXP Manager is a full-stack web application for managing Internet Exchange Points. CWE-20
• CVE-2026-62958 libriscv is a RISC-V sandbox and emulator. CWE-20
• CVE-2026-119342 Stirling-PDF is a locally hosted web application that facilitates various operations on… CWE-20
• CVE-2026-119339 Tesseract is an open source OCR engine. CWE-20
• CVE-2026-62335 OpenVM is a performant and modular zkVM framework built for customization and… CWE-20
• CVE-2026-62337 SNARK Verifier is a generic (S)NARK verifier. CWE-20
• CVE-2026-61618 SNARK Verifier is a generic (S)NARK verifier. CWE-20
• CVE-2026-59978 AdminNeo is a full-featured database management tool written in PHP. CWE-20