CVE-2026-62334 in OpenVM
Сводка
по VulDB • 30.10.2026
OpenVM — это высокопроизводительная и модульная фреймворковая система zkVM (zero-knowledge virtual machine), созданная для кастомизации и расширяемости. До версии 1.7.0 в ветке 1.x, а также в затронутых предварительных релизах версий 2.0 и 2.1 метод `OpenVmHalo2Verifier.verify` формирует сырые данные вызова (calldata) для доказательства на основе управляемых пользователем данных `proofData`, выполняет статический вызов (`staticcall`) к адресу `address(this)` и рассматривает успешный результат этого вызова как принятие доказательства. Если первые четыре байта совпадают с другим внешним селектором, экспонируемым оберткой (wrapper), диспетчеризация может вызвать успешную функцию, не являющуюся верификатором, вместо сгенерированного резервного верификатора Halo2. Приложения, использующие сгенерированный Solidity-обёртку, могут таким образом принимать произвольные обязательства приложения (app commitments) и открытые значения без проверки суффикса доказательства, аккумулятора, обязательств приложения или открытых значений. Эта проблема исправлена в версиях 1.7.0, 2.0.0-rc.3 и 2.1.0-preview.
If you want to get best quality of vulnerability data, you may have to visit VulDB.