Das zweite Quartal 2026 setzte unseren Fokus auf die Förderung der Widerstandsfähigkeit und der Fähigkeiten von Ethereum fort und unterstützte wichtige Arbeiten in den Bereichen Zero-Knowledge-Beweise, Client-Diversität, Formale Verifikation und Open-Source-Tools. Sehen Sie sich die unten stehende Liste der Projekte und Ökosystem-Bemühungen an, die in diesem Quartal unterstützt wurden, während Ersteller das Netzwerk aufbauen und stärken.
Entdecken Sie die vollständige Liste der von der EF finanzierten Projekte auf der ESP-Website hier!!
| Domain | Category | Project Name | Description | Link/Repo |
|---|---|---|---|---|
| DAOs/Governance | Forschung | Forschungsstipendium für Fakultäten: Ethereum-Studien (Studienjahr 2025–2026) | Ermöglicht es Prof. Strnad, beträchtliche Forschungszeit für Ethereum-spezifische Probleme aufzuwenden, einschließlich DAO-Governance, dezentraler Systemadministration und Herausforderungsfristen für Optimistic Rollups, während er OpenLab-Stipendiaten berät. | |
| Sicherheit | Forschung | EL+CL & Glamsterdam-Sicherheit | Verbessert die Sicherheit von Ethereum durch die proaktive Identifizierung von Schwachstellen in Clients der Ausführungsschicht und Konsensschicht im Vorfeld des Glamsterdam-Upgrades. Diese Forschung stärkt die Widerstandsfähigkeit des Netzwerks. | |
| Nodes und Clients | Anwendung | Lodestar 2026 | Entwickelt und wartet den Lodestar-Konsens-Client, implementiert Hard Forks und trägt zur Protokollforschung bei. Dies unterstützt die UX der Betreiber und das Ökosystem-Tooling für die TypeScript- und Zig-Ethereum-Communitys. | Link |
| Ethereum-Protokoll | Anwendung | Lighthouse – Mai bis Oktober 2026 | Die Entwicklung des Lighthouse-Clients wird mit ePBS, Gloas und partiellem Nachrichten-Networking für das Mainnet fortgesetzt. Diese Arbeit erweitert die Tree-Synchronisierung, das Diamond-Test-Framework und den ZK-verifizierten Konsens. Formale Verifikation und Bemühungen zur Client-Härtung schreiten ebenfalls voran. | Link |
| Kryptographie | Entwickler-Tools | Poulpy PIR-Tools | Entwickelt eine produktionsreife, Rust-basierte Private Information Retrieval-Bibliothek. Dies ermöglicht effiziente, gebündelte Abfragen für Schlüssel-Wert-Datenbanken bis zu 32 GB und optimiert die Server- und Client-Kommunikation, ohne einen Zustand zu erfordern. | Link |
| Ethereum-Protokoll | Entwickler-Tools | ETHeorem | ETHeorem ordnet Ethereum-Konsensspezifikationen den Client-Implementierungen zu und ermöglicht eine systematische Sicherheitsbewertung über Lighthouse, Prysm, Geth und Reth hinweg. Dieses agentenbasierte System kombiniert LLMs mit Programmanalyse für eine Full-Stack-Abdeckung. | |
| Ethereum-Protokoll | Anwendung | Ream – Lean-Konsens-Client in Rust | Entwickelt Ream, einen Rust-basierten Lean-Konsens-Client, um Post-Quanten-bereiten Konsens mit schneller Endgültigkeit und 4-Sekunden-Slots voranzutreiben. Diese Erneuerung unterstützt die Kern-Client-Entwicklung, die Härtung der Testinfrastruktur und die Skalierung von Devnets auf 10.000 Validatoren. | Link |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Robust Incentives Group | Modelliert wirtschaftliche Anreize und Teilnehmerverhalten zur Optimierung der Protokoll-Spieltheorie, was die Netzwerkstabilität und -effizienz verbessert. | |
| Anwendungsinfrastruktur | Forschung | Ethereum-LLM-Optimierung (Inseeq) | Erweitert KI-Modelle mit aktuellen Ethereum-Entwickler-Tools und ethskills-Daten. Dies verbessert die LLM-Genauigkeit und stärkt die Attraktivität von Ethereum für Entwickler, die eine Blockchain suchen, auf der sie aufbauen können. | Link |
| Kryptographie | Forschung | Technische Überprüfung von Fiat-Shamir aus Duplex-Sponges | Überprüft die Sicherheitsargumente von Fiat-Shamir-Transformationen, die über Duplex-Sponges instanziiert wurden. Diese Arbeit klärt Schlüsselabstraktionen, um die zukünftige Lean-Formalisierung zu unterstützen und Zero-Knowledge-Beweissysteme zu stärken. | |
| Zero-Knowledge-Beweise | Forschung | Ethproofs Zusätzliche Hardware – Brevis | Brevis baut einen On-Premise-Multi-GPU-L1-Block-Beweis-Stack auf, um die betriebliche Widerstandsfähigkeit in der Praxis einem Stresstest zu unterziehen. Diese Initiative wird ein Open-Source-On-Prem-Ops-Playbook für zukünftige Beweiser erstellen. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | quic-go-Prioritäten für ethp2p | Verbessert quic-go, die Go-QUIC-Implementierung, die dem Konsensschicht-Networking von Ethereum zugrunde liegt. Diese Arbeit verbessert die Leistung, die Transportfähigkeiten und die Verbindungseffizienz für go-libp2p. | |
| Anwendungsinfrastruktur | Entwickler-Tools | Web3j: Aufrechterhaltung der JVM- und Android-Integrationsinfrastruktur von Ethereum | Hält Web3j, die dominierende JVM-Client-Bibliothek, mit dem bevorstehenden Glamsterdam-Hard Fork synchronisiert. Dies gewährleistet eine weiterhin nahtlose Integration für Java-, Kotlin- und Android-Anwendungen, zusammen mit KI-zielgerichteter Dokumentation. | Link |
| Zero-Knowledge-Beweise | Forschung | Ethproofs Zusätzliche Hardware – Succinct Labs | Succinct verlagert das L1-Block-Beweisen auf On-Premise-Multi-GPU-Setups. Dies wird die betriebliche Widerstandsfähigkeit einem Stresstest unterziehen und die Cloud-Abhängigkeit verringern, wodurch ein Open-Source-On-Prem-Ops-Playbook für zukünftige Beweiser erstellt wird. | |
| Zero-Knowledge-Beweise | Forschung | Ethproofs Zusätzliche Hardware – SilentSig | Ermöglicht ZisK den Übergang ihres L1-Block-Beweis-Stacks zu On-Premise-Multi-GPU-Konfigurationen. Diese Initiative wird ein Open-Source-On-Prem-Ops-Playbook erstellen, um die Abhängigkeit des Ökosystems von zentralisierten Cloud-Anbietern zu verringern. | |
| Sonstiges | Ökosystem-Entwicklung | Blockchain-Lehrplan Train-the-Trainer-Programm für Mindanao | Ermöglicht 8 philippinischen akademischen Einrichtungen die Entwicklung von Blockchain-Lehrplänen. Unterstützt Lehrkräfte dabei, Ausbilder zu werden, und fördert die lokale Ethereum-Bildung durch ein 6-tägiges Programm. | |
| Anwendungsinfrastruktur | Entwickler-Tools | mevlog-rs – EVM-Transaktionsabfrage-CLI/TUI, angetrieben von Revm | Indiziert Onchain-Daten in eine lokale SQLite-Datenbank, die über TUI und MCP zugänglich ist. Dieses Tool ermöglicht Entwicklern und LLM-Agenten flexible lokale Abfragen und das Teilen von Ergebnissen über IPFS. | Link |
| Ethereum-Protokoll | Forschung | Transaktionszusicherungen | Ermöglicht es Benutzern, Transaktionsergebnisse vor dem Signieren mit EIP-7906 programmatisch zu überprüfen. Dies umfasst positive und negative Bedingungen gegenüber jedem Smart Contract, was die Sicherheit und Benutzerkontrolle verbessert. | Link |
| Anwendungsschicht | Anwendung | Steward, eine selbstsouveräne Ethereum-Wallet mit einem On-Device-KI-Assistenten | Baut Steward, eine vollständig lokale macOS-Ethereum-Smart Account-Wallet. Jede Komponente, vom Light-Client bis zum KI-Assistenten, läuft auf dem Gerät und gewährleistet so eine durchgängig verifizierbare Sicherheit und Souveränität. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Kryptographie | Entwickelt neuartige kryptographische Primitive und Sicherheitsprotokolle, die die grundlegende Sicherheit und Privatsphäre von Ethereum für alle Benutzer verbessern. | |
| Privatsphäre | Forschung | Das Open Anonymity Project | Ermöglicht nicht verknüpfbaren Zugriff auf zugangsbeschränkte API-Dienste, beginnend mit KI-Inferenz. Dieser modulare Open-Source-Stack verwendet blinde Signaturen und TEE-freundliche Server für die anonyme Kreditverifizierung. | |
| Zero-Knowledge-Beweise | Forschung | Ethproofs Zusätzliche Hardware – Matter Labs | Verbessert den L1-Block-Beweis-Stack von Matter Labs durch den Übergang zu On-Premise-Multi-GPU-Konfigurationen. Diese Initiative unterzieht die betriebliche Widerstandsfähigkeit einem Stresstest und verringert die Cloud-Abhängigkeit, wodurch ein Open-Source-On-Prem-Ops-Playbook erstellt wird. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Kryptographie-Forschung | Formalisiert das Sicherheitsmodell von verschlüsselten Mempools und verbessert so die Transaktions-Privatsphäre und die Netzwerk-Widerstandsfähigkeit für Ethereum-Benutzer. | |
| Sicherheit | Entwickler-Tools | Verity | Entwickelt Verity, eine Lean 4-basierte Smart Contract-Sprache und einen formal verifizierten Compiler. Es ermöglicht Entwicklern, Vertrags-Eigenschaften zu schreiben, formal zu spezifizieren und zu beweisen, wobei in EVM-Bytecode mit verifizierter Semantik kompiliert wird. | Link |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Protokoll-Snarkification | Verifiziert kryptographische Protokolle und zkVM-Schaltkreise und stellt die mathematische Korrektheit der Skalierungsinfrastruktur von Ethereum durch formale Methoden sicher. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Robust Incentives Group | Optimiert die Protokoll-Spieltheorie durch die Anwendung von Mechanism-Design und wirtschaftlicher Modellierung, um die Anreize der Teilnehmer zu verstehen und zu verbessern. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | ZK + Test-Explorationsarbeit | Untersucht das zkVM-Laufzeitverhalten auf verschiedener Hardware, um die Beweis-Leistung zu optimieren. Diese Forschung zielt darauf ab, Engpässe zu identifizieren und ein praktischeres Beweisen in nahezu Echtzeit für Ethereum-Mainnet-Anwendungen zu ermöglichen. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Geth | Unterstützt die Kern-Protokollentwicklung von Geth, die Client-Wartung und die Implementierung neuer Ethereum Improvement Proposals. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Protokoll-Prototyping | Übersetzt neuartige Protokollforschung in funktionierenden Code. Dies ermöglicht das empirische Testen theoretischer Annahmen und quantifiziert Design-Kompromisse für zukünftige Ethereum-Upgrades. | |
| Sicherheit | Anwendung | SafeLens | Ermöglicht die Offline-Verifizierung von Gnosis Safe-Multisig-Transaktionen. SafeLens generiert Beweispakete für Signaturen, Hashes und angereicherte Beweise, was eine lokale Transaktionswiederholung und menschenlesbare Details über integrierte Interpreter ermöglicht. | Link |
| Zero-Knowledge-Beweise | Forschung | Ethproofs On-Prem Multi-GPU-Beweiser-Initiative – SilentSig | Ermöglicht ZisK den Übergang des L1-Block-Beweisens zu On-Premise-Multi-GPU-Setups. Diese Initiative unterzieht die betriebliche Widerstandsfähigkeit einem Stresstest und verringert die Cloud-Abhängigkeit, wodurch ein Open-Source-On-Prem-Ops-Playbook für das Ökosystem erstellt wird. | Link |
| Zero-Knowledge-Beweise | Forschung | Ethproofs On-Prem Multi-GPU-Beweiser-Initiative – Brevis | Entwickelt ein Open-Source-On-Prem-Ops-Playbook, das es L1-Block-Beweisern ermöglicht, von in der Cloud gehosteten Umgebungen zu widerstandsfähigen Multi-GPU-Konfigurationen überzugehen und so zentralisierte Abhängigkeiten zu verringern. | Link |
| Nodes und Clients | Anwendung | Gean, ein Lean-Ethereum-Konsens-Client | Baut die langfristige Widerstandsfähigkeit von Ethereum mit Gean auf, einem neuen Go-basierten Konsens-Client. Diese Open-Source-Implementierung ersetzt quanten-anfällige Kryptographie und diversifiziert das Client-Ökosystem aus Afrika. | Link |
| Privatsphäre | Entwickler-Tools | Quixote Private Reads + Aave-Integration | Erweitert Quixote, einen Rust-EVM-Ereignis-Indexer, um Tor-basierte private Lesevorgänge und GraphQL-Unterstützung. Demonstriert seinen Wert durch die Integration in das Aave-Frontend und ersetzt TheGraph für einen verbesserten Datenzugriff. | Link |
| Sicherheit | Entwickler-Tools | Ethereum-Protokoll-Sicherheitsagenten – SPECA & LeanAgent | Entwickelt ein LLM-gestütztes System zur Automatisierung der Überprüfung der Client-Spezifikationskonformität von Ethereum und der Fehlererkennung. Dies umfasst die Formale Verifikation von Gasper Lean 4 und eine Pipeline, um SPECA-Ausgaben in formale Lean 4-Spezifikationen zu überbrücken. | |
| Sicherheit | Entwickler-Tools | Cantina Apex KI-Code-Analysator für Sicherheitslücken | Verbessert die Sicherheitslage von Ethereum mit 52 KI-gestützten Smart Contract-Scans für Client- und Protokoll-Repositories im nächsten Jahr. | |
| Kryptographie | Forschung | leanVM unter Bitcoin-Einschränkungen | Optimiert die Post-Quanten-Signaturaggregation von leanVM für die Konsensschicht von Ethereum. Diese Arbeit erhöht die Geschwindigkeit, verbessert die Effizienz und stellt die Bitcoin-Kompatibilität sicher, um einen branchenweiten Standard zu etablieren. | Link |
| Sonstiges | Ökosystem-Entwicklung | Programmierung der KI x Ethereum-Konvergenz in Rom | Zur Förderung der Schnittstelle zwischen KI und Ethereum veranstaltet der Urbe Hub in Rom wiederkehrende Workshops, Demos und Ersteller-Sitzungen. Diese Initiative kultiviert Cross-Pollination-Events, stärkt beide Communitys und arbeitet mit dem EF dAI-Team zusammen. | Link |
| Kryptographie | Entwickler-Tools | Schnelle Körperarithmetik für CompPoly | Entwickelt effiziente, verifizierte Implementierungen von Prim- und binären Tower-Körpern in Lean4. Diese Arbeit deckt kleine STARK-Körper, große SNARK-/Kurven-Körper und binäre Tower-Körper ab, die alle über RingEquiv als korrekt bewiesen wurden. | Link |
| Anwendungsschicht | Forschung | F&E für "vernünftigerweise notwendige" Frontier-Anwendungsfälle von Ethereum | Untersucht einzigartige Ethereum-Anwendungsfälle mit realen Auswirkungen. Diese Forschung erforscht auch neuartige Organisationsstrukturen jenseits traditioneller Krypto-Setups. | |
| Zero-Knowledge-Beweise | Entwickler-Tools | CompPoly Polynomials Lean-Bibliothek – Teile von Roadmap 2 | Optimiert die Polynomauswertung in CompPoly mithilfe von Horner-, Batch- und NTT-Methoden. Implementiert und verifiziert den Guruswami-Sudan-Algorithmus für zkVMs, komplett mit Lean-Beweisen und Benchmarks. | Link |
| Sicherheit | Anwendung | LLM-basierte Client-Konformitätsanalyse für Ethereum | Verbessert die Sicherheit von Ethereum-Clients durch den Einsatz von KI-Agenten, um Geth, Nethermind, Lighthouse und Prysm anhand von EIP-Spezifikationen zu scannen und Abweichungen sowie Edge-Case-Fehler zu identifizieren. | |
| Sonstiges | Forschung | Onchain-Kapitalinstrumente für digitale öffentliche Güter | Entwickelt Onchain-ESG-Finanzierungsinstrumente für digitale öffentliche Güter und nutzt Ethereum, um die Finanzierung öffentlicher Güter von Zuschüssen auf skalierbare Kapitalmärkte zu verlagern. Diese Initiative entwirft anleiheähnliche Mechanismen für groß angelegte Infrastrukturen. | Link |
| Kryptographie | Entwickler-Tools | Bivariate Polynome — CompPoly Phase 2, Punkt 6 | Erweitert CompPoly um fortgeschrittene bivariate Polynomoperationen, einschließlich Guruswami-Sudan-Infrastruktur und Leistungsoptimierungen wie der Kronecker-Substitution, was die Entwicklung kryptographischer Primitive verbessert. | |
| Kryptographie | Forschung | Das Problem der rekursiven Extraktion | Untersucht die Sicherheit rekursiver SNARKs und sondiert die Grenzen von Wissensextraktoren in tiefer Rekursion. Diese Forschung wird SNARK-Varianten mit superpolynomieller Extraktorkomplexität analysieren, um neue Beweis-Frameworks für reale Systeme zu informieren. | |
| Kryptographie | Ökosystem-Entwicklung | Effizientes Single-Server-PIR für Ethereum-Indexer | Evaluiert moderne Private Information Retrieval-Schemata für den Ethereum-Datenzugriff. Diese Arbeit wird ein hochmodernes Schema spezifizieren, komplett mit wiederverwendbaren Tests, um die Privatsphäre der Benutzer zu verbessern und MEV-Risiken zu reduzieren. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Poseidon | Entwickelt effiziente Post-Quanten-Signaturschemata für die Ausführungsschicht von Ethereum und nutzt Poseidon-basierte Konstruktionen, um das Netzwerk auf den Post-Quanten-Übergang vorzubereiten. | |
| Zero-Knowledge-Beweise | Forschung | Ethproofs On-Prem Multi-GPU-Beweiser-Initiative – Matter Labs | Dezentralisiert das L1-Block-Beweisen durch die Verlagerung der Infrastruktur von der Cloud zu On-Premise-Multi-GPU-Setups. Diese Initiative wird ein On-Prem-Ops-Playbook als Open Source veröffentlichen und so eine Blaupause für zukünftige Beweiser bieten, um die Widerstandsfähigkeit zu verbessern. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | STEEL | Verbessert die Kern-Python-Spezifikationen (EELS) und Test-Suites (EEST) von Ethereum. Diese kritische Arbeit stellt die Client-Kompatibilität sicher und stärkt den Netzwerk-Konsens. | |
| Privatsphäre | Anwendung | Kohaku Wallet-Frontend-Unterstützung – Follow-up | Überarbeitet die Kohaku-Browsererweiterungs-Wallet und die Railgun-SDK-Integration. Diese Arbeit verbessert die Wartbarkeit und Modularität und treibt die Wallet für eine breitere Akzeptanz und Community-Beiträge voran. | Link |
| Sonstiges | Ökosystem-Entwicklung | Bhutan Blockchain Offline Residency 2026 | Kultiviert durch eine intensive Residency eine neue Kohorte von Ethereum-Entwicklern in Bhutan. Dieses Programm fördert lokale Talente und sät eine sich selbst tragende Entwickler-Community in der Region. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | PandaOps | Ermöglicht sichere, gut getestete Netzwerk-Upgrades durch die Entwicklung von benutzerdefinierten Tools, Bereitstellungsskripten und Datenpipelines für die Protokoll-F&E. | |
| Anwendungsinfrastruktur | Ökosystem-Entwicklung | Open Intents Framework – Einführung & Wartung 2026 | Entwickelt das Open Intents Framework, das das kettenübergreifende Liquiditäts-Rebalancing verbessert und die Entwicklung der ERC-7683-Spezifikation unterstützt. Dies erweitert die Multi-Chain-Fähigkeiten und das Tooling für Ethereum. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Hong Kong Polytechnic University – Sponsoring des Research Centre for Blockchain Technology (RCBT) | Fördert akademische Exzellenz in der Blockchain-Technologie durch Stipendien für herausragende MScBT-Studenten. Unterstützt die Talententwicklung und das Engagement bei Devconnect/Devcon, neben dem Sponsoring der Asiacrypt 2026. | |
| Zero-Knowledge-Beweise | Ökosystem-Entwicklung | CompPoly-Roadmap-Beiträge — Exponentiation, multilineare Transformationen, ECC | Optimiert die Exponentiation und beweist die Äquivalenz multilinearer Transformationen für CompPoly. Integriert fehlerkorrigierende Interpolation über Berlekamp-Welch, was die Robustheit des Protokolls verbessert. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Protokoll-Konsens | Analysiert und entwirft fortschrittliche Konsensmechanismen. Diese Arbeit stärkt die Protokollgarantien und fördert die langfristige Dezentralisierung des Netzwerks. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Finanzierungskoordination | Erleichtert Verbindungen zwischen EF-Stipendiaten und externen Finanzierungsquellen. Dies hilft wesentlichen Projekten für öffentliche Güter, wichtige Unterstützung von Regierungs-, philanthropischen und Ökosystempartnern zu sichern. | |
| Zero-Knowledge-Beweise | Forschung | Ethproofs On-Prem Multi-GPU-Beweiser-Initiative – Succinct Labs | Ermöglicht es dezentralen Beweisern, von der Cloud zu On-Premise-Multi-GPU-Setups überzugehen. Diese Initiative wird ein Open-Source-On-Prem-Ops-Playbook hervorbringen, das die Widerstandsfähigkeit des Ökosystems stärkt und die Abhängigkeit von zentralisierter Infrastruktur verringert. | |
| Sicherheit | Entwickler-Tools | Octane: LLM-gestützte Protokoll-Sicherheit für Ethereum-Clients | Verbessert die Smart Contract-Sicherheit mit KI-gestützter Schwachstellenerkennung. Dieses Abonnement bietet 25 umfassende Scans, ein Projekt-Dashboard und VIP-Support für bis zu vier Client-Projekte. | Link |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | zkEVM | Treibt die ZK-EVM-Forschung voran, entwickelt Skalierungslösungen und integriert ZK-Beweise direkt in die Ausführungsschicht von Ethereum. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Protokoll-Sicherheit | Verbessert die Sicherheitslage von Ethereum durch proaktive Code-Reviews, fortschrittliche Tools und ein robustes Bug-Bounty-Programm-Management. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Protokoll-Konsens | Analysiert Konsensmechanismen, um die langfristige Dezentralisierung zu stärken. Diese Forschung hilft, die Lücke zwischen aktuellen Protokollgarantien und zukünftigen Netzwerkzielen zu schließen. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Kryptographie | Unterstützt die Forschung an fortschrittlichen kryptographischen Primitiven und Sicherheitsprotokollen und stellt so Ethereums anhaltende Führungsrolle bei sicherer, die Privatsphäre wahrender Technologie sicher. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | Kryptographie | Treibt die kryptographische Sicherheit von Ethereum durch das Entwerfen und Analysieren neuer Primitive und Protokolle voran. Dies gewährleistet eine robuste, die Privatsphäre wahrende Technologie für die Zukunft. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Verifizierter zkEVM ArkLib Day auf der ZKProof 8 | Erweitert die ZKP-Standardisierungsbemühungen, indem über 1.000 Praktiker am ArkLib Day auf der ZKProof 8 zusammengebracht werden. Diese Veranstaltung fördert die Zusammenarbeit bei der Formalen Verifikation und angewandten Zero-Knowledge-Beweisen. | Link |
| Sicherheit | Entwickler-Tools | Noir-zu-LLZK-Compiler | Entwickelt einen Noir-zu-LLZK-Compiler, der zwei kritische SNARK-Ökosysteme überbrückt. Dies verbessert die Interoperabilität und erweitert die Entwicklerbasis für LLZK-Tools, was die SNARK-Sicherheitsbemühungen von Ethereum stärkt. | Link |
| Anwendungsschicht | Entwickler-Tools | Zusammensetzbare Orchestrierung, Bündelung der Ethereum-UX und Interop | Ermöglicht dynamische Smart Account-Bündelung und prädikatbasierte Ausführung. Dieses Projekt standardisiert und veröffentlicht einen Produktions-Orchestrierungs-Stack als Open Source, wodurch zusammensetzbare, mehrstufige Multi-Chain-Transaktionen zu einem öffentlichen Gut für das Ethereum-Ökosystem werden. | Link |
| Zero-Knowledge-Beweise | Entwickler-Tools | Verbesserte Beweis-Infrastruktur für RISC-V-zkVMs | Verifiziert die Arithmetisierung der SP1 Hypercube zkVM mit Lean 4 und beweist formal, dass ihre Constraint-Systeme die RISC-V-ISA-Semantik für jede Anweisung korrekt implementieren. | |
| Ethereum-Protokoll | Ökosystem-Entwicklung | Praktikumsprogramm 2026 | zkEVM | Treibt die ZK-EVM-Forschung voran, entwickelt Skalierungslösungen und integriert ZK-Beweise direkt in die Ausführungsschicht von Ethereum für eine verbesserte Effizienz. | |
| Privatsphäre | Anwendung | Kohaku Wallet-Frontend-Unterstützung | Verfeinert die Kohaku-Browsererweiterung für eine robuste, auf Privatsphäre ausgerichtete Wallet-UX auf Sepolia. Integriert Privacy Pools und Railgun und optimiert den Ambire-Fork sowie die Benutzerabläufe. | Link |
Insgesamt vergeben im 2. Quartal 2026: 5.502.930,20 USD