CVE-2026-62333 in OpenVM
Sumário
de VulDB • 31/10/2026
OpenVM é um framework zkVM performático e modular, projetado para personalização e extensibilidade. Antes da versão 1.7.0 na linha 1.x e nas pré-lançamentos afetados das versões 2.0 e 2.1, o `MemoryMerkleAir` não proíbe linhas de expansão Merkle em `parent_height` = 0 ou inferior enquanto `expand_direction` != 0. Um prover malicioso pode fabricar uma subárvore abaixo de uma folha de memória e trocar os digests dentro dessa subárvore para alterar a raiz da memória comprometida sem uma operação de memória correspondente. As linhas fraudulentas ainda se equilibram contra os barramentos Merkle e de compressão, não exigindo nenhuma operação no barramento de memória para a folha alterada. Como a raiz Merkle da memória vincula o estado da memória do VM através dos limites de segmentos contínuos, isso afeta a integridade (soundness) das provas do OpenVM que utilizam memória persistente. Este problema foi corrigido nas versões 1.7.0, 2.0.0-rc.3 e 2.1.0-preview.
Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.