EF Blog

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

This post is available in 25 languages:

Čeština

Aktualizace alokací – 2. čtvrtletí 2026

Posted by Ecosystem Support Program Team on 18. srpna 2026

Aktualizace alokací – 2. čtvrtletí 2026

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!

DoménaKategorieNázev projektuPopisOdkaz/Repozitář
DAO/SprávaVýzkumFakultní 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čnostVýzkumBezpečnost EL+CL a GlamsterdamZvyšuje bezpečnost Etherea proaktivní identifikací zranitelností v klientech exekuční vrstvy a vrstvy konsensu před upgradem Glamsterdam. Tento výzkum posiluje odolnost sítě.
Uzly a klientiAplikaceLodestar 2026Vyvíjí a udržuje konsensuální klient Lodestar, implementuje hard forky a přispívá k výzkumu protokolu. To podporuje uživatelskou zkušenost (UX) operátorů a ekosystémové nástroje pro komunity TypeScript a Zig na Ethereu.Odkaz
Protokol EthereumAplikaceLighthouse – květen až říjen 2026Vývoj klienta Lighthouse pokračuje s ePBS, Gloas a síťováním částečných zpráv pro Mainnet. Tato práce rozšiřuje synchronizaci stromů (tree sync), testovací framework Diamond a konsensus ověřený pomocí ZK. Pokračuje také formální verifikace a úsilí o posílení klienta.Odkaz
KryptografieVývojářské nástrojeNástroje Poulpy PIRVyvíjí produkční knihovnu pro soukromé vyhledávání informací (Private Information Retrieval) založenou na jazyce Rust. To umožňuje efektivní, dávkované dotazy pro databáze klíč-hodnota o velikosti až 32 GB, čímž se optimalizuje komunikace mezi serverem a klientem bez nutnosti udržovat stav.Odkaz
Protokol EthereumVývojářské nástrojeETHeoremMapuje specifikace konsensu Etherea na implementace klientů. ETHeorem umožňuje systematické hodnocení bezpečnosti napříč klienty Lighthouse, Prysm, Geth a Reth. Tento agentní systém kombinuje LLM s analýzou programů pro pokrytí celého stacku.
Protokol EthereumAplikaceReam – Lean konsensuální klient v RustuVyvíjí Ream, konsensuální klient v jazyce Lean založený na Rustu, s cílem posunout vpřed konsensus připravený na postkvantovou éru s rychlou finalitou a 4sekundovými sloty. Tato obnova podporuje vývoj hlavního klienta, posílení testovací infrastruktury a škálování devnetů na 10 000 validátorů.Odkaz
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | Robust Incentives GroupModeluje ekonomické pobídky a chování účastníků za účelem optimalizace teorie her protokolu, čímž zvyšuje stabilitu a efektivitu sítě.
Aplikační infrastrukturaVýzkumOptimalizace LLM pro Ethereum (Inseeq)Vylepšuje modely umělé inteligence pomocí současných vývojářských nástrojů Etherea a dat ethskills. To zlepšuje přesnost LLM a posiluje přitažlivost Etherea pro vývojáře, kteří hledají blockchain, na kterém by mohli stavět.Odkaz
KryptografieVýzkumTechnická revize Fiat-Shamir z duplexních hub (Duplex Sponges)Audituje bezpečnostní argumenty transformací Fiat-Shamir instancovaných pomocí duplexních hub. Tato práce objasňuje klíčové abstrakce pro podporu budoucí formalizace v jazyce Lean, čímž posiluje systémy důkazů s nulovou znalostí.
Důkazy s nulovou znalostíVýzkumDodatečný hardware Ethproofs – BrevisBrevis buduje on-premise, multi-GPU stack pro dokazování bloků na vrstvě 1 (L1), aby zátěžově otestoval provozní odolnost v reálném světě. Tato iniciativa vytvoří open-source příručku On-Prem Ops Playbook pro budoucí dokazovatele.
Protokol EthereumRozvoj ekosystémuPriority quic-go pro ethp2pVylepšuje quic-go, implementaci QUIC v jazyce Go, která je základem síťování vrstvy konsensu Etherea. Tato práce zlepšuje výkon, transportní schopnosti a efektivitu připojení pro go-libp2p.
Aplikační infrastrukturaVývojářské nástrojeWeb3j: Udržování infrastruktury pro integraci Etherea s JVM a AndroidemUdržuje Web3j, dominantní klientskou knihovnu pro JVM, v synchronizaci s nadcházejícím hard forkem Glamsterdam. To zajišťuje pokračující bezproblémovou integraci pro aplikace v jazycích Java, Kotlin a pro Android, spolu s dokumentací zaměřenou na umělou inteligenci.Odkaz
Důkazy s nulovou znalostíVýzkumDodatečný hardware Ethproofs – Succinct LabsSuccinct přesouvá dokazování bloků na vrstvě 1 (L1) do on-premise, multi-GPU sestav. To zátěžově otestuje provozní odolnost a sníží závislost na cloudu, přičemž vznikne open-source příručka On-Prem Ops Playbook pro budoucí dokazovatele.
Důkazy s nulovou znalostíVýzkumDodatečný hardware Ethproofs – SilentSigUmožňuje projektu ZisK přejít s jejich stackem pro dokazování bloků na vrstvě 1 (L1) na on-premise, multi-GPU konfigurace. Tato iniciativa vytvoří open-source příručku On-Prem Ops Playbook, aby se snížila závislost ekosystému na centralizovaných poskytovatelích cloudu.
OstatníRozvoj ekosystémuProgram školení školitelů pro osnovy blockchainu na MindanauUmožňuje 8 filipínským akademickým institucím vyvinout osnovy pro blockchain. Podporuje vyučující v tom, aby se stali školiteli, a podporuje místní vzdělávání o Ethereu prostřednictvím 6denního programu.
Aplikační infrastrukturaVývojářské nástrojemevlog-rs – CLI/TUI pro dotazování na EVM transakce poháněné RevmIndexuje onchain data do lokální databáze SQLite, která je přístupná přes TUI a MCP. Tento nástroj umožňuje flexibilní lokální dotazování a sdílení výsledků přes IPFS pro vývojáře a agenty LLM.Odkaz
Protokol EthereumVýzkumTransakční aserceUmožňuje uživatelům programově ověřit výsledky transakce před podepisováním pomocí EIP-7906. To zahrnuje pozitivní a negativní podmínky vůči jakémukoli chytrému kontraktu, což zvyšuje bezpečnost a kontrolu uživatele.Odkaz
Aplikační vrstvaAplikaceSteward, suverénní (self-sovereign) peněženka pro Ethereum s AI asistentem na zařízeníBuduje Steward, plně lokální peněženku pro chytrý účet na Ethereu pro macOS. Každá komponenta, od lehkého klienta po AI asistenta, běží přímo na zařízení, což zajišťuje end-to-end ověřitelnou bezpečnost a suverenitu.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | KryptografieVyvíjí nová kryptografická primitiva a bezpečnostní protokoly, čímž zvyšuje základní bezpečnost a soukromí Etherea pro všechny uživatele.
SoukromíVýzkumProjekt Open AnonymityUmožňuje nepropojitelné (unlinkable) přístupy k chráněným službám API, počínaje inferencí AI. Tento open-source modulární stack využívá slepé podpisy a servery přátelské k TEE pro anonymní ověřování kreditů.
Důkazy s nulovou znalostíVýzkumDodatečný hardware Ethproofs – Matter LabsVylepšuje stack pro dokazování bloků na vrstvě 1 (L1) od Matter Labs přechodem na on-premise, multi-GPU konfigurace. Tato iniciativa zátěžově testuje provozní odolnost a snižuje závislost na cloudu, přičemž vznikne open-source příručka On-Prem Ops Playbook.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | Výzkum kryptografieFormalizuje bezpečnostní model šifrovaných mempoolů, čímž zvyšuje soukromí transakcí a odolnost sítě pro uživatele Etherea.
BezpečnostVývojářské nástrojeVerityVyvíjí Verity, jazyk pro chytré kontrakty založený na Lean 4 a formálně verifikovaný kompilátor. Umožňuje vývojářům psát, formálně specifikovat a dokazovat vlastnosti kontraktu, s kompilací do EVM bajtkódu s ověřenou sémantikou.Odkaz
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | Snarkifikace protokoluOvěřuje kryptografické protokoly a obvody zkVM, čímž zajišťuje matematickou správnost pro škálovací infrastrukturu Etherea prostřednictvím formálních metod.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | Robust Incentives GroupOptimalizuje teorii her protokolu aplikací návrhu mechanismů a ekonomického modelování za účelem pochopení a zlepšení pobídek účastníků.
Protokol EthereumRozvoj ekosystémuPrůzkumné práce na ZK a testováníZkoumá chování běhového prostředí zkVM napříč různým hardwarem za účelem optimalizace výkonu dokazování. Tento výzkum si klade za cíl identifikovat úzká hrdla a umožnit praktičtější dokazování v téměř reálném čase pro aplikace na Ethereum Mainnetu.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | GethPodporuje vývoj hlavního protokolu Geth, údržbu klienta a implementaci nových návrhů na vylepšení Etherea (Ethereum Improvement Proposals).
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | Prototypování protokoluPřevádí nový výzkum protokolu do funkčního kódu. To umožňuje empirické testování teoretických předpokladů a kvantifikuje kompromisy v návrhu pro budoucí upgrady Etherea.
BezpečnostAplikaceSafeLensUmožňuje offline ověřování multisig transakcí Gnosis Safe. SafeLens generuje balíčky důkazů pro podpisy, hashe a obohacené důkazy, což umožňuje lokální přehrání transakce a lidsky čitelné detaily prostřednictvím vestavěných interpretů.Odkaz
Důkazy s nulovou znalostíVýzkumIniciativa Ethproofs On-Prem Multi-GPU Prover – SilentSigUmožňuje projektu ZisK přejít s dokazováním bloků na vrstvě 1 (L1) na on-premise, multi-GPU sestavy. Tato iniciativa zátěžově testuje provozní odolnost a snižuje závislost na cloudu, přičemž vznikne open-source příručka On-Prem Ops Playbook pro ekosystém.Odkaz
Důkazy s nulovou znalostíVýzkumIniciativa Ethproofs On-Prem Multi-GPU Prover – BrevisVyvíjí open-source příručku On-Prem Ops Playbook, která umožňuje dokazovatelům bloků na vrstvě 1 (L1) přejít z cloudových prostředí na odolné multi-GPU konfigurace, čímž se snižují centralizované závislosti.Odkaz
Uzly a klientiAplikaceGean, Lean konsensuální klient pro EthereumBuduje dlouhodobou odolnost Etherea pomocí Gean, nového konsensuálního klienta založeného na jazyce Go. Tato open-source implementace nahrazuje kryptografii zranitelnou vůči kvantovým počítačům a diverzifikuje klientský ekosystém z Afriky.Odkaz
SoukromíVývojářské nástrojeSoukromé čtení Quixote + integrace AaveVylepšuje Quixote, indexátor událostí EVM v jazyce Rust, o soukromé čtení založené na síti Tor a podporu GraphQL. Demonstruje svou hodnotu integrací do frontendu Aave, kde nahrazuje TheGraph pro lepší přístup k datům.Odkaz
BezpečnostVývojářské nástrojeBezpečnostní agenti protokolu Ethereum – SPECA a LeanAgentVyvíjí systém poháněný LLM pro automatizaci kontroly shody se specifikacemi klientů Etherea a objevování chyb. To zahrnuje formální verifikaci Gasper Lean 4 a pipeline pro přemostění výstupů SPECA do formálních specifikací Lean 4.
BezpečnostVývojářské nástrojeAnalyzátor kódu Cantina Apex AI pro bezpečnostní zranitelnostiZlepšuje bezpečnostní pozici Etherea pomocí 52 skenů chytrých kontraktů poháněných umělou inteligencí pro repozitáře klientů a protokolů v průběhu příštího roku.
KryptografieVýzkumleanVM pod omezeními BitcoinuOptimalizuje postkvantovou agregaci podpisů leanVM pro vrstvu konsensu Etherea. Tato práce zvyšuje rychlost, zlepšuje efektivitu a zajišťuje kompatibilitu s Bitcoinem za účelem vytvoření celoodvětvového standardu.Odkaz
OstatníRozvoj ekosystémuProgramování konvergence AI a Etherea v ŘíměNa podporu průniku AI a Etherea pořádá Urbe Hub v Římě opakující se workshopy, ukázky a setkání tvůrců. Tato iniciativa kultivuje akce pro vzájemné obohacování, posiluje obě komunity a spolupracuje s týmem EF dAI.Odkaz
KryptografieVývojářské nástrojeRychlá aritmetika těles pro CompPolyVyvíjí efektivní, ověřené implementace prvočíselných a binárních věžových těles (binary tower fields) v Lean4. Tato práce pokrývá malá tělesa STARK, velká tělesa SNARK/křivek a binární věžová tělesa, přičemž vše je dokázáno jako správné pomocí RingEquiv.Odkaz
Aplikační vrstvaVýzkumVýzkum a vývoj „přiměřeně nezbytných“ případů užití Frontier na EthereuZkoumá jedinečné případy užití Etherea s dopadem na reálný svět. Tento výzkum také prozkoumává nové organizační struktury nad rámec tradičních krypto uspořádání.
Důkazy s nulovou znalostíVývojářské nástrojeKnihovna CompPoly Polynomials v jazyce Lean – části Roadmapy 2Optimalizuje vyhodnocování polynomů v CompPoly pomocí Hornerovy metody, dávkování a metod NTT. Implementuje a ověřuje algoritmus Guruswami-Sudan pro zkVM, kompletně s důkazy v jazyce Lean a benchmarky.Odkaz
BezpečnostAplikaceAnalýza shody klientů pro Ethereum založená na LLMZvyšuje bezpečnost klientů Etherea nasazením AI agentů ke skenování klientů Geth, Nethermind, Lighthouse a Prysm vůči specifikacím EIP, čímž identifikuje odchylky a chyby v okrajových případech.
OstatníVýzkumOnchain kapitálové nástroje pro digitální veřejné statkyVyvíjí onchain nástroje pro financování ESG pro digitální veřejné statky, přičemž využívá Ethereum k přesunu financování veřejných statků z grantů na škálovatelné kapitálové trhy. Tato iniciativa navrhuje mechanismy podobné dluhopisům pro rozsáhlou infrastrukturu.Odkaz
KryptografieVývojářské nástrojeBivariační polynomy — CompPoly Fáze 2, Položka 6Rozšiřuje CompPoly o pokročilé operace s bivariačními polynomy, včetně infrastruktury Guruswami-Sudan a optimalizací výkonu, jako je Kroneckerova substituce, čímž vylepšuje vývoj kryptografických primitiv.
KryptografieVýzkumProblém rekurzivní extrakceZkoumá bezpečnost rekurzivních SNARKů a testuje limity extraktorů znalostí v hluboké rekurzi. Tento výzkum bude analyzovat varianty SNARKů se superpolynomiální složitostí extraktoru, aby poskytl informace pro nové rámce důkazů pro systémy v reálném světě.
KryptografieRozvoj ekosystémuEfektivní jednoserverové PIR pro indexátory EthereaVyhodnocuje moderní schémata pro soukromé vyhledávání informací (Private Information Retrieval) pro přístup k datům Etherea. Tato práce specifikuje nejmodernější schéma, kompletní se znovupoužitelnými testy, pro zvýšení soukromí uživatelů a snížení rizik MEV.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | PoseidonVyvíjí efektivní postkvantová schémata podpisů pro exekuční vrstvu Etherea, přičemž využívá konstrukce založené na Poseidonu k přípravě sítě na postkvantový přechod.
Důkazy s nulovou znalostíVýzkumIniciativa Ethproofs On-Prem Multi-GPU Prover – Matter LabsDecentralizuje dokazování bloků na vrstvě 1 (L1) přesunem infrastruktury z cloudu do on-premise, multi-GPU sestav. Tato iniciativa uvolní jako open-source příručku On-Prem Ops Playbook, která poskytne plán pro budoucí dokazovatele ke zvýšení odolnosti.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | STEELVylepšuje základní specifikace Etherea v Pythonu (EELS) a testovací sady (EEST). Tato kritická práce zajišťuje kompatibilitu klientů a posiluje konsensus sítě.
SoukromíAplikacePodpora frontendu peněženky Kohaku – pokračováníRefaktoruje peněženku v rozšíření prohlížeče Kohaku a integraci Railgun SDK. Tato práce zvyšuje udržovatelnost a modularitu, čímž posouvá peněženku k širšímu přijetí a příspěvkům komunity.Odkaz
OstatníRozvoj ekosystémuOffline rezidence pro blockchain v Bhútánu 2026Kultivuje novou kohortu vývojářů Etherea v Bhútánu prostřednictvím intenzivní rezidence. Tento program podporuje místní talenty a zasévá semínka soběstačné vývojářské komunity v regionu.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | PandaOpsUmožňuje bezpečné a dobře otestované upgrady sítě budováním vlastních nástrojů, skriptů pro nasazení a datových pipeline pro výzkum a vývoj protokolu.
Aplikační infrastrukturaRozvoj ekosystémuOpen Intents Framework – Adopce a údržba 2026Vyvíjí Open Intents Framework, čímž vylepšuje meziřetězcové rebalancování likvidity a podporuje vývoj specifikace ERC-7683. To rozšiřuje víceřetězcové schopnosti a nástroje pro Ethereum.
Protokol EthereumRozvoj ekosystémuHong Kong Polytechnic University – Sponzorství Výzkumného centra pro technologii blockchainu (RCBT)Podporuje akademickou excelenci v technologii blockchainu prostřednictvím stipendií pro vynikající studenty MScBT. Podporuje rozvoj talentů a zapojení do Devconnect/Devcon, spolu se sponzorováním Asiacrypt 2026.
Důkazy s nulovou znalostíRozvoj ekosystémuPříspěvky do roadmapy CompPoly — Umocňování, multilineární transformace, ECCOptimalizuje umocňování a dokazuje ekvivalenci multilineárních transformací pro CompPoly. Integruje interpolaci s opravou chyb pomocí Berlekamp-Welch, čímž zvyšuje robustnost protokolu.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | Konsensus protokoluAnalyzuje a navrhuje pokročilé mechanismy konsensu. Tato práce posiluje záruky protokolu a podporuje dlouhodobou decentralizaci sítě.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | Koordinace financováníUsnadňuje propojení mezi příjemci grantů EF a externími zdroji financování. To pomáhá nezbytným projektům veřejných statků zajistit si životně důležitou podporu od vládních, filantropických a ekosystémových partnerů.
Důkazy s nulovou znalostíVýzkumIniciativa Ethproofs On-Prem Multi-GPU Prover – Succinct LabsUmožňuje decentralizovaným dokazovatelům přejít z cloudu na on-premise, multi-GPU sestavy. Tato iniciativa přinese open-source příručku On-Prem Ops Playbook, čímž posílí odolnost ekosystému a sníží závislost na centralizované infrastruktuře.
BezpečnostVývojářské nástrojeOctane: Bezpečnost protokolu poháněná LLM pro klienty EthereaZvyšuje bezpečnost chytrých kontraktů pomocí detekce zranitelností poháněné umělou inteligencí. Toto předplatné poskytuje 25 komplexních skenů, projektový dashboard a VIP podporu až pro čtyři klientské projekty.Odkaz
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | zkEVMPosouvá vpřed výzkum ZK-EVM, vyvíjí řešení pro škálování a integruje ZK-důkazy přímo do exekuční vrstvy Etherea.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | Bezpečnost protokoluZlepšuje bezpečnostní pozici Etherea prostřednictvím proaktivních revizí kódu, pokročilých nástrojů a robustní správy programu odměn za nalezení chyb (bug bounty).
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | Konsensus protokoluAnalyzuje mechanismy konsensu za účelem posílení dlouhodobé decentralizace. Tento výzkum pomáhá překlenout propast mezi současnými zárukami protokolu a budoucími cíli sítě.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | KryptografiePodporuje výzkum pokročilých kryptografických primitiv a bezpečnostních protokolů, čímž zajišťuje trvalé vedoucí postavení Etherea v bezpečné technologii chránící soukromí.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | KryptografiePosouvá vpřed kryptografickou bezpečnost Etherea navrhováním a analýzou nových primitiv a protokolů. To zajišťuje robustní technologii chránící soukromí pro budoucnost.
Protokol EthereumRozvoj ekosystémuDen ověřeného zkEVM ArkLib na ZKProof 8Rozšiřuje úsilí o standardizaci ZKP tím, že sdružuje více než 1 000 odborníků z praxe na Dni ArkLib na ZKProof 8. Tato událost podporuje spolupráci na formální verifikaci a aplikovaných důkazech s nulovou znalostí.Odkaz
BezpečnostVývojářské nástrojeKompilátor z Noir do LLZKVyvíjí kompilátor z Noir do LLZK, čímž přemosťuje dva kritické ekosystémy SNARK. To zvyšuje interoperabilitu a rozšiřuje vývojářskou základnu pro nástroje LLZK, čímž posiluje úsilí Etherea o bezpečnost SNARKů.Odkaz
Aplikační vrstvaVývojářské nástrojeKomponovatelná orchestrace, dávkování UX Etherea a interoperabilitaUmožňuje dynamické dávkování chytrých účtů a exekuci založenou na predikátech. Tento projekt standardizuje a uvolňuje jako open-source produkční orchestrační stack, čímž činí komponovatelné vícekrokové a víceřetězcové transakce veřejným statkem pro ekosystém Etherea.Odkaz
Důkazy s nulovou znalostíVývojářské nástrojeVylepšená infrastruktura dokazování pro RISC-V zkVMOvěřuje aritmetizaci SP1 Hypercube zkVM pomocí Lean 4, čímž formálně dokazuje, že jeho systémy omezení správně implementují sémantiku RISC-V ISA pro každou instrukci.
Protokol EthereumRozvoj ekosystémuProgram stáží 2026 | zkEVMPosouvá vpřed výzkum ZK-EVM, vyvíjí řešení pro škálování a integruje ZK-důkazy přímo do exekuční vrstvy Etherea pro zvýšení efektivity.
SoukromíAplikacePodpora frontendu peněženky KohakuVylepšuje rozšíření prohlížeče Kohaku pro robustní uživatelskou zkušenost (UX) peněženky s důrazem na soukromí na síti Sepolia. Integruje Privacy Pools a Railgun, čímž optimalizuje fork Ambire a uživatelské toky.Odkaz

Celkem uděleno ve 2. čtvrtletí 2026: 5 502 930,20 USD

This post has been translated from English. As a result, it may not be entirely accurate or up to date. The original version can be found in English.

Stay Updated

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


Categories