Опубликованы результаты аудитов системных контрактов Pectra
Команда опубликовала результаты проверок системных контрактов и объяснила границы формальной верификации.
Что проверили аудиторы
28 февраля 2025 года Ethereum Foundation рассказала об аудитах системных контрактов Pectra, связанных с EIP-2935, EIP-7002 и EIP-7251. Проверки проводили Blackthorn, Dedaub, PlainShift и Sigma Prime. Работа шла последовательно: между этапами разработчики исправляли обнаруженные проблемы. В сообщении также описывалась формальная проверка байткода инструментом Halmos на соответствие заданной спецификации. Команда сообщила об устранении значимых выявленных вопросов.
Как читать результаты
Публикация отчётов позволяет оценивать процесс подготовки обновления по конкретным проверкам, а не по обещанию полной безопасности. Соответствие программы спецификации и корректность самой спецификации — разные вопросы. Даже несколько аудитов не исключают неизвестных ошибок или проблем взаимодействия компонентов. Для участника сообщества полезный предмет обсуждения — какие свойства проверялись, какой код охватывал аудит и какие ограничения прямо назвали исследователи. Это содержательнее, чем воспринимать слово «аудит» как универсальную гарантию.
ПУЛЬС / ЗНАНИЯ
ПУЛЬС / ЗНАНИЯ