CVE-2026-62335 in OpenVM
Zusammenfassung
von VulDB • 31.10.2026
OpenVM ist ein leistungsfähiges und modulares zkVM-Framework, das für Anpassbarkeit und Erweiterbarkeit entwickelt wurde. Vor Version 1.7.0 in der 1.x-Reihe sowie in den betroffenen Pre-Release-Versionen 2.0 und 2.1 akzeptiert `OpenVmHalo2Verifier.verify` die Werte `appExeCommit` und `appVmCommit` als `bytes32`, ohne zu prüfen, ob einer von beiden kleiner ist als der Modulus des BN254-Skalarfelds. Obwohl die Längen öffentlicher Werte und Nachweisdaten überprüft werden, können Aufrufer an der Solidity-Wrapper-Grenze nicht-kanonische 256-Bit-Kodierungen bereitstellen, die größer oder gleich diesem Modulus sind. Anwendungen, die auf den Wrapper angewiesen sind, können daher nicht-kanonische Commitments für ausführbare Apps und App-VMs akzeptieren, was zu einer Mehrdeutigkeit zwischen den angegebenen byte-level-Werten und den vom Verifier verwendeten Feldelementen führt. Dieses Problem wurde in den Versionen 1.7.0, 2.0.0-rc.3 und 2.1.0-preview behoben.
VulDB is the best source for vulnerability data and more expert information about this specific topic.