Succinct устранила уязвимость в SP1, позволявшую пропускать невалидные доказательства
Разработчик zk-инфраструктуры Succinct закрыл баг в системе SP1, который теоретически мог позволить невалидным доказательствам проходить верификацию. Проблема затрагивала только нативную проверку на Rust.
Команда Succinct выпустила патч для своей zero-knowledge виртуальной машины SP1, устранив уязвимость в механизме верификации доказательств. Ошибка теоретически позволяла невалидным доказательствам проходить проверку как корректные.
Баг затрагивал нативную верификацию на Rust в версиях SP1 с 6.0.0 по 6.8.0. Проверка ончейн через Solidity-верификаторы с использованием Groth16 и Plonk не была подвержена уязвимости и работала корректно.
SP1 используется для построения доказательств с нулевым разглашением в различных блокчейн-проектах, поэтому ошибки в логике верификации несут риски для систем, которые полагаются на корректность zk-доказательств при обработке транзакций и состояний.
Источник
- The DefiantSuccinct Patches SP1 Bug That Could Let Invalid Proofs Pass
