CVE-2026-62334

OpenVM's OpenVmHalo2Verifier self-call can bypass proof verification

CVSS 3.1Medium

8.7/ 10.0

Опубликовано

30 октября 2026 г.

Обновлено

30 октября 2026 г.

В атаках

Не зафиксировано

Публичный PoC

Отсутствует

Анализ подготовлен:CVE Futuretools Threat Intelligence

Верификация: MITRE CVE List · CISA KEV · NIST NVD

ОФИЦИАЛЬНЫЙ ПАТЧ НЕ ОПУБЛИКОВАН

Обновить смарт-контракты OpenVM до версии v1.7 с исправленной логикой диспетчеризации и валидации селекторов при self-call.

01 // ТЕХНИЧЕСКАЯ СУТЬ УЯЗВИМОСТИ

Обход верификации криптографических доказательств в смарт-контракте OpenVmHalo2Verifier фреймворка OpenVM через рекурсивный вызов (self-call).

02 // АНАТОМИЯ АТАКИ И ДЕФЕКТ ЛОГИКИ

Механизм внутреннего вызова (self-call) в Solidity-контракте OpenVmHalo2Verifier допускает диспетчеризацию вызова на непредусмотренный селектор функции без надлежащей валидации контекста. Это позволяет обойти основной блок проверок доказательства Halo 2.

03 // СИСТЕМНЫЕ ПОСЛЕДСТВИЯ

Успешное подтверждение фиктивных или некорректных ZK-доказательств ончейн-верификатором без фактической проверки вычислений.

04 // МАТРИЦА ЗАТРОНУТЫХ ПАКЕТОВ

Точные диапазоны версий не зафиксированы в источниках

05 // ПЕРВОИСТОЧНИКИ И БЮЛЛЕТЕНИ (9)

06 // ЦИТИРОВАНИЕ ДАННЫХ И ИСТОЧНИК

Для включения аналитической карточки в отчёты по безопасности, матрицы рисков или исследовательские публикации используйте стандартизированный формат цитирования:

Библиографическая ссылка (Plain text)

CVE Futuretools (2026). Анализ уязвимости CVE-2026-62334: OpenVM's OpenVmHalo2Verifier self-call can bypass proof verification. URL: https://cve.futuretools.ru/cve/CVE-2026-62334

BibTeX формат (LaTeX)

@misc{cve_futuretools_cve_2026_62334,
  title = {{CVE-2026-62334: OpenVM's OpenVmHalo2Verifier self-call can bypass proof verification}},
  author = {{CVE Futuretools}},
  year = {2026},
  howpublished = {\url{https://cve.futuretools.ru/cve/CVE-2026-62334}},
  note = {Оперативный инженерный анализ киберугроз}
}