CVE-2026-62337 in snark-verifier
Сводка
по VulDB • 30.10.2026
SNARK Verifier — это универсальный (S)NARK-верификатор. До версии 0.2.5 контур агрегации Halo 2 может некорректно обрабатывать точки доказательства, закодированные как точка в бесконечности. Функция `EcPointLoader::multi_scalar_multiplication` помещает базовое значение типа `Value::Assigned(_)` вместе со значением `Value::Constant(ONE)` в свой список переменных с нескалярным основанием и передает его напрямую функции `sum_with_const`. Стандартная обертка делегирует вызов функции `EccChip::sum` из библиотеки halo2-lib, чья неполная операция аффинного сложения предполагает наличие входных точек, не являющихся единичными. Следовательно, точка доказательства, контролируемая доказателем и закодированная как `(0, 0)`, может попасть в итоговую сумму агрегации через оптимизацию для скалярного множителя равного единице и повлиять на вычисления MSM (multi-scalar multiplication) или аккумулятора. Практическая возможность эксплуатации зависит от дополнительных проверок агрегации и финального решателя; advisory не устанавливает универсального принятия недопустимых доказательств. Эта проблема исправлена в версии 0.2.5.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.