EF Blog

ETH top background starting image
ETH bottom background ending image
Skip to content

20. srpna 2026

R&D

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
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

by Ethereum Foundation Formal Verification team

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.

by Ecosystem Support Program Team

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!

by Protocol DevOps

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.

by Ethereum Foundation Access Cluster

Iniciativa Trillion Dollar Security (1TS) Nadace Ethereum s hrdostí oznamuje přidělení grantu organizaci Freedom of the Press Foundation (FPF) na podporu dalšího vývoje nástroje WEBCAT. 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.

29. července 2026

Org

Aktualizace správní rady Nadace Ethereum

by Ethereum Foundation Board

S potěšením oznamujeme, že se pcaversaccio (pc) stal členem správní rady Nadace Ethereum. pc je dlouholetým přispěvatelem do ekosystému Etherea, spoluzakladatelem a vedoucím SEAL 911 a byl členem 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 (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 (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 zveřejněném začátkem tohoto roku,

by Devcon Team

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

9. července 2026

R&D

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

by Nikos Baxevanis

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

by Ethereum Foundation Global Policy Strategy

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“, 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é.

23. června 2026

Org

Nová struktura EF

by Ethereum Foundation Management

Dnes EF mění svou podobu a završuje několikaměsíční proces reorganizace v rámci implementace Mandátu a Zásad správy pokladny. 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í.

Newer posts

Older posts

Stay Updated

Subscribe to get email notifications about the topics you care about. Choose from research, events, security updates, and more.


Categories