Le deuxième trimestre 2026 a poursuivi notre objectif d'améliorer la résilience et les capacités d'Ethereum, en soutenant des travaux clés dans les preuves à divulgation nulle de connaissance, la diversité des clients, la vérification formelle et les outils open source. Consultez la liste ci-dessous des projets et des efforts de l'écosystème soutenus ce trimestre alors que les constructeurs développent et renforcent le réseau.
Explorez la liste complète des projets financés par l'EF sur le site web de l'ESP ici !
| Domaine | Catégorie | Nom du projet | Description | Lien/Dépôt |
|---|---|---|---|---|
| DAO/Gouvernance | Recherche | Bourse de recherche universitaire : Études sur Ethereum (Année universitaire 2025-2026) | Permet au professeur Strnad de consacrer un temps de recherche substantiel aux problèmes axés sur Ethereum, y compris la gouvernance des DAO, l'administration de systèmes décentralisés et les périodes de défi des rollups optimistes, tout en conseillant les chercheurs de l'OpenLab. | |
| Sécurité | Recherche | Sécurité EL+CL et Glamsterdam | Améliore la sécurité d'Ethereum en identifiant de manière proactive les vulnérabilités dans les clients de la couche d'exécution et de la couche de consensus avant la mise à niveau Glamsterdam. Cette recherche renforce la résilience du réseau. | |
| Nœuds et clients | Application | Lodestar 2026 | Développe et maintient le client de consensus Lodestar, en implémentant les hard forks et en contribuant à la recherche sur le protocole. Cela soutient l'expérience utilisateur des opérateurs et les outils de l'écosystème pour les communautés Ethereum TypeScript et Zig. | Lien |
| Protocole Ethereum | Application | Lighthouse - Mai à octobre 2026 | Le développement du client Lighthouse se poursuit avec l'ePBS, Gloas et la mise en réseau de messages partiels pour le réseau principal. Ce travail étend la synchronisation d'arbres, le framework de test Diamond et le consensus vérifié par ZK. Les efforts de vérification formelle et de renforcement du client progressent également. | Lien |
| Cryptographie | Outils pour développeurs | Outils PIR Poulpy | Développe une bibliothèque de récupération d'informations privées (PIR) de niveau production, basée sur Rust. Cela permet des requêtes efficaces et traitées par lots pour des bases de données clé-valeur allant jusqu'à 32 Go, optimisant la communication entre le serveur et le client sans nécessiter d'état. | Lien |
| Protocole Ethereum | Outils pour développeurs | ETHeorem | Mappant les spécifications de consensus d'Ethereum aux implémentations de clients, ETHeorem permet une évaluation systématique de la sécurité sur Lighthouse, Prysm, Geth et Reth. Ce système agentique combine les LLM avec l'analyse de programme pour une couverture complète de la pile. | |
| Protocole Ethereum | Application | Ream - Client de consensus Lean en Rust | Développe Ream, un client de consensus Lean basé sur Rust, pour faire progresser le consensus prêt pour le post-quantique avec une finalité rapide et des créneaux de 4 secondes. Ce renouvellement soutient le développement du client de base, le renforcement de l'infrastructure de test et la mise à l'échelle des réseaux de développement à 10 000 validateurs. | Lien |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Robust Incentives Group | Modélise les incitations économiques et le comportement des participants pour optimiser la théorie des jeux du protocole, améliorant ainsi la stabilité et l'efficacité du réseau. | |
| Infrastructure d'application | Recherche | Optimisation des LLM pour Ethereum (Inseeq) | Améliore les modèles d'IA avec les outils de développement Ethereum actuels et les données ethskills. Cela améliore la précision des LLM et renforce l'attrait d'Ethereum pour les développeurs à la recherche d'une chaîne de blocs sur laquelle construire. | Lien |
| Cryptographie | Recherche | Examen technique de Fiat-Shamir à partir d'éponges duplex | Audite les arguments de sécurité des transformations de Fiat-Shamir instanciées via des éponges duplex. Ce travail clarifie les abstractions clés pour soutenir la future formalisation Lean, renforçant ainsi les systèmes de preuve à divulgation nulle de connaissance. | |
| Preuves à divulgation nulle de connaissance | Recherche | Matériel supplémentaire Ethproofs - Brevis | Brevis construit une pile de preuve de bloc de couche 1 (l1) sur site et multi-GPU pour tester la résilience opérationnelle dans des conditions réelles. Cette initiative générera un guide d'opérations sur site open source pour les futurs prouveurs. | |
| Protocole Ethereum | Développement de l'écosystème | Priorités quic-go pour ethp2p | Améliore quic-go, l'implémentation QUIC en Go qui sous-tend la mise en réseau de la couche de consensus d'Ethereum. Ce travail améliore les performances, les capacités de transport et l'efficacité des connexions pour go-libp2p. | |
| Infrastructure d'application | Outils pour développeurs | Web3j : Soutenir l'infrastructure d'intégration JVM et Android d'Ethereum | Maintient Web3j, la bibliothèque client JVM dominante, en synchronisation avec le prochain hard fork Glamsterdam. Cela garantit une intégration continue et transparente pour les applications Java, Kotlin et Android, ainsi qu'une documentation ciblée sur l'IA. | Lien |
| Preuves à divulgation nulle de connaissance | Recherche | Matériel supplémentaire Ethproofs - Succinct Labs | Succinct déplace la preuve de bloc de couche 1 (l1) vers des configurations sur site et multi-GPU. Cela permettra de tester la résilience opérationnelle et de réduire la dépendance au cloud, en générant un guide d'opérations sur site open source pour les futurs prouveurs. | |
| Preuves à divulgation nulle de connaissance | Recherche | Matériel supplémentaire Ethproofs - SilentSig | Permet à ZisK de faire la transition de sa pile de preuve de bloc de couche 1 (l1) vers des configurations sur site et multi-GPU. Cette initiative générera un guide d'opérations sur site open source pour réduire la dépendance de l'écosystème aux fournisseurs de cloud centralisés. | |
| Autre | Développement de l'écosystème | Programme de formation des formateurs au programme d'études sur la chaîne de blocs pour Mindanao | Permet à 8 institutions académiques philippines de développer des programmes d'études sur la chaîne de blocs. Aide les professeurs à devenir des formateurs, favorisant l'éducation locale sur Ethereum grâce à un programme de 6 jours. | |
| Infrastructure d'application | Outils pour développeurs | mevlog-rs - CLI/TUI d'interrogation de transactions EVM propulsé par Revm | Indexe les données onchain dans une base de données SQLite locale, accessible via TUI et MCP. Cet outil permet une interrogation locale flexible et le partage IPFS des résultats pour les développeurs et les agents LLM. | Lien |
| Protocole Ethereum | Recherche | Assertions de transaction | Permet aux utilisateurs de vérifier par programmation les résultats des transactions avant la signature avec l'EIP-7906. Cela inclut des conditions positives et négatives par rapport à n'importe quel contrat intelligent, améliorant ainsi la sécurité et le contrôle de l'utilisateur. | Lien |
| Couche d'application | Application | Steward, un portefeuille Ethereum auto-souverain avec un assistant IA sur l'appareil | Construit Steward, un portefeuille de compte intelligent Ethereum macOS entièrement local. Chaque composant, du client léger à l'assistant IA, s'exécute sur l'appareil, garantissant une sécurité et une souveraineté vérifiables de bout en bout. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Cryptographie | Développe de nouvelles primitives cryptographiques et des protocoles de sécurité, améliorant la sécurité fondamentale et la confidentialité d'Ethereum pour tous les utilisateurs. | |
| Confidentialité | Recherche | The Open Anonymity Project | Permet un accès non reliable aux services d'API restreints, en commençant par l'inférence d'IA. Cette pile modulaire open source utilise des signatures aveugles et des serveurs compatibles TEE pour la vérification de crédit anonyme. | |
| Preuves à divulgation nulle de connaissance | Recherche | Matériel supplémentaire Ethproofs - Matter Labs | Améliore la pile de preuve de bloc de couche 1 (l1) de Matter Labs en passant à des configurations sur site et multi-GPU. Cette initiative teste la résilience opérationnelle et réduit la dépendance au cloud, en générant un guide d'opérations sur site open source. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Recherche en cryptographie | Formalise le modèle de sécurité des mempools chiffrés, améliorant la confidentialité des transactions et la résilience du réseau pour les utilisateurs d'Ethereum. | |
| Sécurité | Outils pour développeurs | Verity | Développe Verity, un langage de contrat intelligent basé sur Lean 4 et un compilateur formellement vérifié. Il permet aux développeurs d'écrire, de spécifier formellement et de prouver les propriétés du contrat, avec une compilation en bytecode EVM avec une sémantique vérifiée. | Lien |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Snarkification du protocole | Vérifie les protocoles cryptographiques et les circuits zkVM, garantissant l'exactitude mathématique de l'infrastructure de mise à l'échelle d'Ethereum grâce à des méthodes formelles. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Robust Incentives Group | Optimise la théorie des jeux du protocole en appliquant la conception de mécanismes et la modélisation économique pour comprendre et améliorer les incitations des participants. | |
| Protocole Ethereum | Développement de l'écosystème | Travaux d'exploration ZK + tests | Explore le comportement d'exécution des zkVM sur divers matériels pour optimiser les performances de preuve. Cette recherche vise à identifier les goulots d'étranglement et à permettre une preuve plus pratique, en temps quasi réel, pour les applications du réseau principal Ethereum. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Geth | Soutient le développement du protocole de base de Geth, la maintenance du client et l'implémentation de nouvelles propositions d'amélioration d'Ethereum. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Prototypage de protocole | Traduit la recherche sur de nouveaux protocoles en code fonctionnel. Cela permet de tester empiriquement les hypothèses théoriques et de quantifier les compromis de conception pour les futures mises à niveau d'Ethereum. | |
| Sécurité | Application | SafeLens | Permet la vérification hors ligne des transactions multisig Gnosis Safe. SafeLens génère des paquets de preuves pour les signatures, les hachages et les preuves enrichies, permettant la relecture locale des transactions et des détails lisibles par l'homme via des interpréteurs intégrés. | Lien |
| Preuves à divulgation nulle de connaissance | Recherche | Initiative de prouveur multi-GPU sur site Ethproofs - SilentSig | Permet à ZisK de faire la transition de la preuve de bloc de couche 1 (l1) vers des configurations sur site et multi-GPU. Cette initiative teste la résilience opérationnelle et réduit la dépendance au cloud, en générant un guide d'opérations sur site open source pour l'écosystème. | Lien |
| Preuves à divulgation nulle de connaissance | Recherche | Initiative de prouveur multi-GPU sur site Ethproofs - Brevis | Développe un guide d'opérations sur site open source, permettant aux prouveurs de blocs de couche 1 (l1) de passer d'environnements hébergés dans le cloud à des configurations multi-GPU résilientes, réduisant ainsi les dépendances centralisées. | Lien |
| Nœuds et clients | Application | Gean, un client de consensus Ethereum Lean | Construit la résilience à long terme d'Ethereum avec Gean, un nouveau client de consensus basé sur Go. Cette implémentation open source remplace la cryptographie vulnérable aux attaques quantiques et diversifie l'écosystème des clients depuis l'Afrique. | Lien |
| Confidentialité | Outils pour développeurs | Lectures privées Quixote + Intégration Aave | Améliore Quixote, un indexeur d'événements EVM en Rust, avec des lectures privées basées sur Tor et la prise en charge de GraphQL. Démontre sa valeur en l'intégrant dans l'interface utilisateur d'Aave, remplaçant TheGraph pour un meilleur accès aux données. | Lien |
| Sécurité | Outils pour développeurs | Agents de sécurité du protocole Ethereum - SPECA et LeanAgent | Développe un système propulsé par LLM pour automatiser la vérification de la conformité aux spécifications des clients Ethereum et la découverte de bugs. Cela inclut la vérification formelle de Gasper Lean 4 et un pipeline pour relier les sorties de SPECA aux spécifications formelles de Lean 4. | |
| Sécurité | Outils pour développeurs | Analyseur de code IA Cantina Apex pour les vulnérabilités de sécurité | Améliore la posture de sécurité d'Ethereum avec 52 analyses de contrats intelligents propulsées par l'IA pour les dépôts de clients et de protocoles au cours de l'année prochaine. | |
| Cryptographie | Recherche | leanVM sous contraintes Bitcoin | Optimise l'agrégation de signatures post-quantiques de leanVM pour la couche de consensus d'Ethereum. Ce travail augmente la vitesse, améliore l'efficacité et garantit la compatibilité avec Bitcoin pour établir une norme à l'échelle de l'industrie. | Lien |
| Autre | Développement de l'écosystème | Programmer la convergence IA x Ethereum à Rome | Favorisant l'intersection entre l'IA et Ethereum, Urbe Hub à Rome organise des ateliers récurrents, des démonstrations et des sessions de constructeurs. Cette initiative cultive des événements de pollinisation croisée, renforçant les deux communautés et collaborant avec l'équipe dAI de l'EF. | Lien |
| Cryptographie | Outils pour développeurs | Arithmétique de corps rapide pour CompPoly | Développe des implémentations efficaces et vérifiées de corps premiers et de tours de corps binaires dans Lean4. Ce travail couvre les petits corps STARK, les grands corps SNARK/courbes et les tours de corps binaires, tous prouvés corrects via RingEquiv. | Lien |
| Couche d'application | Recherche | R&D sur les cas d'utilisation Frontier « raisonnablement nécessaires » d'Ethereum | Étudie des cas d'utilisation uniques d'Ethereum ayant un impact dans le monde réel. Cette recherche explore également de nouvelles structures organisationnelles au-delà des configurations crypto traditionnelles. | |
| Preuves à divulgation nulle de connaissance | Outils pour développeurs | Bibliothèque Lean de polynômes CompPoly - Parties de la feuille de route 2 | Optimise l'évaluation polynomiale dans CompPoly en utilisant les méthodes de Horner, de traitement par lots et NTT. Implémente et vérifie l'algorithme de Guruswami-Sudan pour les zkVM, avec des preuves Lean et des benchmarks. | Lien |
| Sécurité | Application | Analyse de conformité des clients basée sur les LLM pour Ethereum | Améliore la sécurité des clients Ethereum en déployant des agents d'IA pour analyser Geth, Nethermind, Lighthouse et Prysm par rapport aux spécifications des EIP, en identifiant les divergences et les bugs de cas limites. | |
| Autre | Recherche | Instruments de capital onchain pour les biens publics numériques | Développe des instruments de financement ESG onchain pour les biens publics numériques, en tirant parti d'Ethereum pour faire passer le financement des biens publics des subventions aux marchés de capitaux évolutifs. Cette initiative conçoit des mécanismes de type obligataire pour les infrastructures à grande échelle. | Lien |
| Cryptographie | Outils pour développeurs | Polynômes bivariés — CompPoly Phase 2, Élément 6 | Étend CompPoly avec des opérations polynomiales bivariées avancées, y compris l'infrastructure Guruswami-Sudan et des optimisations de performances telles que la substitution de Kronecker, améliorant le développement de primitives cryptographiques. | |
| Cryptographie | Recherche | Le problème de l'extraction récursive | Étudie la sécurité des SNARK récursifs, en sondant les limites des extracteurs de connaissances dans la récursion profonde. Cette recherche analysera les variantes de SNARK avec une complexité d'extracteur superpolynomiale pour éclairer de nouveaux frameworks de preuve pour les systèmes du monde réel. | |
| Cryptographie | Développement de l'écosystème | PIR à serveur unique efficace pour les indexeurs Ethereum | Évalue les schémas modernes de récupération d'informations privées (PIR) pour l'accès aux données Ethereum. Ce travail spécifiera un schéma de pointe, complet avec des tests réutilisables, pour améliorer la confidentialité des utilisateurs et réduire les risques de MEV. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Poseidon | Développe des schémas de signature post-quantiques efficaces pour la couche d'exécution d'Ethereum, en tirant parti des constructions basées sur Poseidon pour préparer le réseau à la transition post-quantique. | |
| Preuves à divulgation nulle de connaissance | Recherche | Initiative de prouveur multi-GPU sur site Ethproofs - Matter Labs | Décentralise la preuve de bloc de couche 1 (l1) en déplaçant l'infrastructure du cloud vers des configurations sur site et multi-GPU. Cette initiative rendra open source un guide d'opérations sur site, fournissant un modèle aux futurs prouveurs pour améliorer la résilience. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | STEEL | Améliore les spécifications Python de base d'Ethereum (EELS) et les suites de tests (EEST). Ce travail critique garantit la compatibilité des clients et renforce le consensus du réseau. | |
| Confidentialité | Application | Support frontend du portefeuille Kohaku - Suivi | Refactorise le portefeuille d'extension de navigateur Kohaku et l'intégration du SDK Railgun. Ce travail améliore la maintenabilité et la modularité, faisant progresser le portefeuille pour une adoption plus large et des contributions de la communauté. | Lien |
| Autre | Développement de l'écosystème | Résidence hors ligne sur la chaîne de blocs au Bhoutan 2026 | Cultive une nouvelle cohorte de développeurs Ethereum au Bhoutan grâce à une résidence intensive. Ce programme favorise les talents locaux et sème les graines d'une communauté de développeurs autonome dans la région. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | PandaOps | Permet des mises à niveau du réseau sûres et bien testées en créant des outils personnalisés, des scripts de déploiement et des pipelines de données pour la R&D du protocole. | |
| Infrastructure d'application | Développement de l'écosystème | Open Intents Framework - Adoption et maintenance 2026 | Développe l'Open Intents Framework, améliorant le rééquilibrage de la liquidité inter-chaîne et soutenant le développement de la spécification ERC-7683. Cela étend les capacités multi-chaînes et les outils pour Ethereum. | |
| Protocole Ethereum | Développement de l'écosystème | Université polytechnique de Hong Kong - Parrainage du Centre de recherche pour la technologie de la chaîne de blocs (RCBT) | Favorise l'excellence académique dans la technologie de la chaîne de blocs grâce à des bourses pour des étudiants exceptionnels en MScBT. Soutient le développement des talents et l'engagement avec Devconnect/Devcon, tout en parrainant Asiacrypt 2026. | |
| Preuves à divulgation nulle de connaissance | Développement de l'écosystème | Contributions à la feuille de route CompPoly — Exponentiation, transformations multilinéaires, ECC | Optimise l'exponentiation et prouve l'équivalence des transformations multilinéaires pour CompPoly. Intègre l'interpolation correctrice d'erreurs via Berlekamp-Welch, améliorant la robustesse du protocole. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Consensus du protocole | Analyse et conçoit des mécanismes de consensus avancés. Ce travail renforce les garanties du protocole, favorisant la décentralisation du réseau à long terme. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Coordination du financement | Facilite les connexions entre les bénéficiaires de subventions de l'EF et les sources de financement externes. Cela aide les projets de biens publics essentiels à obtenir un soutien vital de la part de partenaires gouvernementaux, philanthropiques et de l'écosystème. | |
| Preuves à divulgation nulle de connaissance | Recherche | Initiative de prouveur multi-GPU sur site Ethproofs - Succinct Labs | Permet aux prouveurs décentralisés de passer du cloud à des configurations sur site et multi-GPU. Cette initiative produira un guide d'opérations sur site open source, renforçant la résilience de l'écosystème et réduisant la dépendance à l'infrastructure centralisée. | |
| Sécurité | Outils pour développeurs | Octane : Sécurité du protocole propulsée par LLM pour les clients Ethereum | Améliore la sécurité des contrats intelligents avec la détection de vulnérabilités propulsée par l'IA. Cet abonnement fournit 25 analyses complètes, un tableau de bord de projet et un support VIP pour un maximum de quatre projets clients. | Lien |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | zkEVM | Fait progresser la recherche sur le zkEVM, en développant des solutions de mise à l'échelle et en intégrant des preuves ZK directement dans la couche d'exécution d'Ethereum. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Sécurité du protocole | Améliore la posture de sécurité d'Ethereum grâce à des revues de code proactives, des outils avancés et une gestion robuste du programme de primes aux bugs (bug bounty). | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Consensus du protocole | Analyse les mécanismes de consensus pour renforcer la décentralisation à long terme. Cette recherche aide à combler l'écart entre les garanties actuelles du protocole et les futurs objectifs du réseau. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Cryptographie | Soutient la recherche sur les primitives cryptographiques avancées et les protocoles de sécurité, garantissant le leadership continu d'Ethereum dans les technologies sécurisées et préservant la confidentialité. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | Cryptographie | Fait progresser la sécurité cryptographique d'Ethereum en concevant et en analysant de nouvelles primitives et de nouveaux protocoles. Cela garantit une technologie robuste et préservant la confidentialité pour l'avenir. | |
| Protocole Ethereum | Développement de l'écosystème | Journée ArkLib zkEVM vérifié à ZKProof 8 | Étend les efforts de normalisation des ZKP en rassemblant plus de 1 000 praticiens lors de la journée ArkLib à ZKProof 8. Cet événement favorise la collaboration sur la vérification formelle et les preuves à divulgation nulle de connaissance appliquées. | Lien |
| Sécurité | Outils pour développeurs | Compilateur Noir vers LLZK | Développe un compilateur Noir vers LLZK, reliant deux écosystèmes SNARK critiques. Cela améliore l'interopérabilité et élargit la base de développeurs pour les outils LLZK, renforçant ainsi les efforts de sécurité SNARK d'Ethereum. | Lien |
| Couche d'application | Outils pour développeurs | Orchestration composable, traitement par lots de l'UX Ethereum et interopérabilité | Permet le traitement par lots dynamique des comptes intelligents et l'exécution basée sur des prédicats. Ce projet normalise et rend open source une pile d'orchestration de production, faisant des transactions multi-étapes et multi-chaînes composables un bien public pour l'écosystème Ethereum. | Lien |
| Preuves à divulgation nulle de connaissance | Outils pour développeurs | Infrastructure de preuve améliorée pour les zkVM RISC-V | Vérifie l'arithmétisation de la zkVM SP1 Hypercube à l'aide de Lean 4, en prouvant formellement que ses systèmes de contraintes implémentent correctement la sémantique de l'ISA RISC-V pour chaque instruction. | |
| Protocole Ethereum | Développement de l'écosystème | Programme de stage 2026 | zkEVM | Fait progresser la recherche sur le zkEVM, en développant des solutions de mise à l'échelle et en intégrant des preuves ZK directement dans la couche d'exécution d'Ethereum pour une efficacité accrue. | |
| Confidentialité | Application | Support frontend du portefeuille Kohaku | Affine l'extension de navigateur Kohaku pour une expérience utilisateur de portefeuille robuste et axée sur la confidentialité sur Sepolia. Intègre les Privacy Pools et Railgun, optimisant le fork Ambire et les flux d'utilisateurs. | Lien |
Total attribué au T2 2026 : 5 502 930,20 USD