CVE-2026-62335
OpenVM's OpenVmHalo2Verifier accepts non-canonical app commitments
CVSS 3.1Medium
6.9/ 10.0
Опубликовано
Обновлено
В атаках
Не зафиксировано
Публичный PoC
Отсутствует
Анализ подготовлен:CVE Futuretools Threat Intelligence
Верификация: MITRE CVE List · CISA KEV · NIST NVD
ОФИЦИАЛЬНЫЙ ПАТЧ НЕ ОПУБЛИКОВАН
Обновите OpenVM до версии 1.7.0 или выше.
01 // ТЕХНИЧЕСКАЯ СУТЬ УЯЗВИМОСТИ
Смарт-контракт OpenVmHalo2Verifier принимает некорректные коммитменты приложений вне диапазона скалярного поля BN254.
02 // АНАТОМИЯ АТАКИ И ДЕФЕКТ ЛОГИКИ
Метод OpenVmHalo2Verifier.verify обрабатывает appExeCommit и appVmCommit как байтовые массивы bytes32 без валидации строгого неравенства модулю поля BN254.
03 // СИСТЕМНЫЕ ПОСЛЕДСТВИЯ
Успешная верификация скомпрометированных доказательств с неканоническими представлениями параметров виртуальной машины.
04 // МАТРИЦА ЗАТРОНУТЫХ ПАКЕТОВ
Точные диапазоны версий не зафиксированы в источниках
05 // ПЕРВОИСТОЧНИКИ И БЮЛЛЕТЕНИ (9)
- github.comhttps://github.com/openvm-org/openvm/security/advisories/GHSA-w82q-w67c-67wv
- github.comhttps://github.com/openvm-org/openvm/pull/152
- github.comhttps://github.com/openvm-org/openvm/commit/1962276254aabc5420de266a8cb672433ce955ff
- github.comhttps://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol
- github.comhttps://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol
- github.comhttps://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol
- github.comhttps://github.com/openvm-org/openvm/releases/tag/v1.7.0
- github.comhttps://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3
- github.comhttps://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview
06 // ЦИТИРОВАНИЕ ДАННЫХ И ИСТОЧНИК
Для включения аналитической карточки в отчёты по безопасности, матрицы рисков или исследовательские публикации используйте стандартизированный формат цитирования:
Библиографическая ссылка (Plain text)
CVE Futuretools (2026). Анализ уязвимости CVE-2026-62335: OpenVM's OpenVmHalo2Verifier accepts non-canonical app commitments. URL: https://cve.futuretools.ru/cve/CVE-2026-62335
BibTeX формат (LaTeX)
@misc{cve_futuretools_cve_2026_62335,
title = {{CVE-2026-62335: OpenVM's OpenVmHalo2Verifier accepts non-canonical app commitments}},
author = {{CVE Futuretools}},
year = {2026},
howpublished = {\url{https://cve.futuretools.ru/cve/CVE-2026-62335}},
note = {Оперативный инженерный анализ киберугроз}
}