Ethereum Foundation совместно с компанией Verity провела формальную верификацию предложения EIP-8282. Документ, представленный 22 мая 2026 года, регламентирует жизненный цикл и правила работы строителей блоков в сети.
Специалисты Verity завершили проверку в сентябре 2026 года, до наступления крайнего срока Last Call, установленного на 1 ноября 2026 года. В ходе работы анализировался исполняемый байт-код с применением шести мутаций кода.
Исследование подтвердило три гарантии корректности обработки платных вызовов пользователей и системных вызовов протокола. При этом эксперты выявили ряд расхождений, которые требуют устранения со стороны исследователей Ethereum.
Теперь разработчикам предстоит скорректировать код или спецификацию, либо уточнить логику работы системы. Результаты верификации могут повлиять на итоговую версию протокола до завершения процесса согласования.
