II kwartał 2026 r. był kontynuacją naszego skupienia na zwiększaniu odporności i możliwości Ethereum, wspierając kluczowe prace nad dowodami z wiedzą zerową, różnorodnością klientów, weryfikacją formalną i narzędziami open-source. Poniżej znajduje się lista projektów i działań w ekosystemie wspartych w tym kwartale, podczas gdy budowniczowie tworzą i wzmacniają sieć.
Zapoznaj się z pełną listą projektów finansowanych przez EF na stronie internetowej ESP tutaj!!
| Dziedzina | Kategoria | Nazwa projektu | Opis | Link/Repozytorium |
|---|---|---|---|---|
| DAO / Zarządzanie | Badania | Stypendium badawcze dla wydziału: Studia nad Ethereum (rok akademicki 2025–2026) | Umożliwia prof. Strnadowi poświęcenie znacznej ilości czasu na badania nad problemami związanymi z Ethereum, w tym zarządzaniem DAO, administracją zdecentralizowanymi systemami i okresami wyzwań dla optymistycznych rollupów, przy jednoczesnym doradzaniu stypendystom OpenLab. | |
| Bezpieczeństwo | Badania | Bezpieczeństwo EL+CL i Glamsterdam | Zwiększa bezpieczeństwo Ethereum poprzez proaktywne identyfikowanie luk w klientach warstwy wykonawczej i warstwy konsensusu przed aktualizacją Glamsterdam. Badania te wzmacniają odporność sieci. | |
| Węzły i klienty | Aplikacja | Lodestar 2026 | Rozwija i utrzymuje klienta konsensusu Lodestar, wdrażając twarde rozwidlenia i wnosząc wkład w badania nad protokołem. Wspiera to doświadczenia użytkowników (UX) operatorów i narzędzia ekosystemu dla społeczności Ethereum korzystających z TypeScript i Zig. | Link |
| Protokół Ethereum | Aplikacja | Lighthouse – od maja do października 2026 r. | Rozwój klienta Lighthouse jest kontynuowany z ePBS, Gloas i obsługą sieci częściowych wiadomości dla sieci głównej. Prace te rozszerzają synchronizację drzewa (tree sync), framework testowy Diamond i konsensus weryfikowany za pomocą ZK. Postępują również prace nad weryfikacją formalną i wzmacnianiem klienta. | Link |
| Kryptografia | Narzędzia dla deweloperów | Narzędzia Poulpy PIR | Rozwija produkcyjną bibliotekę Private Information Retrieval opartą na języku Rust. Umożliwia to wydajne, wsadowane zapytania do baz danych klucz-wartość o rozmiarze do 32 GB, optymalizując komunikację między serwerem a klientem bez konieczności utrzymywania stanu. | Link |
| Protokół Ethereum | Narzędzia dla deweloperów | ETHeorem | Mapując specyfikacje konsensusu Ethereum na implementacje klientów, ETHeorem umożliwia systematyczną ocenę bezpieczeństwa w Lighthouse, Prysm, Geth i Reth. Ten system agentowy łączy modele LLM z analizą programów w celu zapewnienia pełnego pokrycia stosu (full-stack). | |
| Protokół Ethereum | Aplikacja | Ream – odchudzony klient konsensusu w języku Rust | Rozwija Ream, odchudzonego klienta konsensusu opartego na języku Rust, aby rozwijać konsensus gotowy na erę postkwantową z szybką ostatecznością i 4-sekundowymi slotami. To odnowienie wspiera rozwój głównego klienta, wzmacnianie infrastruktury testowej i skalowanie sieci deweloperskich (devnets) do 10 000 walidatorów. | Link |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Robust Incentives Group | Modeluje zachęty ekonomiczne i zachowania uczestników w celu optymalizacji teorii gier protokołu, zwiększając stabilność i wydajność sieci. | |
| Infrastruktura aplikacji | Badania | Optymalizacja LLM dla Ethereum (Inseeq) | Wzbogaca modele sztucznej inteligencji o aktualne narzędzia deweloperskie Ethereum i dane ethskills. Poprawia to dokładność LLM i wzmacnia atrakcyjność Ethereum dla deweloperów poszukujących blockchaina do budowania swoich rozwiązań. | Link |
| Kryptografia | Badania | Przegląd techniczny transformacji Fiat-Shamir z gąbek dupleksowych (Duplex Sponges) | Audytuje argumenty bezpieczeństwa transformacji Fiat-Shamir realizowanych za pomocą gąbek dupleksowych. Praca ta wyjaśnia kluczowe abstrakcje, aby wesprzeć przyszłą formalizację w języku Lean, wzmacniając systemy dowodów z wiedzą zerową. | |
| Dowody z wiedzą zerową | Badania | Dodatkowy sprzęt Ethproofs – Brevis | Brevis buduje lokalny (on-premise), wieloprocesorowy (multi-GPU) stos do dowodzenia bloków warstwy 1 (L1), aby przetestować odporność operacyjną w świecie rzeczywistym. Inicjatywa ta wygeneruje otwartoźródłowy przewodnik operacyjny On-Prem Ops Playbook dla przyszłych proverów. | |
| Protokół Ethereum | Rozwój ekosystemu | Priorytety quic-go dla ethp2p | Ulepsza quic-go, implementację QUIC w języku Go, która stanowi podstawę sieci warstwy konsensusu Ethereum. Praca ta poprawia wydajność, możliwości transportowe i efektywność połączeń dla go-libp2p. | |
| Infrastruktura aplikacji | Narzędzia dla deweloperów | Web3j: Utrzymanie infrastruktury integracji Ethereum z JVM i systemem Android | Utrzymuje Web3j, dominującą bibliotekę klienta JVM, w synchronizacji z nadchodzącym twardym rozwidleniem Glamsterdam. Zapewnia to ciągłą, bezproblemową integrację dla aplikacji w językach Java, Kotlin i na system Android, wraz z dokumentacją ukierunkowaną na sztuczną inteligencję. | Link |
| Dowody z wiedzą zerową | Badania | Dodatkowy sprzęt Ethproofs – Succinct Labs | Succinct przenosi dowodzenie bloków warstwy 1 (L1) do lokalnych konfiguracji multi-GPU. Przetestuje to odporność operacyjną i zmniejszy zależność od chmury, generując otwartoźródłowy przewodnik operacyjny On-Prem Ops Playbook dla przyszłych proverów. | |
| Dowody z wiedzą zerową | Badania | Dodatkowy sprzęt Ethproofs – SilentSig | Umożliwia ZisK przejście z ich stosem do dowodzenia bloków warstwy 1 (L1) na lokalne konfiguracje multi-GPU. Inicjatywa ta wygeneruje otwartoźródłowy przewodnik operacyjny On-Prem Ops Playbook, aby zmniejszyć zależność ekosystemu od scentralizowanych dostawców chmurowych. | |
| Inne | Rozwój ekosystemu | Program szkolenia trenerów z zakresu programu nauczania o blockchainie dla Mindanao | Umożliwia 8 filipińskim instytucjom akademickim opracowanie programów nauczania o blockchainie. Wspiera wykładowców w stawaniu się trenerami, promując lokalną edukację na temat Ethereum poprzez 6-dniowy program. | |
| Infrastruktura aplikacji | Narzędzia dla deweloperów | mevlog-rs – CLI/TUI do zapytań o transakcje EVM napędzane przez Revm | Indeksuje dane onchain do lokalnej bazy danych SQLite, dostępnej przez TUI i MCP. Narzędzie to umożliwia elastyczne lokalne zapytania i udostępnianie wyników przez IPFS dla deweloperów i agentów LLM. | Link |
| Protokół Ethereum | Badania | Asercje transakcji | Umożliwia użytkownikom programową weryfikację wyników transakcji przed podpisywaniem za pomocą EIP-7906. Obejmuje to pozytywne i negatywne warunki względem dowolnego inteligentnego kontraktu, zwiększając bezpieczeństwo i kontrolę użytkownika. | Link |
| Warstwa aplikacji | Aplikacja | Steward, suwerenny portfel Ethereum z asystentem AI na urządzeniu | Buduje Steward, w pełni lokalny portfel inteligentnego konta Ethereum na system macOS. Każdy komponent, od lekkiego klienta po asystenta AI, działa na urządzeniu, zapewniając weryfikowalne bezpieczeństwo end-to-end i suwerenność. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Kryptografia | Opracowuje nowe prymitywy kryptograficzne i protokoły bezpieczeństwa, zwiększając fundamentalne bezpieczeństwo i prywatność Ethereum dla wszystkich użytkowników. | |
| Prywatność | Badania | Projekt Open Anonymity | Umożliwia niepowiązany dostęp do zamkniętych usług API, zaczynając od wnioskowania AI. Ten otwartoźródłowy, modułowy stos wykorzystuje ślepe podpisy i serwery przyjazne dla TEE do anonimowej weryfikacji kredytów. | |
| Dowody z wiedzą zerową | Badania | Dodatkowy sprzęt Ethproofs – Matter Labs | Ulepsza stos do dowodzenia bloków warstwy 1 (L1) firmy Matter Labs poprzez przejście na lokalne konfiguracje multi-GPU. Inicjatywa ta testuje odporność operacyjną i zmniejsza zależność od chmury, generując otwartoźródłowy przewodnik operacyjny On-Prem Ops Playbook. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Badania nad kryptografią | Formalizuje model bezpieczeństwa szyfrowanych mempooli (Encrypted Mempools), zwiększając prywatność transakcji i odporność sieci dla użytkowników Ethereum. | |
| Bezpieczeństwo | Narzędzia dla deweloperów | Verity | Rozwija Verity, język inteligentnych kontraktów oparty na Lean 4 i formalnie zweryfikowany kompilator. Umożliwia on deweloperom pisanie, formalne specyfikowanie i dowodzenie właściwości kontraktów, z kompilacją do kodu bajtowego EVM o zweryfikowanej semantyce. | Link |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Snarkifikacja protokołu | Weryfikuje protokoły kryptograficzne i obwody zkVM, zapewniając matematyczną poprawność infrastruktury skalowania Ethereum za pomocą metod formalnych. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Robust Incentives Group | Optymalizuje teorię gier protokołu poprzez zastosowanie projektowania mechanizmów i modelowania ekonomicznego w celu zrozumienia i poprawy zachęt dla uczestników. | |
| Protokół Ethereum | Rozwój ekosystemu | Prace eksploracyjne nad ZK i testowaniem | Bada zachowanie środowiska uruchomieniowego zkVM na różnorodnym sprzęcie w celu optymalizacji wydajności dowodzenia. Badania te mają na celu zidentyfikowanie wąskich gardeł i umożliwienie bardziej praktycznego dowodzenia w czasie zbliżonym do rzeczywistego dla aplikacji w sieci głównej Ethereum. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Geth | Wspiera rozwój głównego protokołu Geth, utrzymanie klienta i wdrażanie nowych propozycji ulepszeń Ethereum (EIP). | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Prototypowanie protokołu | Przekłada nowatorskie badania nad protokołem na działający kod. Umożliwia to empiryczne testowanie założeń teoretycznych i kwantyfikację kompromisów projektowych dla przyszłych aktualizacji Ethereum. | |
| Bezpieczeństwo | Aplikacja | SafeLens | Umożliwia weryfikację offline transakcji multisig Gnosis Safe. SafeLens generuje pakiety dowodowe dla podpisów, skrótów (hashy) i wzbogaconych dowodów, pozwalając na lokalne odtwarzanie transakcji i czytelne dla człowieka szczegóły za pośrednictwem wbudowanych interpreterów. | Link |
| Dowody z wiedzą zerową | Badania | Inicjatywa lokalnych proverów multi-GPU Ethproofs – SilentSig | Umożliwia ZisK przejście z dowodzeniem bloków warstwy 1 (L1) na lokalne konfiguracje multi-GPU. Inicjatywa ta testuje odporność operacyjną i zmniejsza zależność od chmury, generując otwartoźródłowy przewodnik operacyjny On-Prem Ops Playbook dla ekosystemu. | Link |
| Dowody z wiedzą zerową | Badania | Inicjatywa lokalnych proverów multi-GPU Ethproofs – Brevis | Opracowuje otwartoźródłowy przewodnik operacyjny On-Prem Ops Playbook, umożliwiając proverom bloków warstwy 1 (L1) przejście ze środowisk hostowanych w chmurze na odporne konfiguracje multi-GPU, zmniejszając scentralizowane zależności. | Link |
| Węzły i klienty | Aplikacja | Gean, odchudzony klient konsensusu Ethereum | Buduje długoterminową odporność Ethereum dzięki Gean, nowemu klientowi konsensusu opartemu na języku Go. Ta otwartoźródłowa implementacja zastępuje kryptografię podatną na ataki kwantowe i dywersyfikuje ekosystem klientów z Afryki. | Link |
| Prywatność | Narzędzia dla deweloperów | Prywatne odczyty Quixote + integracja z Aave | Ulepsza Quixote, napisany w języku Rust indekser zdarzeń EVM, o prywatne odczyty oparte na sieci Tor i obsługę GraphQL. Demonstruje jego wartość poprzez integrację z frontendem Aave, zastępując TheGraph w celu poprawy dostępu do danych. | Link |
| Bezpieczeństwo | Narzędzia dla deweloperów | Agenci bezpieczeństwa protokołu Ethereum – SPECA i LeanAgent | Rozwija system oparty na LLM do automatyzacji sprawdzania zgodności ze specyfikacją klientów Ethereum i odkrywania błędów. Obejmuje to weryfikację formalną Gasper w Lean 4 oraz potok (pipeline) do łączenia wyników SPECA z formalnymi specyfikacjami Lean 4. | |
| Bezpieczeństwo | Narzędzia dla deweloperów | Analizator kodu Cantina Apex AI pod kątem luk w zabezpieczeniach | Zwiększa poziom bezpieczeństwa Ethereum dzięki 52 skanom inteligentnych kontraktów opartym na sztucznej inteligencji dla repozytoriów klientów i protokołów w ciągu następnego roku. | |
| Kryptografia | Badania | leanVM w ramach ograniczeń sieci Bitcoin | Optymalizuje agregację podpisów postkwantowych leanVM dla warstwy konsensusu Ethereum. Praca ta zwiększa szybkość, poprawia wydajność i zapewnia kompatybilność z siecią Bitcoin w celu ustanowienia standardu branżowego. | Link |
| Inne | Rozwój ekosystemu | Programowanie konwergencji AI i Ethereum w Rzymie | Wspierając punkt styku AI i Ethereum, Urbe Hub w Rzymie organizuje cykliczne warsztaty, dema i sesje dla budowniczych. Inicjatywa ta kultywuje wydarzenia sprzyjające wymianie pomysłów, wzmacniając obie społeczności i współpracując z zespołem EF dAI. | Link |
| Kryptografia | Narzędzia dla deweloperów | Szybka arytmetyka ciał dla CompPoly | Rozwija wydajne, zweryfikowane implementacje ciał pierwszych i binarnych ciał wieżowych (binary tower fields) w Lean4. Praca ta obejmuje małe ciała STARK, duże ciała SNARK/krzywych oraz binarne ciała wieżowe, z których wszystkie zostały udowodnione jako poprawne za pomocą RingEquiv. | Link |
| Warstwa aplikacji | Badania | Badania i rozwój nad „racjonalnie niezbędnymi” przypadkami użycia Ethereum na granicy możliwości (Frontier) | Bada unikalne przypadki użycia Ethereum mające wpływ na świat rzeczywisty. Badania te eksplorują również nowatorskie struktury organizacyjne wykraczające poza tradycyjne konfiguracje krypto. | |
| Dowody z wiedzą zerową | Narzędzia dla deweloperów | Biblioteka wielomianów CompPoly w Lean – części mapy drogowej 2 | Optymalizuje ewaluację wielomianów w CompPoly przy użyciu metod Hornera, wsadowych i NTT. Implementuje i weryfikuje algorytm Guruswami-Sudana dla zkVM, wraz z dowodami w Lean i testami wydajności (benchmarks). | Link |
| Bezpieczeństwo | Aplikacja | Analiza zgodności klientów Ethereum oparta na LLM | Zwiększa bezpieczeństwo klientów Ethereum poprzez wdrożenie agentów AI do skanowania Geth, Nethermind, Lighthouse i Prysm pod kątem specyfikacji EIP, identyfikując rozbieżności i błędy w przypadkach brzegowych. | |
| Inne | Badania | Instrumenty kapitałowe onchain dla cyfrowych dóbr publicznych | Opracowuje instrumenty finansowania ESG onchain dla cyfrowych dóbr publicznych, wykorzystując Ethereum do przeniesienia finansowania dóbr publicznych z dotacji na skalowalne rynki kapitałowe. Inicjatywa ta projektuje mechanizmy podobne do obligacji dla infrastruktury na dużą skalę. | Link |
| Kryptografia | Narzędzia dla deweloperów | Wielomiany dwóch zmiennych — CompPoly faza 2, pozycja 6 | Rozszerza CompPoly o zaawansowane operacje na wielomianach dwóch zmiennych, w tym infrastrukturę Guruswami-Sudana i optymalizacje wydajności, takie jak podstawienie Kroneckera, usprawniając rozwój prymitywów kryptograficznych. | |
| Kryptografia | Badania | Problem rekursywnej ekstrakcji | Bada bezpieczeństwo rekursywnych SNARKów, sondując granice ekstraktorów wiedzy w głębokiej rekursji. Badania te przeanalizują warianty SNARK z superwielomianową złożonością ekstraktora, aby dostarczyć informacji dla nowych frameworków dowodowych dla systemów w świecie rzeczywistym. | |
| Kryptografia | Rozwój ekosystemu | Wydajny jednoserwerowy PIR dla indekserów Ethereum | Ocenia nowoczesne schematy Private Information Retrieval pod kątem dostępu do danych Ethereum. Praca ta określi najnowocześniejszy schemat, wraz z testami wielokrotnego użytku, aby zwiększyć prywatność użytkowników i zmniejszyć ryzyko MEV. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Poseidon | Opracowuje wydajne schematy podpisów postkwantowych dla warstwy wykonawczej Ethereum, wykorzystując konstrukcje oparte na Poseidon, aby przygotować sieć na transformację postkwantową. | |
| Dowody z wiedzą zerową | Badania | Inicjatywa lokalnych proverów multi-GPU Ethproofs – Matter Labs | Decentralizuje dowodzenie bloków warstwy 1 (L1) poprzez przeniesienie infrastruktury z chmury do lokalnych konfiguracji multi-GPU. Inicjatywa ta udostępni jako open-source przewodnik operacyjny On-Prem Ops Playbook, zapewniając plan dla przyszłych proverów w celu zwiększenia odporności. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | STEEL | Ulepsza główne specyfikacje Ethereum w języku Python (EELS) i zestawy testów (EEST). Ta kluczowa praca zapewnia kompatybilność klientów i wzmacnia konsensus sieci. | |
| Prywatność | Aplikacja | Wsparcie frontendu portfela Kohaku – kontynuacja | Refaktoryzuje portfel w rozszerzeniu przeglądarki Kohaku i integrację z Railgun SDK. Praca ta zwiększa łatwość utrzymania i modułowość, rozwijając portfel w celu szerszej adopcji i wkładu społeczności. | Link |
| Inne | Rozwój ekosystemu | Rezydencja offline Bhutan Blockchain 2026 | Kształci nową kohortę deweloperów Ethereum w Bhutanie poprzez intensywną rezydencję. Program ten wspiera lokalne talenty i zasiewa samowystarczalną społeczność deweloperów w regionie. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | PandaOps | Umożliwia bezpieczne, dobrze przetestowane aktualizacje sieci poprzez budowanie niestandardowych narzędzi, skryptów wdrożeniowych i potoków danych dla działu badań i rozwoju (R&D) protokołu. | |
| Infrastruktura aplikacji | Rozwój ekosystemu | Open Intents Framework – adopcja i utrzymanie 2026 | Rozwija Open Intents Framework, usprawniając międzyłańcuchowe równoważenie płynności i wspierając rozwój specyfikacji ERC-7683. Rozszerza to możliwości wielołańcuchowe (multi-chain) i narzędzia dla Ethereum. | |
| Protokół Ethereum | Rozwój ekosystemu | Politechnika w Hongkongu – sponsorowanie Centrum Badawczego Technologii Blockchain (RCBT) | Wspiera doskonałość akademicką w technologii blockchain poprzez stypendia dla wybitnych studentów MScBT. Wspiera rozwój talentów i zaangażowanie w Devconnect/Devcon, a także sponsoruje Asiacrypt 2026. | |
| Dowody z wiedzą zerową | Rozwój ekosystemu | Wkład w mapę drogową CompPoly — potęgowanie, transformacje wieloliniowe, ECC | Optymalizuje potęgowanie i dowodzi równoważności transformacji wieloliniowych dla CompPoly. Integruje interpolację z korekcją błędów za pomocą algorytmu Berlekampa-Welcha, zwiększając solidność protokołu. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Konsensus protokołu | Analizuje i projektuje zaawansowane mechanizmy konsensusu. Praca ta wzmacnia gwarancje protokołu, wspierając długoterminową decentralizację sieci. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Koordynacja finansowania | Ułatwia nawiązywanie kontaktów między stypendystami EF a zewnętrznymi źródłami finansowania. Pomaga to kluczowym projektom tworzącym dobra publiczne w zabezpieczeniu niezbędnego wsparcia ze strony partnerów rządowych, filantropijnych i ekosystemowych. | |
| Dowody z wiedzą zerową | Badania | Inicjatywa lokalnych proverów multi-GPU Ethproofs – Succinct Labs | Umożliwia zdecentralizowanym proverom przejście z chmury na lokalne konfiguracje multi-GPU. Inicjatywa ta zaowocuje otwartoźródłowym przewodnikiem operacyjnym On-Prem Ops Playbook, wzmacniając odporność ekosystemu i zmniejszając zależność od scentralizowanej infrastruktury. | |
| Bezpieczeństwo | Narzędzia dla deweloperów | Octane: Bezpieczeństwo protokołu oparte na LLM dla klientów Ethereum | Zwiększa bezpieczeństwo inteligentnych kontraktów dzięki wykrywaniu luk opartemu na sztucznej inteligencji. Subskrypcja ta zapewnia 25 kompleksowych skanów, pulpit nawigacyjny projektu i wsparcie VIP dla maksymalnie czterech projektów klienckich. | Link |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | zkEVM | Rozwija badania nad zkEVM, opracowując rozwiązania skalujące i integrując dowody z wiedzą zerową bezpośrednio w warstwie wykonawczej Ethereum. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Bezpieczeństwo protokołu | Zwiększa poziom bezpieczeństwa Ethereum poprzez proaktywne przeglądy kodu, zaawansowane narzędzia i solidne zarządzanie programem nagród za znalezienie błędów (bug bounty). | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Konsensus protokołu | Analiza mechanizmów konsensusu w celu wzmocnienia długoterminowej decentralizacji. Badania te pomagają zniwelować lukę między obecnymi gwarancjami protokołu a przyszłymi celami sieci. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Kryptografia | Wspiera badania nad zaawansowanymi prymitywami kryptograficznymi i protokołami bezpieczeństwa, zapewniając ciągłe przywództwo Ethereum w bezpiecznej technologii chroniącej prywatność. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | Kryptografia | Rozwija bezpieczeństwo kryptograficzne Ethereum poprzez projektowanie i analizę nowych prymitywów i protokołów. Zapewnia to solidną technologię chroniącą prywatność na przyszłość. | |
| Protokół Ethereum | Rozwój ekosystemu | Dzień zweryfikowanego zkEVM ArkLib na ZKProof 8 | Rozszerza wysiłki na rzecz standaryzacji ZKP, gromadząc ponad 1000 praktyków podczas Dnia ArkLib na ZKProof 8. Wydarzenie to sprzyja współpracy w zakresie weryfikacji formalnej i stosowanych dowodów z wiedzą zerową. | Link |
| Bezpieczeństwo | Narzędzia dla deweloperów | Kompilator Noir do LLZK | Rozwija kompilator Noir do LLZK, łącząc dwa kluczowe ekosystemy SNARK. Zwiększa to interoperacyjność i poszerza bazę deweloperów dla narzędzi LLZK, wzmacniając wysiłki Ethereum na rzecz bezpieczeństwa SNARK. | Link |
| Warstwa aplikacji | Narzędzia dla deweloperów | Komponowalna orkiestracja, wsadowanie UX Ethereum i interoperacyjność | Umożliwia dynamiczne wsadowanie inteligentnych kont i wykonywanie oparte na predykatach. Projekt ten standaryzuje i udostępnia jako open-source produkcyjny stos orkiestracji, czyniąc komponowalne, wieloetapowe i wielołańcuchowe (multi-chain) transakcje dobrem publicznym dla ekosystemu Ethereum. | Link |
| Dowody z wiedzą zerową | Narzędzia dla deweloperów | Ulepszona infrastruktura dowodzenia dla zkVM RISC-V | Weryfikuje arytmetyzację SP1 Hypercube zkVM przy użyciu Lean 4, formalnie dowodząc, że jego systemy ograniczeń poprawnie implementują semantykę RISC-V ISA dla każdej instrukcji. | |
| Protokół Ethereum | Rozwój ekosystemu | Program stażowy 2026 | zkEVM | Rozwija badania nad zkEVM, opracowując rozwiązania skalujące i integrując dowody z wiedzą zerową bezpośrednio w warstwie wykonawczej Ethereum w celu zwiększenia wydajności. | |
| Prywatność | Aplikacja | Wsparcie frontendu portfela Kohaku | Udoskonala rozszerzenie przeglądarki Kohaku w celu zapewnienia solidnego, stawiającego na prywatność UX portfela w sieci Sepolia. Integruje Privacy Pools i Railgun, optymalizując rozwidlenie Ambire i przepływy użytkowników. | Link |
Łączna kwota przyznana w II kwartale 2026 r.: 5 502 930,20 USD