CVE-2026-54496
Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness
CVSS 3.1Critical
9.3/ 10.0
Опубликовано
Обновлено
В атаках
Не зафиксировано
Публичный PoC
Отсутствует
Анализ подготовлен:CVE Futuretools Threat Intelligence
Верификация: MITRE CVE List · CISA KEV · NIST NVD
ПАТЧ ДОСТУПЕН: ВЕРСИЯ 5.0.0, 0.5.0, 0.14.0, 0.28.0, 6.20.0
Обновитесь до zebrad 5.0.0, halo2_gadgets 0.5.0, orchard 0.14.0, zcash_primitives 0.28.0 или zcashd 6.20.0.
01 // ТЕХНИЧЕСКАЯ СУТЬ УЯЗВИМОСТИ
Отсутствие copy constraint в гаджете скалярного умножения halo2_gadgets нарушает полноту доказательств в схеме Orchard Action. Это позволяет злоумышленнику обойти проверку целостности адреса при трате средств.
02 // АНАТОМИЯ АТАКИ И ДЕФЕКТ ЛОГИКИ
В файле halo2_gadgets/src/ecc/chip/mul/incomplete.rs функция assign_advice() назначала базовую точку без привязки через copy constraint к исходному значению базы, оставляя ее недоопределенной (under-constrained).
03 // СИСТЕМНЫЕ ПОСЛЕДСТВИЯ
Генерация валидных фальшивых ZK-доказательств для Orchard Action в обход проверки diversified-address-integrity, связывающей pk_d, g_d, ivk, nullifier (nf) и spend validating key (ak) с расходуемой транзакцией.
04 // МАТРИЦА ЗАТРОНУТЫХ ПАКЕТОВ
ZcashFoundationzebra
все ранние➔Fix: 5.0.0
zcashhalo2_gadgets
все ранние➔Fix: 0.5.0
zcashorchard
все ранние➔Fix: 0.14.0
zcashlibrustzcash
все ранние➔Fix: 0.28.0
zcashzcash
все ранние➔Fix: 6.20.0
——
>= 0➔Fix: 5.0.0
——
>= 0➔Fix: 0.5.0
——
>= 0➔Fix: 0.14.0
——
>= 0➔Fix: 0.28.0
05 // ПЕРВОИСТОЧНИКИ И БЮЛЛЕТЕНИ (7)
- github.comhttps://github.com/ZcashFoundation/zebra/security/advisories/GHSA-ww9q-8r59-xv46
- github.comhttps://github.com/ZcashFoundation/zebra/releases/tag/v5.0.0
- github.comhttps://github.com/zcash/halo2/releases/tag/halo2_gadgets-0.5.0
- github.comhttps://github.com/zcash/librustzcash/releases/tag/zcash_primitives-0.28.0
- github.comhttps://github.com/zcash/orchard/releases/tag/0.14.0
- github.comhttps://github.com/zcash/zcash/releases/tag/v6.20.0
- zfnd.orghttps://zfnd.org/zebra-4-5-3-and-5-0-0-emergency-soft-fork-and-nu6-2-activation
06 // ЦИТИРОВАНИЕ ДАННЫХ И ИСТОЧНИК
Для включения аналитической карточки в отчёты по безопасности, матрицы рисков или исследовательские публикации используйте стандартизированный формат цитирования:
Библиографическая ссылка (Plain text)
CVE Futuretools (2026). Анализ уязвимости CVE-2026-54496: Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness. URL: https://cve.futuretools.ru/cve/CVE-2026-54496
BibTeX формат (LaTeX)
@misc{cve_futuretools_cve_2026_54496,
title = {{CVE-2026-54496: Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness}},
author = {{CVE Futuretools}},
year = {2026},
howpublished = {\url{https://cve.futuretools.ru/cve/CVE-2026-54496}},
note = {Оперативный инженерный анализ киберугроз}
}