Меню

Крипторазделы

Официальная проверка предложения по жизненному циклу строителя позволила получить три проверенные гарантии и список проблем, которые предстоит решить исследователям Ethereum.

Вт, 10 ноября 2026 · 11:49 EST · Чтение 2 минуты

В Эфириуме

Делиться

Фонд Ethereum работал с Verity, официальной фирмой по проверке, для математической проверки EIP-8282. Предложение определяет, как строители блоков входят в систему и покидают ее.

В результате работы были получены три проверенные гарантии относительно байт-кода времени выполнения предложения. Также были выявлены расхождения, которые теперь предстоит устранить исследователям.

Что на самом деле проверила Верити

EIP-8282 был создан 22 мая 2026 года. Он охватывает функции жизненного цикла сборщиков блоков, сторон, ответственных за сборку блоков в сети.

Предложение устанавливает специальные контракты для управления депозитами и выходами застройщиков.

Verity завершила свою работу по проверке в сентябре 2026 года. Результаты работы фирмы были сосредоточены на правильности байт-кода времени выполнения EIP, который представляет собой низкоуровневый код, который фактически будет выполняться в цепочке.

Верити доказал три гарантии. Они подтверждают, что байт-код правильно обрабатывает сценарии, связанные с пользовательскими данными, то есть платные вызовы, а также СИСТЕМНЫЕ вызовы. СИСТЕМНЫЕ вызовы — это вызовы самого протокола, а не обычного пользователя.

Новости криптовалют и рынков, которые вам действительно нужны — каждое утро.

Ежедневно. Бесплатно. Присоединяйтесь к более чем 34 000 читателей, посвященных криптовалютам, финансам и политике.

Мы уважаем вашу конфиденциальность. Отпишитесь в любое время.

Доказательства, мутации и расхождения

Верити использовал шесть мутаций байт-кода, чтобы подтвердить свои свойства. Работа над мутациями такого типа обычно означает намеренное изменение кода, чтобы увидеть, уловят ли указанные свойства это изменение.

Дальше пошли расхождения. В обзоре Верити отмечены проблемы, которые предстоит решить исследователям Ethereum.

Где находится EIP-8282 в процессе

Крайний срок последнего звонка для EIP-8282 был 1 ноября 2026 года. Работа Верити завершилась в сентябре, до этого срока.

Такое время придает проверке практический вес. Результаты, полученные до закрытия Last Call, все еще могут повлиять на спецификацию.

Что это значит для Ethereum

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

Эти три гарантии дают исследователям более прочную основу для этой работы. Они знают, что пути платных вызовов и СИСТЕМНЫЕ вызовы ведут себя так, как указано в областях, проверенных Верити.

Дальше стоит посмотреть, как исследователи реагируют на выводы Верити. Разрешение этих несоответствий и изменение в результате окончательной спецификации покажут, какое влияние оказывает формальная проверка на формирование основного кода Ethereum.

Раскрытие информации: эту статью отредактировал Вивиан Нгуен. Дополнительную информацию о том, как мы создаем и просматриваем контент, можно найти в нашей редакционной политике.

Новости о том, что вы держите

Следите за своими акциями и криптовалютой. Читайте новости о них от сотен издателей в Pro.

Политика конфиденциальности