DAOs/GouvernanceRechercheBourse de recherche professorale : Études Ethereum (Année académique 2025-2026)Permet au Prof. Strnad de consacrer un temps de recherche substantiel aux problèmes axés sur Ethereum, notamment la gouvernance des DAO, l'administration de systèmes décentralisés et les périodes de contestation des rollups optimistes, tout en conseillant les chercheurs d'OpenLab.SécuritéRechercheSécurité EL+CL & GlamsterdamRenforce la sécurité d'Ethereum en identifiant de manière proactive les vulnérabilités dans les clients des couches d'exécution et de consensus avant la mise à jour Glamsterdam. Cette recherche renforce la résilience du réseau.Nœuds et clientsApplicationLodestar 2026Dé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'UX des opérateurs et l'outillage de l'écosystème pour les communautés Ethereum TypeScript et Zig.LienProtocole EthereumApplicationLighthouse - Mai à octobre 2026Le développement du client Lighthouse se poursuit avec l'ePBS, Gloas et la mise en réseau de messages partiels pour le mainnet. Ce travail étend la synchronisation arborescente, le cadre de test Diamond et le consensus vérifié par ZK. Les efforts de vérification formelle et de renforcement du client progressent également.LienCryptographieOutillage pour développeursOutillage PIR PoulpyDéveloppe une bibliothèque de récupération d'informations privées (PIR) en Rust de niveau production. Cela permet des requêtes par lots efficaces pour des bases de données clé-valeur jusqu'à 32 Go, optimisant la communication serveur et client sans nécessiter d'état.LienProtocole EthereumOutillage pour développeursETHeoremCartographie les spécifications du consensus Ethereum vers les implémentations des clients, ETHeorem permet une évaluation systématique de la sécurité à travers Lighthouse, Prysm, geth et Reth. Ce système agentique combine les LLM avec l'analyse de programme pour une couverture complète.Protocole EthereumApplicationReam - Client de consensus Lean en RustDé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 principal, le renforcement de l'infrastructure de test et la mise à l'échelle des devnets à 10 000 validateurs.LienProtocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | Robust Incentives GroupModé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'applicationRechercheOptimisation 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 cherchant une blockchain sur laquelle construire.LienCryptographieRechercheRevue technique de Fiat–Shamir à partir des éponges duplexAudite 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 les systèmes de preuve à divulgation nulle de connaissance.LienPreuves à divulgation nulle de connaissanceRechercheMatériel supplémentaire Ethproofs - BrevisBrevis construit une pile de preuve de bloc L1 multi-GPU sur site pour tester la résilience opérationnelle en conditions réelles. Cette initiative générera un guide opérationnel sur site (On-Prem Ops Playbook) en open-source pour les futurs prouveurs.Protocole EthereumDéveloppement de l'écosystèmePriorités quic-go pour ethp2pAmé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é de la connexion pour go-libp2p.Infrastructure d'applicationOutillage pour développeursWeb3j : Maintenir l'infrastructure d'intégration JVM et Android d'EthereumMaintient Web3j, la bibliothèque client JVM dominante, en phase 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.LienPreuves à divulgation nulle de connaissanceRechercheMatériel supplémentaire Ethproofs - Succinct LabsSuccinct déplace la preuve de bloc L1 vers des configurations multi-GPU sur site. Cela permettra de tester la résilience opérationnelle et de réduire la dépendance au cloud, générant un guide opérationnel sur site (On-Prem Ops Playbook) en open-source pour les futurs prouveurs.Preuves à divulgation nulle de connaissanceRechercheMatériel supplémentaire Ethproofs - SilentSigPermet à ZisK de faire passer sa pile de preuve de bloc L1 à des configurations multi-GPU sur site. Cette initiative générera un guide opérationnel sur site (On-Prem Ops Playbook) en open-source pour réduire la dépendance de l'écosystème aux fournisseurs de cloud centralisés.AutreDéveloppement de l'écosystèmeProgramme de formation des formateurs sur le cursus blockchain pour MindanaoPermet à 8 institutions académiques philippines de développer des cursus blockchain. Soutient le corps enseignant pour devenir des formateurs, favorisant l'éducation locale sur Ethereum via un programme de 6 jours.Infrastructure d'applicationOutillage pour développeursmevlog-rs - CLI/TUI de requête de transactions EVM propulsé par RevmIndexe les données on-chain dans une base de données SQLite locale, accessible via TUI et MCP. Cet outil permet des requêtes locales flexibles et le partage des résultats via IPFS pour les développeurs et les agents LLM.LienProtocole EthereumRechercheAssertions de transactionPermet aux utilisateurs de vérifier par programme les résultats des transactions avant de signer avec l'EIP-7906. Cela inclut des conditions positives et négatives contre n'importe quel contrat intelligent, améliorant la sécurité et le contrôle de l'utilisateur.LienCouche applicationApplicationSteward, un portefeuille Ethereum auto-souverain avec un assistant IA sur l'appareilConstruit Steward, un portefeuille de compte intelligent Ethereum entièrement local sur macOS. 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 EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | CryptographieDé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éRechercheThe Open Anonymity ProjectPermet un accès non lié 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 anonyme des crédits.Preuves à divulgation nulle de connaissanceRechercheMatériel supplémentaire Ethproofs - Matter LabsAméliore la pile de preuve de bloc L1 de Matter Labs en passant à des configurations multi-GPU sur site. Cette initiative teste la résilience opérationnelle et réduit la dépendance au cloud, générant un guide opérationnel sur site (On-Prem Ops Playbook) en open-source.Protocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | Recherche en cryptographieFormalise 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éOutillage pour développeursVerityDé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 des contrats, en compilant en bytecode EVM avec une sémantique vérifiée.LienProtocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | Snarkification du protocoleVé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 EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | Robust Incentives GroupOptimise 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 EthereumDéveloppement de l'écosystèmeTravail d'exploration ZK + testsExplore le comportement d'exécution de 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 quasi-temps réel, pour les applications du mainnet Ethereum.Protocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | GethSoutient le développement du protocole de base de Geth, la maintenance du client et l'implémentation des nouvelles propositions d'amélioration d'Ethereum (EIP).Protocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | Prototypage du protocoleTraduit la recherche novatrice sur le protocole en code opérationnel. Cela permet de tester empiriquement les hypothèses théoriques et de quantifier les compromis de conception pour les futures mises à jour d'Ethereum.SécuritéApplicationSafeLensPermet la vérification hors ligne des transactions multisig Gnosis Safe. SafeLens génère des ensembles de preuves pour les signatures, les hachages et des preuves enrichies, permettant le rejeu local des transactions et des détails lisibles par l'homme via des interpréteurs intégrés.LienPreuves à divulgation nulle de connaissanceRechercheInitiative de prouveur multi-GPU sur site Ethproofs - SilentSigPermet à ZisK de faire passer la preuve de bloc L1 à des configurations multi-GPU sur site. Cette initiative teste la résilience opérationnelle et réduit la dépendance au cloud, générant un guide opérationnel sur site (On-Prem Ops Playbook) en open-source pour l'écosystème.LienPreuves à divulgation nulle de connaissanceRechercheInitiative de prouveur multi-GPU sur site Ethproofs - BrevisDéveloppe un guide opérationnel sur site (On-Prem Ops Playbook) en open-source, permettant aux prouveurs de blocs L1 de passer d'environnements hébergés dans le cloud à des configurations multi-GPU résilientes, réduisant les dépendances centralisées.LienNœuds et clientsApplicationGean, un client de consensus Ethereum LeanRenforce 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 au quantique et diversifie l'écosystème des clients depuis l'Afrique.LienConfidentialitéOutillage pour développeursQuixote Lectures privées + Intégration AaveAméliore Quixote, un indexeur d'événements EVM en Rust, avec des lectures privées basées sur Tor et un support GraphQL. Démontre sa valeur en l'intégrant dans le frontend Aave, remplaçant TheGraph pour un meilleur accès aux données.LienSécuritéOutillage pour développeursAgents de sécurité du protocole Ethereum - SPECA & LeanAgentDéveloppe un système alimenté par LLM pour automatiser la vérification de la conformité aux spécifications des clients Ethereum et la découverte de bogues. 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éOutillage pour développeursAnalyseur de code Cantina Apex AI pour les vulnérabilités de sécuritéAméliore la posture de sécurité d'Ethereum avec 52 analyses de contrats intelligents alimentées par l'IA pour les dépôts des clients et du protocole au cours de l'année à venir.CryptographieRechercheleanVM sous les contraintes BitcoinOptimise l'agrégation de signatures post-quantiques de leanVM pour la couche de consensus d'Ethereum. Ce travail améliore la vitesse, l'efficacité et assure la compatibilité avec Bitcoin pour établir une norme à l'échelle de l'industrie.LienAutreDéveloppement de l'écosystèmeProgrammer la convergence AI x Ethereum à RomeFavorisant l'intersection AI x Ethereum, Urbe Hub à Rome organise des ateliers, des démos et des sessions de construction récurrents. Cette initiative cultive les événements de pollinisation croisée, renforçant les deux communautés et collaborant avec l'équipe EF dAI.LienCryptographieOutillage pour développeursArithmétique de champ rapide pour CompPolyDéveloppe des implémentations efficaces et vérifiées de corps premiers et binaires de type "tower fields" dans Lean4. Ce travail couvre les petits champs STARK, les grands champs SNARK/courbes et les champs binaires de type tour, tous prouvés corrects via RingEquiv.LienCouche applicationRechercheR&D sur les cas d'utilisation frontaliers "raisonnablement nécessaires" d'EthereumÉtudie des cas d'utilisation uniques d'Ethereum ayant un impact réel. Cette recherche explore également de nouvelles structures organisationnelles au-delà des configurations crypto traditionnelles.Preuves à divulgation nulle de connaissanceOutillage pour développeursBibliothèque Lean de polynômes CompPoly - Parties de la feuille de route 2Optimise l'évaluation des polynômes dans CompPoly en utilisant les méthodes de Horner, par lots et NTT. Implémente et vérifie l'algorithme de Guruswami-Sudan pour les zkVM, avec des preuves Lean et des benchmarks.LienSécuritéApplicationAnalyse de la conformité des clients basée sur les LLM pour EthereumAmé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, identifiant les divergences et les bogues dans les cas limites.AutreRechercheInstruments de capital on-chain pour les biens publics numériquesDéveloppe des instruments de financement ESG on-chain pour les biens publics numériques, en s'appuyant sur Ethereum pour faire passer le financement des biens publics des subventions vers des marchés de capitaux évolutifs. Cette initiative conçoit des mécanismes de type obligataire pour les infrastructures à grande échelle.LienCryptographieOutillage pour développeursPolynômes bivariés — CompPoly Phase 2, Point 6Étend CompPoly avec des opérations avancées sur les polynômes bivariés, incluant l'infrastructure de Guruswami-Sudan et des optimisations de performance comme la substitution de Kronecker, améliorant le développement de primitives cryptographiques.CryptographieRechercheLe 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 informer de nouveaux cadres de preuve pour les systèmes réels.CryptographieDéveloppement de l'écosystèmePIR à 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 EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | PoseidonDéveloppe des schémas de signature post-quantiques efficaces pour la couche d'exécution d'Ethereum, en s'appuyant sur des constructions basées sur Poseidon pour préparer le réseau à la transition post-quantique.Preuves à divulgation nulle de connaissanceRechercheInitiative de prouveur multi-GPU sur site Ethproofs - Matter LabsDécentralise la preuve de bloc L1 en déplaçant l'infrastructure du cloud vers des configurations multi-GPU sur site. Cette initiative publiera en open-source un guide opérationnel sur site (On-Prem Ops Playbook), fournissant un modèle pour les futurs prouveurs afin de renforcer la résilience.Protocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | STEELAméliore les spécifications Python de base d'Ethereum (EELS) et les suites de tests (EEST). Ce travail critique assure la compatibilité des clients et renforce le consensus du réseau.ConfidentialitéApplicationSupport Frontend du portefeuille Kohaku - SuiviRefactorise 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é.LienAutreDéveloppement de l'écosystèmeRésidence hors ligne blockchain au Bhoutan 2026Cultive une nouvelle cohorte de développeurs Ethereum au Bhoutan grâce à une résidence intensive. Ce programme favorise le talent local et sème une communauté de développeurs auto-suffisante dans la région.Protocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | PandaOpsPermet des mises à jour réseau sûres et bien testées en construisant des outils personnalisés, des scripts de déploiement et des pipelines de données pour la R&D du protocole.Infrastructure d'applicationDéveloppement de l'écosystèmeOpen Intents Framework - Adoption & Maintenance 2026Développe l'Open Intents Framework, améliorant le rééquilibrage de la liquidité inter-chaînes et soutenant le développement de la spécification ERC-7683. Cela étend les capacités multi-chaînes et l'outillage pour Ethereum.Protocole EthereumDéveloppement de l'écosystèmeHong Kong Polytechnic University - Parrainage du Research Centre for Blockchain Technology (RCBT)Favorise l'excellence académique dans la technologie blockchain par des bourses pour les étudiants exceptionnels en MScBT. Soutient le développement des talents et l'engagement avec Devconnect/Devcon, parallèlement au parrainage d'Asiacrypt 2026.Preuves à divulgation nulle de connaissanceDéveloppement de l'écosystèmeContributions à la feuille de route de CompPoly — Exponentiation, Transformations multilinéaires, ECCOptimise 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 EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | Consensus du protocoleAnalyse 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 EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | Coordination du financementFacilite 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 connaissanceRechercheInitiative de prouveur multi-GPU sur site Ethproofs - Succinct LabsPermet aux prouveurs décentralisés de passer du cloud à des configurations multi-GPU sur site. Cette initiative produira un guide opérationnel sur site (On-Prem Ops Playbook) en open-source, renforçant la résilience de l'écosystème et réduisant la dépendance aux infrastructures centralisées.SécuritéOutillage pour développeursOctane : Sécurité du protocole alimentée par LLM pour les clients EthereumAméliore la sécurité des contrats intelligents avec une détection des vulnérabilités alimentée par l'IA. Cet abonnement fournit 25 analyses complètes, un tableau de bord de projet et un support VIP pour jusqu'à quatre projets clients.LienProtocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | zkEVMFait progresser la recherche sur le ZK-EVM, en développant des solutions de mise à l'échelle et en intégrant les preuves ZK directement dans la couche d'exécution d'Ethereum.Protocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | Sécurité du protocoleAmé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 bogues.Protocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | Consensus du protocoleAnalyse 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 objectifs futurs du réseau.Protocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | CryptographieSoutient la recherche sur les primitives cryptographiques avancées et les protocoles de sécurité, assurant le leadership continu d'Ethereum dans les technologies sécurisées et préservant la confidentialité.Protocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | CryptographieFait 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 EthereumDéveloppement de l'écosystèmeJournée ArkLib zkEVM vérifiée lors de ZKProof 8Étend les efforts de standardisation des ZKP en réunissant 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.LienSécuritéOutillage pour développeursCompilateur de Noir vers LLZKDéveloppe un compilateur de Noir vers LLZK, reliant deux écosystèmes SNARK critiques. Cela améliore l'interopérabilité et élargit la base de développeurs pour l'outillage LLZK, renforçant les efforts de sécurité SNARK d'Ethereum.LienCouche applicationOutillage pour développeursOrchestration composable, groupage de l'UX et interopérabilité EthereumPermet le groupage dynamique des comptes intelligents et l'exécution basée sur des prédicats. Ce projet standardise et publie en 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.LienPreuves à divulgation nulle de connaissanceOutillage pour développeursInfrastructure de preuve améliorée pour les zkVM RISC-VVérifie l'arithmétisation de la zkVM SP1 Hypercube à l'aide de Lean 4, prouvant formellement que ses systèmes de contraintes implémentent correctement la sémantique de l'ISA RISC-V pour chaque instruction.Protocole EthereumDéveloppement de l'écosystèmeProgramme de stage 2026 | zkEVMFait progresser la recherche sur le ZK-EVM, en développant des solutions de mise à l'échelle et en intégrant les preuves ZK directement dans la couche d'exécution d'Ethereum pour une efficacité accrue.ConfidentialitéApplicationSupport Frontend du portefeuille KohakuAffine l'extension de navigateur Kohaku pour une expérience utilisateur de portefeuille robuste et axée sur la confidentialité sur Sepolia. Intègre Privacy Pools et Railgun, optimisant le fork Ambire et les flux d'utilisateurs.Lien