Sky обновляет правила аудита: CertiK не попал в список признанных фирм

Управляющие Sky выставили на голосование пакет из восьми правок Atlas, и первая из них меняет подход протокола к аудиту смарт-контрактов. Голосование запустили в понедельник в 16:00 UTC по инициативе делегата cloaky, завершится оно 22 октября. Поправку внесли на GitHub 16 октября — она добавляет 390 строк в восемь документов Atlas, причём около 100 из них формируют новый раздел о том, каким внешним аудитам протокол готов доверять.

Речь идёт о проверках, которые Sky не заказывал сам, — в том числе об аудитах протоколов, куда его агенты Spark, Grove и Osero вкладывают капитал через такие сервисы, как хранилища Morpho. Чтобы аудит засчитали, его должна провести фирма из признанного списка, у него должен быть проверяемый источник, точное описание объёма проверки, фиксированный коммит-хеш и статус устранения каждой находки.

Для контрактов, которые напрямую касаются безопасности средств Sky, ввели правило двух аудитов: нужны проверки минимум от двух разных фирм, причём все находки средней и высокой критичности должен подтвердить сам аудитор. Аудиты одной компании под разными брендами в счёт не идут.

Новый список разбит на два уровня. В верхнем — только ChainSecurity и Cantina. В среднем — 33 фирмы, среди них OpenZeppelin, Trail of Bits, ConsenSys Diligence, Certora, Quantstamp, PeckShield, SlowMist, а также платформы Code4rena и Sherlock. CertiK в списке не фигурирует вовсе, хотя компания публикует немало отчётов.

Контракты, которые Sky начнёт использовать после 22 октября, должны сразу соответствовать новым стандартам. Для уже существующих позиций дали отсрочку до 1 января 2027 года.