Il Q2 2026 ha portato avanti la nostra attenzione sul miglioramento della resilienza e delle capacità di Ethereum, supportando il lavoro chiave nelle prove a conoscenza zero, nella diversità dei client, nella verifica formale e negli strumenti open-source. Consulta l'elenco sottostante dei progetti e degli sforzi dell'ecosistema supportati in questo trimestre mentre i costruttori costruiscono e rafforzano la rete.
Esplora l'elenco completo dei progetti finanziati dalla EF sul sito web dell'ESP qui!
| Dominio | Categoria | Nome del progetto | Descrizione | Link/Repo |
|---|---|---|---|---|
| DAO/Governance | Ricerca | Faculty Research Fellowship: Ethereum Studies (AA 2025–2026) | Consente al Prof. Strnad di dedicare molto tempo di ricerca a problemi incentrati su Ethereum, tra cui la governance delle DAO, l'amministrazione di sistemi decentralizzati e i periodi di sfida dei rollup ottimistici, fornendo al contempo consulenza agli studiosi di OpenLab. | |
| Sicurezza | Ricerca | Sicurezza EL+CL e Glamsterdam | Migliora la sicurezza di Ethereum identificando in modo proattivo le vulnerabilità nei client del livello di esecuzione e del livello di consenso prima dell'aggiornamento Glamsterdam. Questa ricerca rafforza la resilienza della rete. | |
| Nodi e Client | Applicazione | Lodestar 2026 | Sviluppa e mantiene il client di consenso Lodestar, implementando gli hard fork e contribuendo alla ricerca sul protocollo. Questo supporta l'UX degli operatori e gli strumenti dell'ecosistema per le comunità Ethereum TypeScript e Zig. | Link |
| Protocollo Ethereum | Applicazione | Lighthouse - Da maggio a ottobre 2026 | Lo sviluppo del client Lighthouse continua con ePBS, Gloas e il networking di messaggi parziali per la Mainnet. Questo lavoro espande la sincronizzazione dell'albero, il framework di test Diamond e il consenso verificato tramite ZK. Procedono anche gli sforzi di verifica formale e di rafforzamento del client. | Link |
| Crittografia | Strumenti per sviluppatori | Strumenti PIR Poulpy | Sviluppa una libreria di Private Information Retrieval basata su Rust di livello produttivo. Ciò consente query efficienti e in batching per database chiave-valore fino a 32 GB, ottimizzando la comunicazione tra server e client senza richiedere lo stato. | Link |
| Protocollo Ethereum | Strumenti per sviluppatori | ETHeorem | Mappando le specifiche del consenso di Ethereum alle implementazioni dei client, ETHeorem consente una valutazione sistematica della sicurezza su Lighthouse, Prysm, Geth e Reth. Questo sistema basato su agenti combina gli LLM con l'analisi dei programmi per una copertura full-stack. | |
| Protocollo Ethereum | Applicazione | Ream - Client di consenso Lean in Rust | Sviluppa Ream, un client di consenso Lean basato su Rust, per far progredire il consenso pronto per il post-quantum con una definitività rapida e slot di 4 secondi. Questo rinnovo supporta lo sviluppo del client principale, il rafforzamento dell'infrastruttura di test e il ridimensionamento delle devnet a 10.000 validatori. | Link |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Robust Incentives Group | Modella gli incentivi economici e il comportamento dei partecipanti per ottimizzare la teoria dei giochi del protocollo, migliorando la stabilità e l'efficienza della rete. | |
| Infrastruttura delle applicazioni | Ricerca | Ottimizzazione LLM per Ethereum (Inseeq) | Migliora i modelli di intelligenza artificiale con gli attuali strumenti di sviluppo di Ethereum e i dati di ethskills. Questo migliora l'accuratezza degli LLM e rafforza l'attrattiva di Ethereum per gli sviluppatori che cercano una blockchain su cui costruire. | Link |
| Crittografia | Ricerca | Revisione tecnica di Fiat-Shamir da Duplex Sponges | Verifica gli argomenti di sicurezza delle trasformazioni di Fiat-Shamir istanziate tramite duplex sponges. Questo lavoro chiarisce le astrazioni chiave per supportare la futura formalizzazione in Lean, rafforzando i sistemi di prova a conoscenza zero. | |
| Prove a conoscenza zero | Ricerca | Hardware aggiuntivo Ethproofs - Brevis | Brevis sta costruendo uno stack di block-proving l1 on-premise e multi-GPU per testare sotto stress la resilienza operativa nel mondo reale. Questa iniziativa genererà un On-Prem Ops Playbook open-source per i futuri prover. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Priorità di quic-go per ethp2p | Migliora quic-go, l'implementazione QUIC in Go alla base del networking del livello di consenso di Ethereum. Questo lavoro migliora le prestazioni, le capacità di trasporto e l'efficienza della connessione per go-libp2p. | |
| Infrastruttura delle applicazioni | Strumenti per sviluppatori | Web3j: Sostenere l'infrastruttura di integrazione JVM e Android di Ethereum | Mantiene Web3j, la libreria client JVM dominante, in sincronizzazione con l'imminente hard fork Glamsterdam. Ciò garantisce una continua integrazione senza interruzioni per le applicazioni Java, Kotlin e Android, insieme a una documentazione mirata all'intelligenza artificiale. | Link |
| Prove a conoscenza zero | Ricerca | Hardware aggiuntivo Ethproofs - Succinct Labs | Succinct sta spostando il block-proving l1 su configurazioni on-premise e multi-GPU. Questo testerà sotto stress la resilienza operativa e ridurrà la dipendenza dal cloud, generando un On-Prem Ops Playbook open-source per i futuri prover. | |
| Prove a conoscenza zero | Ricerca | Hardware aggiuntivo Ethproofs - SilentSig | Consente a ZisK di far transitare il proprio stack di block-proving l1 verso configurazioni on-premise e multi-GPU. Questa iniziativa genererà un On-Prem Ops Playbook open-source per ridurre la dipendenza dell'ecosistema dai provider cloud centralizzati. | |
| Altro | Sviluppo dell'ecosistema | Programma di formazione per formatori sul curriculum blockchain per Mindanao | Consente a 8 istituzioni accademiche filippine di sviluppare programmi di studio sulla blockchain. Supporta i docenti nel diventare formatori, promuovendo l'istruzione locale su Ethereum attraverso un programma di 6 giorni. | |
| Infrastruttura delle applicazioni | Strumenti per sviluppatori | mevlog-rs - CLI/TUI per l'interrogazione di transazioni EVM basata su Revm | Indicizza i dati onchain in un database SQLite locale, accessibile tramite TUI e MCP. Questo strumento consente query locali flessibili e la condivisione IPFS dei risultati per sviluppatori e agenti LLM. | Link |
| Protocollo Ethereum | Ricerca | Asserzioni di transazione | Consente agli utenti di verificare a livello di programmazione i risultati delle transazioni prima della firma con l'EIP-7906. Ciò include condizioni positive e negative rispetto a qualsiasi smart contract, migliorando la sicurezza e il controllo dell'utente. | Link |
| Livello delle applicazioni | Applicazione | Steward, un portafoglio Ethereum auto-sovrano con un assistente AI sul dispositivo | Costruisce Steward, un portafoglio smart account Ethereum per macOS completamente locale. Ogni componente, dal client leggero all'assistente AI, viene eseguito sul dispositivo, garantendo sicurezza e sovranità verificabili end-to-end. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Crittografia | Sviluppa nuove primitive crittografiche e protocolli di sicurezza, migliorando la sicurezza fondamentale e la privacy di Ethereum per tutti gli utenti. | |
| Privacy | Ricerca | The Open Anonymity Project | Consente l'accesso non collegabile a servizi API riservati, a partire dall'inferenza AI. Questo stack modulare open-source utilizza firme cieche e server compatibili con TEE per la verifica anonima del credito. | |
| Prove a conoscenza zero | Ricerca | Hardware aggiuntivo Ethproofs - Matter Labs | Migliora lo stack di block-proving l1 di Matter Labs passando a configurazioni on-premise e multi-GPU. Questa iniziativa testa sotto stress la resilienza operativa e riduce la dipendenza dal cloud, generando un On-Prem Ops Playbook open-source. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Ricerca sulla crittografia | Formalizza il modello di sicurezza delle mempool crittografate, migliorando la privacy delle transazioni e la resilienza della rete per gli utenti di Ethereum. | |
| Sicurezza | Strumenti per sviluppatori | Verity | Sviluppa Verity, un linguaggio per smart contract basato su Lean 4 e un compilatore verificato formalmente. Consente agli sviluppatori di scrivere, specificare formalmente e dimostrare le proprietà del contratto, compilando in bytecode EVM con semantica verificata. | Link |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Snarkification del protocollo | Verifica i protocolli crittografici e i circuiti zkVM, garantendo la correttezza matematica per l'infrastruttura di ridimensionamento di Ethereum attraverso metodi formali. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Robust Incentives Group | Ottimizza la teoria dei giochi del protocollo applicando la progettazione dei meccanismi e la modellazione economica per comprendere e migliorare gli incentivi dei partecipanti. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Lavoro di esplorazione ZK + test | Esplora il comportamento di runtime delle zkVM su hardware diversi per ottimizzare le prestazioni di proving. Questa ricerca mira a identificare i colli di bottiglia e a consentire un proving più pratico e quasi in tempo reale per le applicazioni della Mainnet di Ethereum. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Geth | Supporta lo sviluppo del protocollo principale di Geth, la manutenzione del client e l'implementazione di nuove Ethereum Improvement Proposal. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Prototipazione del protocollo | Traduce la nuova ricerca sul protocollo in codice funzionante. Ciò consente il test empirico delle ipotesi teoriche e quantifica i compromessi di progettazione per i futuri aggiornamenti di Ethereum. | |
| Sicurezza | Applicazione | SafeLens | Consente la verifica offline delle transazioni multisig di Gnosis Safe. SafeLens genera pacchetti di prove per firme, hash e prove arricchite, consentendo la riproduzione locale delle transazioni e dettagli leggibili dall'uomo tramite interpreti integrati. | Link |
| Prove a conoscenza zero | Ricerca | Iniziativa Prover Multi-GPU On-Prem Ethproofs - SilentSig | Consente a ZisK di far transitare il block-proving l1 verso configurazioni on-premise e multi-GPU. Questa iniziativa testa sotto stress la resilienza operativa e riduce la dipendenza dal cloud, generando un On-Prem Ops Playbook open-source per l'ecosistema. | Link |
| Prove a conoscenza zero | Ricerca | Iniziativa Prover Multi-GPU On-Prem Ethproofs - Brevis | Sviluppa un On-Prem Ops Playbook open-source, consentendo ai prover di blocchi l1 di passare da ambienti ospitati nel cloud a configurazioni multi-GPU resilienti, riducendo le dipendenze centralizzate. | Link |
| Nodi e Client | Applicazione | Gean, un client di consenso Lean per Ethereum | Costruisce la resilienza a lungo termine di Ethereum con Gean, un nuovo client di consenso basato su Go. Questa implementazione open-source sostituisce la crittografia vulnerabile ai computer quantistici e diversifica l'ecosistema dei client dall'Africa. | Link |
| Privacy | Strumenti per sviluppatori | Letture private Quixote + Integrazione Aave | Migliora Quixote, un indicizzatore di eventi EVM in Rust, con letture private basate su Tor e supporto GraphQL. Ne dimostra il valore integrandolo nel frontend di Aave, sostituendo TheGraph per un migliore accesso ai dati. | Link |
| Sicurezza | Strumenti per sviluppatori | Agenti di sicurezza del protocollo Ethereum - SPECA e LeanAgent | Sviluppa un sistema basato su LLM per automatizzare il controllo della conformità alle specifiche dei client Ethereum e la scoperta di bug. Ciò include la verifica formale di Gasper Lean 4 e una pipeline per collegare gli output di SPECA alle specifiche formali di Lean 4. | |
| Sicurezza | Strumenti per sviluppatori | Analizzatore di codice AI Cantina Apex per vulnerabilità di sicurezza | Migliora il livello di sicurezza di Ethereum con 52 scansioni di smart contract basate sull'intelligenza artificiale per i repository di client e protocolli nel corso del prossimo anno. | |
| Crittografia | Ricerca | leanVM sotto i vincoli di Bitcoin | Ottimizza l'aggregazione delle firme post-quantum di leanVM per il livello di consenso di Ethereum. Questo lavoro aumenta la velocità, migliora l'efficienza e garantisce la compatibilità con Bitcoin per stabilire uno standard a livello di settore. | Link |
| Altro | Sviluppo dell'ecosistema | Programmare la convergenza AI x Ethereum a Roma | Promuovendo l'intersezione tra AI ed Ethereum, Urbe Hub a Roma ospita workshop ricorrenti, demo e sessioni per costruttori. Questa iniziativa coltiva eventi di contaminazione incrociata, rafforzando entrambe le comunità e collaborando con il team dAI della EF. | Link |
| Crittografia | Strumenti per sviluppatori | Aritmetica dei campi veloce per CompPoly | Sviluppa implementazioni efficienti e verificate di campi torre primi e binari in Lean4. Questo lavoro copre piccoli campi STARK, grandi campi SNARK/curve e campi torre binari, tutti dimostrati corretti tramite RingEquiv. | Link |
| Livello delle applicazioni | Ricerca | R&S sui casi d'uso Frontier "ragionevolmente necessari" di Ethereum | Indaga su casi d'uso unici di Ethereum con un impatto nel mondo reale. Questa ricerca esplora anche nuove strutture organizzative oltre alle tradizionali configurazioni cripto. | |
| Prove a conoscenza zero | Strumenti per sviluppatori | Libreria Lean per polinomi CompPoly - Parti della Roadmap 2 | Ottimizza la valutazione polinomiale in CompPoly utilizzando i metodi di Horner, batching e NTT. Implementa e verifica l'algoritmo di Guruswami-Sudan per le zkVM, completo di prove Lean e benchmark. | Link |
| Sicurezza | Applicazione | Analisi della conformità dei client basata su LLM per Ethereum | Migliora la sicurezza dei client Ethereum implementando agenti AI per scansionare Geth, Nethermind, Lighthouse e Prysm rispetto alle specifiche EIP, identificando divergenze e bug nei casi limite. | |
| Altro | Ricerca | Strumenti di capitale onchain per i beni pubblici digitali | Sviluppa strumenti di finanziamento ESG onchain per i beni pubblici digitali, sfruttando Ethereum per spostare i finanziamenti dei beni pubblici dalle sovvenzioni ai mercati dei capitali scalabili. Questa iniziativa progetta meccanismi simili a obbligazioni per infrastrutture su larga scala. | Link |
| Crittografia | Strumenti per sviluppatori | Polinomi bivariati — CompPoly Fase 2, Elemento 6 | Estende CompPoly con operazioni avanzate sui polinomi bivariati, tra cui l'infrastruttura Guruswami-Sudan e ottimizzazioni delle prestazioni come la sostituzione di Kronecker, migliorando lo sviluppo di primitive crittografiche. | |
| Crittografia | Ricerca | Il problema dell'estrazione ricorsiva | Indaga sulla sicurezza degli SNARK ricorsivi, sondando i limiti degli estrattori di conoscenza nella ricorsione profonda. Questa ricerca analizzerà le varianti SNARK con complessità dell'estrattore superpolinomiale per informare nuovi framework di prova per i sistemi del mondo reale. | |
| Crittografia | Sviluppo dell'ecosistema | PIR a server singolo efficiente per gli indicizzatori di Ethereum | Valuta i moderni schemi di Private Information Retrieval per l'accesso ai dati di Ethereum. Questo lavoro specificherà uno schema all'avanguardia, completo di test riutilizzabili, per migliorare la privacy degli utenti e ridurre i rischi MEV. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Poseidon | Sviluppa schemi di firma post-quantum efficienti per il livello di esecuzione di Ethereum, sfruttando costruzioni basate su Poseidon per preparare la rete alla transizione post-quantum. | |
| Prove a conoscenza zero | Ricerca | Iniziativa Prover Multi-GPU On-Prem Ethproofs - Matter Labs | Decentralizza il block-proving l1 spostando l'infrastruttura dal cloud a configurazioni on-premise e multi-GPU. Questa iniziativa renderà open-source un On-Prem Ops Playbook, fornendo un modello per i futuri prover per migliorare la resilienza. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | STEEL | Migliora le specifiche Python principali di Ethereum (EELS) e le suite di test (EEST). Questo lavoro critico garantisce la compatibilità dei client e rafforza il consenso della rete. | |
| Privacy | Applicazione | Supporto frontend del portafoglio Kohaku - Follow Up | Effettua il refactoring del portafoglio dell'estensione del browser Kohaku e dell'integrazione dell'SDK Railgun. Questo lavoro migliora la manutenibilità e la modularità, facendo progredire il portafoglio per un'adozione più ampia e per i contributi della comunità. | Link |
| Altro | Sviluppo dell'ecosistema | Residenza offline sulla blockchain in Bhutan 2026 | Coltiva una nuova coorte di sviluppatori Ethereum in Bhutan attraverso una residenza intensiva. Questo programma promuove i talenti locali e getta le basi per una comunità di sviluppatori autosufficiente nella regione. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | PandaOps | Consente aggiornamenti di rete sicuri e ben testati creando strumenti personalizzati, script di distribuzione e pipeline di dati per la R&S del protocollo. | |
| Infrastruttura delle applicazioni | Sviluppo dell'ecosistema | Open Intents Framework - Adozione e manutenzione 2026 | Sviluppa l'Open Intents Framework, migliorando il ribilanciamento della liquidità cross-chain e supportando lo sviluppo delle specifiche ERC-7683. Questo espande le capacità multi-chain e gli strumenti per Ethereum. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Politecnico di Hong Kong - Sponsorizzazione del Centro di ricerca per la tecnologia blockchain (RCBT) | Promuove l'eccellenza accademica nella tecnologia blockchain attraverso borse di studio per studenti eccezionali del MScBT. Supporta lo sviluppo dei talenti e il coinvolgimento con Devconnect/Devcon, oltre a sponsorizzare Asiacrypt 2026. | |
| Prove a conoscenza zero | Sviluppo dell'ecosistema | Contributi alla roadmap di CompPoly — Esponenziazione, trasformate multilineari, ECC | Ottimizza l'esponenziazione e dimostra l'equivalenza della trasformata multilineare per CompPoly. Integra l'interpolazione con correzione degli errori tramite Berlekamp-Welch, migliorando la robustezza del protocollo. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Consenso del protocollo | Analizza e progetta meccanismi di consenso avanzati. Questo lavoro rafforza le garanzie del protocollo, promuovendo la decentralizzazione della rete a lungo termine. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Coordinamento dei finanziamenti | Facilita le connessioni tra i beneficiari della EF e le fonti di finanziamento esterne. Questo aiuta i progetti essenziali di beni pubblici a garantire un supporto vitale da parte di partner governativi, filantropici e dell'ecosistema. | |
| Prove a conoscenza zero | Ricerca | Iniziativa Prover Multi-GPU On-Prem Ethproofs - Succinct Labs | Consente ai prover decentralizzati di passare dal cloud a configurazioni on-premise e multi-GPU. Questa iniziativa produrrà un On-Prem Ops Playbook open-source, rafforzando la resilienza dell'ecosistema e riducendo la dipendenza da infrastrutture centralizzate. | |
| Sicurezza | Strumenti per sviluppatori | Octane: Sicurezza del protocollo basata su LLM per i client Ethereum | Migliora la sicurezza degli smart contract con il rilevamento delle vulnerabilità basato sull'intelligenza artificiale. Questo abbonamento fornisce 25 scansioni complete, una dashboard di progetto e supporto VIP per un massimo di quattro progetti client. | Link |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | zkEVM | Fa progredire la ricerca sulla zkEVM, sviluppando soluzioni di ridimensionamento e integrando le prove ZK direttamente nel livello di esecuzione di Ethereum. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Sicurezza del protocollo | Migliora il livello di sicurezza di Ethereum attraverso revisioni proattive del codice, strumenti avanzati e una solida gestione del programma di bug bounty. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Consenso del protocollo | Analizza i meccanismi di consenso per rafforzare la decentralizzazione a lungo termine. Questa ricerca aiuta a colmare il divario tra le attuali garanzie del protocollo e i futuri obiettivi della rete. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Crittografia | Supporta la ricerca su primitive crittografiche avanzate e protocolli di sicurezza, garantendo la continua leadership di Ethereum nella tecnologia sicura e che preserva la privacy. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | Crittografia | Fa progredire la sicurezza crittografica di Ethereum progettando e analizzando nuove primitive e protocolli. Ciò garantisce una tecnologia robusta e che preserva la privacy per il futuro. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | ArkLib Day sulla zkEVM verificata allo ZKProof 8 | Espande gli sforzi di standardizzazione delle ZKP riunendo oltre 1.000 professionisti all'ArkLib Day allo ZKProof 8. Questo evento promuove la collaborazione sulla verifica formale e sulle prove a conoscenza zero applicate. | Link |
| Sicurezza | Strumenti per sviluppatori | Compilatore da Noir a LLZK | Sviluppa un compilatore da Noir a LLZK, collegando due ecosistemi SNARK critici. Questo migliora l'interoperabilità ed espande la base di sviluppatori per gli strumenti LLZK, rafforzando gli sforzi di sicurezza SNARK di Ethereum. | Link |
| Livello delle applicazioni | Strumenti per sviluppatori | Orchestrazione componibile, batching dell'UX di Ethereum e interoperabilità | Consente il batching dinamico degli smart account e l'esecuzione basata su predicati. Questo progetto standardizza e rende open-source uno stack di orchestrazione di produzione, rendendo le transazioni componibili multi-fase e multi-chain un bene pubblico per l'ecosistema Ethereum. | Link |
| Prove a conoscenza zero | Strumenti per sviluppatori | Infrastruttura di proving migliorata per le zkVM RISC-V | Verifica l'aritmetizzazione della zkVM SP1 Hypercube utilizzando Lean 4, dimostrando formalmente che i suoi sistemi di vincoli implementano correttamente la semantica ISA RISC-V per ogni istruzione. | |
| Protocollo Ethereum | Sviluppo dell'ecosistema | Programma di tirocinio 2026 | zkEVM | Fa progredire la ricerca sulla zkEVM, sviluppando soluzioni di ridimensionamento e integrando le prove ZK direttamente nel livello di esecuzione di Ethereum per una maggiore efficienza. | |
| Privacy | Applicazione | Supporto frontend del portafoglio Kohaku | Perfeziona l'estensione del browser Kohaku per un'UX del portafoglio robusta e incentrata sulla privacy su Sepolia. Integra Privacy Pools e Railgun, ottimizzando il fork di Ambire e i flussi degli utenti. | Link |
Totale assegnato nel Q2 2026: 5.502.930,20 USD