Исследования и разработки

better.codes — открытое соревнование по автоисследованиям, созданное командой формальной верификации Фонда Ethereum в сотрудничестве с Yukon и zkSecurity, теперь запущено. Проект better.codes берет самостоятельную задачу из исследования Proximity Prize, формализованную в Lean, и помещает ее границу надежности в публичную таблицу лидеров, которую может улучшить любой желающий. Солверы направляют своих собственных ИИ-агентов на повышение проверенной машиной границы надежности koalaIRS12 — задачи близости Рида-Соломона для продвижения современных кратких неинтерактивных систем доказательств (SNARK). Ядро Lean проверяет каждое отправленное решение, и каждое принятое доказательство повышает границу по направлению к фиксированной 128-битной цели. Новые леммы, методы доказательства и результаты о невозможности из каждого принятого доказательства затем передаются в основную ветку, чтобы ускорить прогресс для всех солверов и агентов.

Заметки команды безопасности протокола Фонда Ethereum о запуске скоординированных ИИ-агентов для проверки реального кода протокола, включая то, как мы организуем работу, что выдерживает тщательную проверку, и что команды разработчиков клиентов и исследователи безопасности могут из этого извлечь. Эта статья является самостоятельной; в последующих публикациях мы более подробно рассмотрим отдельные клиенты.

Полурегулярная встреча основных разработчиков Эфириума из различных команд клиентов, или интероп, недавно прошла на Шпицбергене, Норвегия. В течение недельного мероприятия команды сосредоточились на усилении безопасности и подготовке к следующему обновлению — Гламстердам. По итогам недели было достигнуто несколько важных вех, в том числе: Установлен нижний порог лимита газа в 200 млн: надежная цель после обновления Гламстердам, полученная в результате конвергенции ePBS, оптимизаций BAL и переоценки стоимости в EIP-8037 Стабилизирован ePBS: мультиклиентская сеть для разработчиков Гламстердам запущена, а конвейер внешних сборщиков прошел сквозное тестирование практически на всех клиентах EIP-8037 финализирован: принята фиксированная стоимость cost\per\state\_byte; полные данные по переоценке предоставлены к пятнице в сети для разработчиков bal-devnet-6 Заложен фундамент для Hegotá: прототипы FOCIL функционируют; определены требования к нативной абстракции

На прошлой неделе чуть более 100 основных разработчиков Эфириума собрались за Полярным кругом — в Лонгйире, на Шпицбергене — на Soldøgn Interop: неделю интенсивной работы над обновлением сети Гламстердам. Soldøgn последовал за прошлогодним Berlinterop, но вернулся к формату, использовавшемуся на Amphora 🏺, Edelweiss 🏔️ и Nyota ✨: однопоточная неделя сфокусированной работы над несколькими клиентами для достижения прогресса в конкретном обновлении — в данном случае, укреплении Гламстердам. К пятнице группа достигла трех своих основных целей: согласование минимального лимита газа в 200 млн после обновления Гламстердам, стабильные реализации ePBS, работающие с внешними сборщиками, и окончательное утверждение цифр переоценки EIP-8037. Также был достигнут значительный прогресс в функциях Hegotá, таких как FOCIL и нативная абстракция учетной записи, а также во множестве других тем.

Блобы основной сети на подходе .oO. Спустя два года после их внедрения в ETHDenver, десятка проверок и сети разработки, протоданкшардинг наконец-то появится в основной сети! Dencun запустится в основной сети Ethereum в эпоху 269568, которая наступит 13 марта 2024 года в 13:55 UTC. Операторы узлов и дольщики должны обновить свое программное обеспечение до выпусков, перечисленных в этом объявлении. Подпишитесь, чтобы получать по электронной почте уведомления о будущих обновлениях сети. Обновление сети Dencun успешно запущено на всех тестовых сетях. Теперь оно готово к размещению в основной сети Ethereum и запустится в эпоху 269568, которая наступит 13 марта 2024 года в 13:55 UTC. Обновление, которое следует за прошлогодним обновлением Shapella, включает в себя несколько изменений, в частности, введение блобов с EIP-4844, также известных как "протоданкшардинг", что поможет снизить

Блобы Goerli уже здесь. Dencun появился на Goerli в 6:32 UTC 17 января 2024 года. Теперь вы можете использовать блобы! Sepolia и Holesky будут обновлены в течение следующих двух недель. Dencun активируется на Sepolia в эпоху 132608 (30 января, 22:51 UTC), а на Holesky — в эпоху 29696 (7 февраля, 11:35 UTC). Выпуски клиентов, представленные в этом объявлении, подходят для апгрейда обоих тестовых сетей. Если апгрейд Sepolia и Holesky пройдет успешно, дальше Dencun будет внедрен в основную сеть Ethereum. Чтобы получать уведомления по электронной почте об обновлениях сети, включая обновление Dencun для основной сети, подпишитесь здесь. Апгрейд сети Dencun успешно активировано в тестовой сети Goerli 17 января 2024 года. Апгрейд двух оставшихся тестовых сетей, Sepolia и Holesky, запланирован на:

Возможность снятия средств уже не за горами! Апгрейд Shapella активируется в сети Ethereum в эпоху 194048, запланированную на 22:27:35 UTC 12 апреля 2023 года. Дольщики и операторы узлов должны ознакомиться с этой публикацией, а также вопросами и ответами касательно снятия средств. С сегодняшнего дня и до 5 апреля вознаграждения программы Bug Bounty Ethereum за уязвимости Shapella будут удвоены. Теперь вы можете подписаться на получение электронных писем с подобными объявлениями об апгрейдах. Прокрутите страницу вниз, чтобы подписаться 📩. После плавного перехода Goerli команды клиентов запланировали активацию апгрейда Shapella для основной сети. Во время 157-го заседания участников слоя исполнения AllCoreDevs консенсус был быстро достигнут в отношении даты 12 апреля. Этот апгрейд следует за The Merge и позволяет валидаторам переводить свои доли из сети Beacon Chain обратно в слой