
[better.codes](https://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](https://www.yukon.org/) a [zkSecurity](https://zksecurity.xyz/), je nyní spuštěna.

better.codes přebírá samostatný problém z výzkumu [Proximity Prize](https://proximityprize.org/), 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.


better.codes je nyní spuštěno. Přiveďte své vlastní agenty a zvyšte prokázanou spolehlivost koalaIRS12 pro pokrok postkvantového Etherea.

Zvyšování strojově ověřených bezpečnostních standardů pro pokrok SNARKů založených na hashi prostřednictvím agentní spolupráce


Druhé čtvrtletí roku 2026 pokračovalo v našem zaměření na posilování odolnosti a schopností Etherea, přičemž jsme podpořili klíčovou práci v oblastech důkazů s nulovou znalostí (zero-knowledge proofs), klientské diverzity, formální verifikace a open-source nástrojů. Níže naleznete seznam projektů a ekosystémových iniciativ podpořených v tomto čtvrtletí, zatímco tvůrci budují a posilují síť.

Prozkoumejte úplný seznam projektů financovaných EF na [webových stránkách ESP zde](esp.ethereum.foundation/funded-projects)!

| Doména | Kategorie | Název projektu | Popis | Odkaz/Repozitář |
|:---|:---|:---|:---|:---|
| DAO/Správa | Výzkum | Fakultní výzkumné stipendium: Studia Etherea (akademický rok 2025–2026) | Umožňuje prof. Strnadovi věnovat značný čas výzkumu problémů zaměřených na Ethereum, včetně správy DAO, administrace decentralizovaných systémů a období pro zpochybnění u optimistických rollupů (optimistic rollup), a zároveň radit stipendistům OpenLabu. | |
| Bezpečnost | Výzkum | Bezpečnost EL+CL a

Aktualizace alokací – 2. čtvrtletí 2026


_Shrnutí:_ Seznamte se s Platåberget: raným testovacím prostředím pro Glamsterdam (Gloas + Amsterdam), které je otevřené pro účast veřejnosti. Tento upgrade přináší zpětně nekompatibilní změny pro vývojáře aplikací. Zejména jakýkoli nástroj, který spoléhá na pevně stanovený maximální limit plynu (např. peněženky, indexery a nástroje pro odhad gasu), přestane fungovat a bude nutné jej aktualizovat. Využijte prosím tuto brzkou příležitost k testování!

Platåberget je krátkodobý testnet určený k testování změn komunitou. Na rozdíl od předchozích devnetů s krátkou životností má Platåberget běžet několik měsíců, což komunitě poskytne stabilní místo pro experimentování s Ethereem po upgradu Glamsterdam a příležitost testovat a rozbíjet věci předtím, než bude Glamsterdam spuštěn na dlouhodobějších testnetech Etherea, Sepolia a Hoodi.


Oznamujeme testnet Platåberget


Iniciativa Trillion Dollar Security (1TS) Nadace Ethereum s hrdostí oznamuje přidělení grantu organizaci [Freedom of the Press Foundation](https://freedom.press/) (FPF) na podporu dalšího vývoje nástroje [WEBCAT](https://webcat.tech/). WEBCAT je open-source nástroj, který umožňuje prohlížečům ověřit, že kód poskytovaný zaregistrovaným webem odpovídá tomu, co jeho vývojáři zveřejnili. Grant také pomůže přinést tuto ochranu do peněženek a aplikací na Ethereu.


Grant pro Freedom of the Press Foundation podporuje další vývoj nástroje WEBCAT, který pomáhá řešit mezeru v ověřování front-endu pro peněženky a aplikace na Ethereu.

Oznamujeme grant Trillion Dollar Security pro WEBCAT


S potěšením oznamujeme, že se [pcaversaccio (pc)](https://x.com/pcaversaccio) stal členem správní rady Nadace Ethereum.

pc je dlouholetým přispěvatelem do ekosystému Etherea, spoluzakladatelem a vedoucím [SEAL 911](https://securityalliance.org/our-work/seal-911) a byl členem [Silviculture Society](https://ethereum.foundation/silviculture-society) při Nadaci Ethereum, která nadaci poskytuje neformální poradenství zaměřené na udržení základních hodnot, jimiž jsou odolnost vůči cenzuře, open source, soukromí a bezpečnost.

pcaversaccio je autorem dokumentu [*Cypherpunkový manifest Etherea*](https://hackmd.io/@pcaversaccio/the-ethereum-cypherpunk-manifesto) (2024), což je adaptace díla *A Cypherpunk's Manifesto* od Erica Hughese aplikovaná na Ethereum, a článku [*Soukromí na Ethereu: Cesta k samosvrchovanosti*](https://hackmd.io/@pcaversaccio/ethereum-privacy-the-road-to-self-sovereignty) (2025). Prostřednictvím technických příspěvků a osvěty v komunitě také pomohl zlepšit bezpečnostní postupy napříč celým ekosystémem.

Mezi současné členy správní rady nyní patří **Aya Miyaguchi (prezidentka)**, **Vitalik Buterin (zakladatel)**, **Patrick Storchenegger (švýcarský právní zástupce)** a **pcaversaccio**.

Jak bylo vyjádřeno v [Mandátu Nadace Ethereum](https://ethereum.foundation/ef-mandate.pdf) zveřejněném začátkem tohoto roku,

Aktualizace správní rady Nadace Ethereum


Vstupenky na Devcon 8 jsou v prodeji! 🇮🇳

Letos v listopadu se komunita Etherea sejde v Bombaji na komornějším a více zaměřeném Devconu.

Devcon sdružuje mozky z celého Etherea i mimo něj: tvůrce, výzkumníky, správce, organizátory a kohokoli, koho zajímá budoucnost otevřených technologií. Během čtyř dnů můžete očekávat hluboké konverzace, praktické workshopy a spoustu příležitostí učit se od lidí s různými zkušenostmi, pohledy a odbornými znalostmi.

A existuje více než jeden způsob, jak se k nám připojit. Můžete si zakoupit vstupenku **General Admission** (pro širokou veřejnost), uplatnit nárok na příslušnou **komunitní slevu** nebo si podat žádost o jednu z našich **slev pro studenty, mládež nebo tvůrce**. Každá vstupenka zahrnuje čtyřdenní přístup na konferenci, stravování po celou dobu akce a reklamní předměty (swag) z Devconu 8.

Níže si prohlédněte informace

Vstupenky pro širokou veřejnost (General Admission) jsou nyní k dispozici, spolu se zlevněnými možnostmi pro studenty, obyvatele Indie, přispěvatele Etherea, tvůrce open-source a další.

Vstupenky na Devcon 8 jsou v prodeji: Najděte si svou cestu do Bombaje


*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ů.*


Třídění je produkt: spouštění AI agentů proti kódu protokolu Etherea


Současné globální změny jasně signalizují kritickou potřebu sdílené, neutrální digitální veřejné infrastruktury mimo kontrolu jakéhokoli jediného centralizovaného aktéra. Jako veřejná, programovatelná síť navržená tak, aby fungovala bez závislosti na jakékoli jediné straně, bylo Ethereum vytvořeno přesně k řešení těchto potřeb. 

Dnes tým Global Policy Strategy (GPS) Nadace Ethereum vydává [„Ethereum pro vlády a instituce“](https://ethereum.org/reports/basics-for-governments-institutions.pdf), průvodce pro lídry veřejného sektoru a institucí, kteří čelí rozhodnutím o politikách a nasazení. Zpráva je netechnickým úvodem, který pokrývá, jak Ethereum funguje, jak probíhá jeho správa, jak si stojí v porovnání s vnímanými alternativami a kde se již nasazuje. Tento příspěvek představuje zprávu a odpovídá na základní otázky, které motivovaly její vznik: proč musí být digitální infrastruktura neutrální a proč je Ethereum pro tuto roli vhodné.


Ethereum pro vlády a instituce: Proč nyní záleží na neutrální infrastruktuře


Dnes EF mění svou podobu a završuje několikaměsíční proces reorganizace v rámci implementace [Mandátu](https://ethereum.foundation/ef-mandate.pdf) a [Zásad správy pokladny](https://blog.ethereum.org/2025/06/04/ef-treasury-policy).

Z tohoto procesu vycházíme se strukturou, aktivitami a lidmi nezbytnými pro plnění kritických úkolů, které před námi stojí, ale také o 54 kolegů chudší, což představuje zhruba 20 % EF. Mnozí z nich budou v nadcházejících týdnech hledat způsoby, jak přispívat k Ethereu mimo EF. 

Tento příspěvek přináší stručné představení nové struktury a podrobnosti o tom, jak podporujeme lidi, kteří odcházejí.

Nová struktura EF


**Pracovní skupina Etherea, skládající se z vývojářů peněženek, bezpečnostních firem a iniciativy Trillion Dollar Security Initiative Nadace Ethereum, dnes spustila otevřený standard navržený k ukončení slepého podepisování (blind signing) — strukturální chyby, která přispěla ke ztrátám uživatelů v řádech miliard, včetně hacku burzy Bybit. Iniciativa Trillion Dollar Security Initiative Nadace Ethereum přebírá aktivní roli jako důvěryhodně neutrální správce registru Jasného podepisování (Clear Signing).**

![](https://storage.googleapis.com/ethereum-hackmd/upload_8aba031eb65b86d6a85e5ab8180dea35.jpeg)

U velkých exploitů v krypto a blockchainových aplikacích často není posledním krokem chyba v kódu, ale uživatel schvalující transakci. I když je narušení zahájeno phishingem nebo kompromitací infrastruktury, posledním krokem je obvykle potvrzení, kterému uživatel nemůže smysluplně porozumět. Schválení transakce má být poslední linií obrany při uplatňování kontroly nad tím, co se stane s vašimi aktivy na blockchainu. Když se to dělá slepě,

Jasné podepisování: Bezpečnější schvalování transakcí na Ethereu


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](https://blog.ethereum.org/2026/05/02/soldogn-interop-recap). 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

Aktualizace clusteru protokolu: Květen 2026


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**](https://blog.ethereum.org/2025/06/19/checkpoint-4), ale vrátil se k formátu, který použily [**Amphora 🏺**](https://blog.ethereum.org/2021/10/15/amphora-merge-milestone), [**Edelweiss 🏔️**](https://blog.ethereum.org/2023/02/07/edelweiss-interop-recap) a [**Nyota ✨**](https://blog.ethereum.org/2024/05/22/nyota-interop-recap): 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. 

![](https://notes.ethereum.org/_uploads/r1-NBdXAWl.jpg)


Ecosystem Support Program