CVE-2026-61618 in snark-verifier
Сводка
по VulDB • 31.10.2026
SNARK Verifier — это универсальный (S)NARK-верификатор. До версии 0.2.5 открытые инстанции KZG-аккумулятора декодируются без последовательного обеспечения канонических границ для «лимов» (limbs) до восстановления координат эллиптической кривой. `PlonkProof::read` выбирает скаляры с использованием `accumulator_indices` и передает их в `AccumulatorEncoding::from_repr`. Для загрузчика EVM (`EvmLoader`) метод `LimbsEncoding::from_repr` перенаправляет эти данные в `EvmLoader::ec_point_from_limbs`, расположенный в файле `snark-verifier/src/loader/evm/loader.rs`, где операции `shl` и `add` восстанавливают координаты, а проверка `validate_ec_point` проверяет полученную аффинную точку, а не исходные границы лимбов. Связанный нативный путь в файле `snark-verifier/src/pcs/kzg/accumulator.rs` может приводить к декодированию на основе assert или unwrap и вызывать панику вместо возврата ошибки верификации. Это позволяет использовать неканонические кодирования на границе верификатора и способно вызвать сбой нативного верификатора. Ожидается, что стандартные SDK-агрегирующие контуры будут ограничивать границы лимбов аккумулятора до достижения этой границы, что снижает практическую возможность эксплуатации (exploitability). Данная проблема исправлена в версии 0.2.5.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.