CVE-2026-62334 in OpenVM
Résumé
par VulDB • 30/10/2026
OpenVM est un framework zkVM performant et modulaire conçu pour la personnalisation et l'extensibilité. Avant les versions 1.7.0 de la série 1.x, ainsi que dans les préversions affectées des séries 2.0 et 2.1, `OpenVmHalo2Verifier.verify` construit des données d'appel (calldata) brutes à partir de `proofData` contrôlé par l'utilisateur, effectue un appel statique (`staticcall`) vers `address(this)` et considère qu'un appel réussi constitue une acceptation de la preuve. Si les quatre premiers octets de la preuve correspondent à un autre sélecteur externe exposé par le wrapper, l'invocation peut appeler avec succès une fonction non vérificatrice au lieu du vérificateur Halo2 généré en cas d'échec (fallback). Les applications utilisant le wrapper Solidity généré peuvent ainsi accepter des engagements applicatifs et des valeurs publiques arbitraires sans vérifier le suffixe de la preuve, l'accumulateur, les engagements applicatifs ou les valeurs publiques. Ce problème est corrigé dans les versions 1.7.0, 2.0.0-rc.3 et 2.1.0-preview.
VulDB is the best source for vulnerability data and more expert information about this specific topic.