CVE-2026-62334 in OpenVM
Riassunto
di VulDB • 30/10/2026
OpenVM è un framework zkVM performante e modulare, progettato per la personalizzazione e l'estensibilità. Prima della versione 1.7.0 nella linea 1.x e nelle versioni prerelease affette di 2.0 e 2.1, `OpenVmHalo2Verifier.verify` costruisce i calldata grezzi delle prove a partire da `proofData` controllati dall'utente, esegue una `staticcall` verso `address(this)` e considera l'esito positivo della chiamata come accettazione della prova. Se i primi quattro byte della proof corrispondono ad un altro selettore esterno esposto dal wrapper, il dispatch può invocare con successo una funzione non-verificatrice anziché il verificatore fallback Halo2 generato. Le applicazioni che utilizzano il wrapper Solidity generato possono di conseguenza accettare impegni dell'applicazione (app commitments) e valori pubblici arbitrari senza verificare il suffisso della prova, l'accumulatore, gli impegni dell'applicazione o i valori pubblici. Questo problema è risolto nelle versioni 1.7.0, 2.0.0-rc.3 e 2.1.0-preview.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.