Succinct SP1 обнаружил уязвимость высокой степени серьезности, основная сеть может принимать недействительные доказательства

Система нулевых знаний Succinct SP1 выявила уязвимость высокой степени серьезности. Уязвимость была раскрыта 11 октября через объявление на GitHub GHSA-p7v2-jjv3-8p8f и затрагивает версии 6.0.0 до 6.8.0 нативного валидатора Rust SP1, что может привести к тому, что основная сеть Prover Network будет принимать недействительные доказательства. Злоумышленники могут отправлять недействительные доказательства выполнения, и валидаторы сети все равно будут их принимать. Причина уязвимости заключается в том, что валидатор читает только метки данных и не проверяет, равняется ли фактическое количество хранимых элементов произведению размерностей; атакующий может подделать метку, чтобы недействительное доказательство прошло. Проверки Groth16 и Plonk с фиксированной формой wrap не затронуты, также безопасен и проверяющий на Solidity в цепочке. Succinct выпустил исправленную версию 6.8.1 24 сентября, которая уже развернута в основной сети; в этой версии добавлена проверка длины десериализации. Уязвимость была обнаружена Виталисом Салисом и сообщена через программу вознаграждений за уязвимости Immunefi. Пользователи, которые самостоятельно запускают нативный валидатор Rust и принимают недостоверных доказателей, должны обновиться до версии 6.8.1.

Этот контент предоставляется исключительно в общих информационных целях и не является финансовым, инвестиционным, юридическим или налоговым советом. Любые мероприятия, вознаграждения, онлайн-акции или связанная с ними информация, упомянутые в настоящем документе, не должны рассматриваться как рекомендация, приглашение к покупке, продаже, торговле или иной сделке с какими-либо криптоактивами. Криптоактивы очень волатильны и могут привести к убыткам. Доступность услуг, продуктов WEEX и связанных с ними событий может варьироваться в зависимости от региона. Вы несете ответственность за обеспечение того, чтобы ваше участие соответствовало применимым местным законам и нормативным актам.