Research & Development

better.codes, otevřená autovýzkumná výzva vytvořená týmem pro formální verifikaci Nadace Ethereum (Ethereum Foundation Formal Verification team) ve spolupráci s Yukon a zkSecurity, je nyní spuštěna. better.codes přebírá samostatný problém z výzkumu Proximity Prize, formalizovaný v jazyce Lean, a umisťuje jeho mez spolehlivosti (soundness bound) na veřejný žebříček, který může kdokoli posunout vpřed. Řešitelé nasměrují své vlastní AI agenty na zvýšení strojově ověřené meze spolehlivosti koalaIRS12, problému blízkosti Reed-Solomonových kódů, s cílem posunout vpřed moderní stručné neinteraktivní systémy důkazů (SNARK). Jádro Lean kontroluje každý příspěvek a každý schválený důkaz zvyšuje mez směrem k pevně stanovenému 128bitovému cíli. Nová lemmata, techniky dokazování a výsledky nemožnosti z každého schváleného důkazu jsou pak začleněny do hlavního repozitáře (upstreamed), aby urychlily pokrok pro všechny řešitele a agenty.

Poznámky od týmu pro bezpečnost protokolu Nadace Ethereum o spouštění koordinovaných AI agentů proti skutečnému kódu protokolu, včetně toho, jak práci organizujeme, co obstojí při zkoumání a co si z toho mohou odnést klientské týmy a bezpečnostní výzkumníci. Tento příspěvek funguje samostatně; pozdější příspěvky půjdou více do hloubky u jednotlivých klientů.

Nedávno se na Špicberkách v Norsku uskutečnilo polopravidelné setkání hlavních vývojářů Etherea z různých klientských týmů, neboli interop. Během týdenní události se týmy zaměřily na posílení a přípravu na další upgrade, Glamsterdam. Z tohoto týdne vzešlo několik důležitých milníků, včetně: Stanovena spodní hranice limitu plynu na 200M: Důvěryhodný cíl po upgradu Glamsterdam odvozený z konvergence ePBS, optimalizací BAL a úpravy cen EIP-8037. Stabilizace ePBS: Multiklientský Glamsterdam-devnet běžící s pipeline externích tvůrců (builders) byl otestován od začátku do konce napříč téměř všemi klienty. EIP-8037 finalizováno: Byla přijata pevná hodnota cost\per\state\_byte; kompletní čísla pro úpravu cen byla dodána do pátku na bal-devnet-6. Položeny základy pro Hegotá: Prototypy FOCIL jsou funkční; byly vymezeny požadavky na nativní AA; bezprostředním dalším krokem

Minulý týden se něco málo přes 100 hlavních přispěvatelů Etherea sešlo za polárním kruhem – v Longyearbyenu na Špicberkách – na Soldøgn Interop: týden intenzivní práce na upgradu sítě Glamsterdam. Soldøgn navázal na loňský Berlinterop, ale vrátil se k formátu, který použily Amphora 🏺, Edelweiss 🏔️ a Nyota ✨: jednotematický týden zaměřený na pokrok napříč více klienty směrem ke konkrétnímu upgradu – v tomto případě k posílení (hardening) Glamsterdamu. Do pátku skupina splnila své tři hlavní cíle: shodu na spodní hranici limitu plynu po Glamsterdamu ve výši 200M, stabilní implementace ePBS běžící s externími tvůrci a finální čísla pro úpravu cen (repricing) EIP-8037. Významného pokroku bylo dosaženo také u funkcí pro Hegotá, jako je FOCIL a nativní abstrakce účtu, a u řady dalších témat.