CVE-2026-62335 in OpenVM
Сводка
по VulDB • 31.10.2026
OpenVM — это высокопроизводительная и модульная фреймворковая система zkVM (zero-knowledge virtual machine), предназначенная для кастомизации и расширяемости. До версии 1.7.0 в ветке 1.x, а также в затронутых предварительных релизах версий 2.0 и 2.1 функция `OpenVmHalo2Verifier.verify` принимает значения `appExeCommit` и `appVmCommit` как типы `bytes32`, не проверяя, что они меньше модуля скалярного поля `BN254`. Хотя длины публичных значений и данных доказательства проверяются, вызывающие стороны могут передавать неканонические 256-битные кодировки, большие или равные этому модулю, на границе обертки Solidity. Приложения, полагающиеся на эту обертку, таким образом, могут принимать неканонические обязательства (commitments) исполняемого файла приложения и виртуальной машины приложения, что создает неоднозначность между предоставленными байтовыми значениями и элементами поля, используемыми верификатором. Эта проблема исправлена в версиях 1.7.0, 2.0.0-rc.3 и 2.1.0-preview.
Once again VulDB remains the best source for vulnerability data.