Дослідження та розробка

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

Нотатки від команди з безпеки протоколу Фундації Ethereum щодо запуску скоординованих ШІ-агентів для перевірки реального коду протоколу, включно з тим, як ми організовуємо роботу, що витримує ретельну перевірку, і що команди розробників клієнтів та дослідники безпеки можуть з цього винести. Ця стаття є самостійною; наступні публікації детальніше розглядатимуть окремі клієнти.

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

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