Ethereum Foundation объявляет о решении всех проблем с контрактами Pectra System после аудита безопасности

Некоммерческая организация, поддерживающая разработку блокчейна Ethereum, Фонд Эфириума объявили о результатах внешнего аудита безопасности, проведенного по контрактам Pectra System. Проверка выявила важные проблемы, все из которых были решены.

Контракты Pectra System включают несколько предложений по улучшению Ethereum (EIP), а именно EIP-2935, EIP-7002 и EIP-7251. Основной целью проверок была оценка контрактов на предмет потенциальных рисков безопасности и обеспечение того, чтобы их логика точно реализовывала функциональность, описанную в соответствующих спецификациях EIP.

Был использован многофазный процесс аудита, при этом каждый последующий обзор основывался на результатах предыдущих. Сюда вошли аудиты от Blackthorn, Dedaub и Sigma Prime, охватывающие EIP 2935, 7002 и 7251, а также аудит PlainShift. После каждого раунда аудита вносились улучшения кода перед переходом к следующему этапу.

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

Pectra выходит на Holesky, запуск тестовой сети Sepolia ожидается 5 марта

Pectra, предстоящее обновление сети Ethereum, представляет собой комбинацию двух компонентов: «Prague», который занимается обновлениями на стороне клиента исполнения, и «Electra», который фокусируется на улучшениях на стороне клиента консенсусного уровня. Это обновление следует за обновлением Dencun прошлого года.

В Пектра Обновление вводит различные изменения, направленные на улучшение масштабируемости, безопасности и удобства использования Ethereum. К ним относятся такие улучшения, как улучшение пользовательского опыта в криптовалютных кошельках и абстракции аккаунтов (EIP-7702), увеличение максимального лимита стейка валидатора с 32 до 2,048 ETH (EIP-7251) и удвоение максимального количества блоба для улучшения масштабируемости роллапа (EIP-7691).

Обновление было активировано в тестовой сети Holesky ранее на этой неделе. Однако уязвимость уровня выполнения (EL) вызвала разрывы цепочек, что привело к ситуации, когда только меньшинство цепочек были действительными, что снизило общее состояние сети. следующий этап для Pectra — это активация в тестовой сети Sepolia, ожидаемая 5 марта. 

Если обе тестовые сети пройдут успешно, команда Ethereum приступит к выбору даты активации основной сети, которая, как ожидается, будет в апреле.