Уязвимость SP1 устранена после выявления риска недействительных доказательств
Succinct сообщила о критической уязвимости надёжности в своей системе доказательств с нулевым разглашением SP1. Уязвимость затрагивала нативные верификаторы Rust версий с 6.0.0 по 6.8.0 и могла позволить Prover Network в основной сети принимать доказательства некорректных вычислений. Причина уязвимости SP1 заключалась в том, что верификаторы проверяли метки данных, но не подтверждали, что количество сохранённых элементов соответствует заявленным размерностям. Проверки фиксированной формы Groth16 и Plonk, а также ончейн-верификаторы на Solidity не пострадали. 24 сентября Succinct выпустила версию 6.8.1, добавив проверку длины при десериализации, и развернула её в основной сети. Об уязвимости сообщил Vitalis Salis через Immunefi. Пользователям нативных верификаторов Rust, принимающим доказательства от недоверенных проверов, следует обновиться до версии 6.8.1.
Neutral
Уязвимость представляла значительный риск для безопасности: в случае эксплуатации уязвимые нативные Rust-верификаторы SP1 могли принимать недействительные доказательства выполнения, что потенциально подрывало бы надёжность приложений, которые на них полагаются. Однако в отчёте говорится, что Succinct выпустила и развернула исправление, а проверки Groth16 и Plonk с фиксированной структурой и ончейн-верификаторы на Solidity не были затронуты. Это ограничивает основания считать угрозу для рынка широкой и продолжающейся. Наиболее вероятный прямой эффект — точечная операционная работа для пользователей уязвимых Rust-верификаторов, а не немедленное давление на цены криптовалют. В краткосрочной перспективе трейдеры могут внимательнее следить за проектами, связанными с SP1, активностью верификации и любыми сообщениями об эксплуатации уязвимости или убытках. В долгосрочной перспективе этот инцидент может усилить внимание к реализациям систем доказательств и повысить спрос на аудиты, обновление версий и дополнительные эшелоны проверок безопасности. Подобные уязвимости инфраструктуры могут вызвать резкие колебания, если приводят к потере средств или нарушению работы сетевых сервисов; поскольку в данном случае нет свидетельств эксплуатации или длительных перебоев, более уместна нейтральная оценка влияния на рынок.