Research & Development

better.codes, otwarte wyzwanie typu autoresearch stworzone przez zespół weryfikacji formalnej Fundacji Ethereum we współpracy z Yukon i zkSecurity, jest już dostępne. better.codes bierze samodzielny problem z badań Proximity Prize, sformalizowany w języku Lean, i umieszcza jego granicę poprawności (soundness bound) w publicznym rankingu, który każdy może poprawiać. Solwery kierują swoich własnych agentów AI na podniesienie weryfikowanej maszynowo granicy poprawności koalaIRS12, problemu bliskości Reeda-Solomona, aby rozwijać nowoczesne zwięzłe nieinteraktywne systemy dowodów (SNARK-i). Jądro Lean sprawdza każde zgłoszenie, a każdy promowany dowód podnosi granicę w kierunku ustalonego celu 128 bitów. Nowe lematy, techniki dowodzenia i wyniki niemożności z każdego promowanego dowodu są następnie włączane do głównego nurtu (upstreamed), aby przyspieszyć postęp dla wszystkich solwerów i agentów.

Notatki zespołu ds. bezpieczeństwa protokołu Fundacji Ethereum na temat uruchamiania skoordynowanych agentów AI na rzeczywistym kodzie protokołu, w tym o tym, jak organizujemy pracę, co sprawdza się w praktyce i co zespoły klienckie oraz badacze bezpieczeństwa mogą z tego wyciągnąć. Ten post stanowi odrębną całość; późniejsze wpisy będą głębiej analizować poszczególnych klientów.

Półregularne spotkanie głównych deweloperów Ethereum z różnych zespołów klienckich, czyli interop, odbyło się niedawno na Svalbardzie w Norwegii. Podczas tego tygodniowego wydarzenia zespoły skupiły się na wzmacnianiu i przygotowaniach do kolejnej aktualizacji, Glamsterdam. W ciągu tego tygodnia osiągnięto kilka ważnych kamieni milowych, w tym: Ustanowiono dolny próg limitu gazu na poziomie 200M: Wiarygodny cel po aktualizacji Glamsterdam, wynikający z połączenia ePBS, optymalizacji BAL oraz zmiany wyceny w EIP-8037 Ustabilizowano ePBS: Wielokliencka sieć deweloperska Glamsterdam działająca z potokiem zewnętrznych budowniczych została przetestowana kompleksowo na prawie wszystkich klientach EIP-8037 sfinalizowany: Przyjęto stałą wartość cost\per\state\_byte; pełne dane dotyczące nowej wyceny dostarczono do piątku w sieci deweloperskiej bal-devnet-6 Położono fundamenty pod Hegotá: Prototypy FOCIL są funkcjonalne; określono wymagania dla natywnego AA;

W minionym tygodniu nieco ponad 100 głównych współtwórców Ethereum zebrało się za kołem podbiegunowym — w Longyearbyen na Svalbardzie — na Soldøgn Interop: tydzień intensywnej pracy nad aktualizacją sieci Glamsterdam. Soldøgn nastąpił po zeszłorocznym Berlinterop, ale powrócił do formatu używanego przez Amphora 🏺, Edelweiss 🏔️ i Nyota ✨: jednotorowego tygodnia skoncentrowanego, wieloklientowego postępu w kierunku konkretnej aktualizacji — w tym przypadku wzmocnienia Glamsterdam. Do piątku grupa zrealizowała swoje trzy główne cele: porozumienie w sprawie dolnego progu limitu gazu po Glamsterdam na poziomie 200M, stabilne implementacje ePBS działające z zewnętrznymi budowniczymi oraz ostateczne zatwierdzenie liczb dotyczących zmiany wyceny w EIP-8037. Znaczący postęp osiągnięto również w zakresie funkcji Hegotá, takich jak FOCIL i natywna abstrakcja konta, a także w wielu innych tematach.