CVE-2026-62335 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` accepte `appExeCommit` et `appVmCommit` en tant que valeurs `bytes32` sans vérifier qu'elles sont inférieures au module du champ scalaire `BN254`. Bien que les longueurs des données publiques et de la preuve soient vérifiées, les appelants peuvent fournir des encodages 256 bits non canoniques supérieurs ou égaux à ce module à la limite du wrapper Solidity. Les applications dépendant du wrapper peuvent donc accepter des engagements d'exécutable d'application (`app executable`) et de VM d'application (`app VM`) non canoniques, créant une ambiguïté entre les valeurs au niveau des octets fournies et les éléments de champ utilisés par le vérificateur. Ce problème est corrigé dans les versions 1.7.0, 2.0.0-rc.3 et 2.1.0-preview.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.