CVE-2026-46669

OpenVM to wydajny i modułowy framework zkVM. W wersjach przed 1.7.0 w linii 1.x oraz w dotkniętych wersjach przedpremierowych 2.0 i 2.1 funkcja OpenVmHalo2Verifier.verify przyjmuje appExeCommit i appVmCommit jako wartości bytes32 bez sprawdzenia, czy któraś z nich jest mniejsza od modułu ciała skalarnego BN254. Mimo że długości wartości publicznych i danych dowodu są sprawdzane, wywołujący mogą podać niekanoniczne 256-bitowe kodowania większe lub równe temu modułowi na granicy wrappera Solidity. Aplikacje polegające na wrapperze mogą zatem akceptować niekanoniczne zobowiązania app executable i app VM, tworząc niejednoznaczność między dostarczonymi wartościami bajtowymi a elementami ciała używanymi przez weryfikator. Problem naprawiono w wersjach 1.7.0, 2.0.0-rc.3 i 2.1.0-preview.

OpenVM przed wersją 1.7.0 (oraz w wersjach 2.0 i 2.1 prerelease) ma podatność w OpenVmHalo2Verifier.verify, gdzie surowe dane calldata z proofData mogą wywołać inną funkcję zewnętrzną zamiast weryfikatora, co pozwala zaakceptować dowolne zobowiązania aplikacji i wartości publiczne bez sprawdzenia dowodu.

OpenVM przed wersją 1.7.0 (oraz w wersjach 2.0 i 2.1 prerelease) ma podatność w MemoryMerkleAir, która nie zabrania wierszy rozszerzenia Merkle przy parent_height = 0 lub poniżej, gdy expand_direction != 0. Złośliwy prover może sfabrykować poddrzewo i zmienić zakorzeniony root pamięci bez odpowiedniej operacji pamięci, podważając poprawność dowodów OpenVM.