CVE.futuretools
FAQ
NVD NIST
CVE-2026-62337

SNARK Verifier: Halo 2 aggregation mishandles point-at-infinity proof elements

CVSS 3.1Medium
6.9/ 10.0
Опубликовано
Обновлено
В атаках
Не зафиксировано
Публичный PoC
Отсутствует
Анализ подготовлен:CVE Futuretools Threat Intelligence
Верификация: MITRE CVE List · CISA KEV · NIST NVD
ОФИЦИАЛЬНЫЙ ПАТЧ НЕ ОПУБЛИКОВАН
Обновите библиотеку snark-verifier до версии 0.2.5 или более поздней.

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

Схема агрегации доказательств Halo 2 некорректно обрабатывает элементы пруфа, представляющие точку на бесконечности.

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

Функция sum_with_const использует оптимизацию умножения на скаляр 1 и пропускает проверку точки на бесконечности (0, 0), искажая суммирование.

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

Успешная валидация фиктивных доказательств и обход криптографических проверок верификатора SNARK Verifier.

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

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

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

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

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

Библиографическая ссылка (Plain text)
CVE Futuretools (2026). Анализ уязвимости CVE-2026-62337: SNARK Verifier: Halo 2 aggregation mishandles point-at-infinity proof elements. URL: https://cve.futuretools.ru/cve/CVE-2026-62337
BibTeX формат (LaTeX)
@misc{cve_futuretools_cve_2026_62337,
  title = {{CVE-2026-62337: SNARK Verifier: Halo 2 aggregation mishandles point-at-infinity proof elements}},
  author = {{CVE Futuretools}},
  year = {2026},
  howpublished = {\url{https://cve.futuretools.ru/cve/CVE-2026-62337}},
  note = {Оперативный инженерный анализ киберугроз}
}