O 2º trimestre de 2026 levou adiante nosso foco em avançar a resiliência e as capacidades do Ethereum, apoiando trabalhos essenciais em provas de conhecimento zero (zero-knowledge proofs), diversidade de clientes, verificação formal e ferramentas de código aberto. Veja a lista abaixo dos projetos e esforços do ecossistema apoiados neste trimestre, à medida que os construtores desenvolvem e fortalecem a rede.
Explore a lista completa de Projetos Financiados pela EF no site do ESP aqui!!
| Domínio | Categoria | Nome do Projeto | Descrição | Link/Repositório |
|---|---|---|---|---|
| DAOs/Governança | Pesquisa | Bolsa de Pesquisa Docente: Estudos sobre Ethereum (Ano Acadêmico 2025–2026) | Permite que o Prof. Strnad dedique um tempo substancial de pesquisa a problemas focados no Ethereum, incluindo governança de DAOs, administração de sistemas descentralizados e períodos de desafio de rollup otimista, enquanto orienta acadêmicos do OpenLab. | |
| Segurança | Pesquisa | Segurança da EL+CL e Glamsterdam | Melhora a segurança do Ethereum identificando proativamente vulnerabilidades em clientes da camada de execução e da camada de consenso antes da atualização Glamsterdam. Esta pesquisa fortalece a resiliência da rede. | |
| Nós e Clientes | Aplicação | Lodestar 2026 | Desenvolve e mantém o cliente de consenso Lodestar, implementando bifurcações rígidas (hard forks) e contribuindo com pesquisas de protocolo. Isso apoia a experiência do usuário (UX) do operador e as ferramentas do ecossistema para as comunidades Ethereum de TypeScript e Zig. | Link |
| Protocolo Ethereum | Aplicação | Lighthouse - Maio a Outubro de 2026 | O desenvolvimento do cliente Lighthouse continua com ePBS, Gloas e rede de mensagens parciais para a Mainnet. Este trabalho expande a sincronização de árvore, a estrutura de testes Diamond e o consenso verificado por ZK. Os esforços de verificação formal e fortalecimento do cliente também progridem. | Link |
| Criptografia | Ferramentas para desenvolvedores | Ferramentas PIR Poulpy | Desenvolve uma biblioteca de Recuperação de Informações Privadas (PIR) de nível de produção baseada em Rust. Isso permite consultas eficientes e em lote para bancos de dados de chave-valor de até 32 GB, otimizando a comunicação entre servidor e cliente sem exigir estado. | Link |
| Protocolo Ethereum | Ferramentas para desenvolvedores | ETHeorem | Mapeia as especificações de consenso do Ethereum para implementações de clientes, o ETHeorem permite uma avaliação sistemática de segurança em Lighthouse, Prysm, Geth e Reth. Este sistema agêntico combina LLMs com análise de programas para cobertura full-stack. | |
| Protocolo Ethereum | Aplicação | Ream - Cliente de Consenso Enxuto em Rust | Desenvolve o Ream, um cliente de consenso enxuto baseado em Rust, para avançar o consenso pronto para o pós-quântico com finalidade rápida e slots de 4 segundos. Esta renovação apoia o desenvolvimento do cliente principal, o fortalecimento da infraestrutura de testes e o dimensionamento de devnets para 10.000 validadores. | Link |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Grupo de Incentivos Robustos | Modela incentivos econômicos e o comportamento dos participantes para otimizar a teoria dos jogos do protocolo, melhorando a estabilidade e a eficiência da rede. | |
| Infraestrutura de Aplicação | Pesquisa | Otimização de LLM para Ethereum (Inseeq) | Aprimora modelos de IA com as atuais ferramentas de desenvolvimento do Ethereum e dados do ethskills. Isso melhora a precisão dos LLMs e fortalece o apelo do Ethereum para desenvolvedores que buscam uma blockchain para construir. | Link |
| Criptografia | Pesquisa | Revisão Técnica de Fiat-Shamir a partir de Esponjas Duplex | Audita os argumentos de segurança das transformações de Fiat-Shamir instanciadas via esponjas duplex. Este trabalho esclarece abstrações-chave para apoiar a futura formalização em Lean, fortalecendo os sistemas de prova de conhecimento zero. | |
| Provas de Conhecimento Zero | Pesquisa | Hardware Adicional Ethproofs - Brevis | A Brevis está construindo uma pilha de provador de blocos da camada 1 (l1) local (on-premise) e multi-GPU para testar o estresse da resiliência operacional no mundo real. Esta iniciativa gerará um Manual de Operações Locais (On-Prem Ops Playbook) de código aberto para futuros provadores. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Prioridades do quic-go para ethp2p | Aprimora o quic-go, a implementação QUIC em Go que sustenta a rede da camada de consenso do Ethereum. Este trabalho melhora o desempenho, as capacidades de transporte e a eficiência de conexão para a go-libp2p. | |
| Infraestrutura de Aplicação | Ferramentas para desenvolvedores | Web3j: Sustentando a infraestrutura de integração JVM e Android do Ethereum | Mantém a Web3j, a biblioteca de cliente JVM dominante, em sincronização com a futura bifurcação rígida (hard fork) Glamsterdam. Isso garante a integração contínua e perfeita para aplicações Java, Kotlin e Android, juntamente com documentação voltada para IA. | Link |
| Provas de Conhecimento Zero | Pesquisa | Hardware Adicional Ethproofs - Succinct Labs | A Succinct está movendo a prova de blocos da camada 1 (l1) para configurações locais (on-premise) e multi-GPU. Isso testará o estresse da resiliência operacional e reduzirá a dependência da nuvem, gerando um Manual de Operações Locais (On-Prem Ops Playbook) de código aberto para futuros provadores. | |
| Provas de Conhecimento Zero | Pesquisa | Hardware Adicional Ethproofs - SilentSig | Permite que a ZisK faça a transição de sua pilha de prova de blocos da camada 1 (l1) para configurações locais (on-premise) e multi-GPU. Esta iniciativa gerará um Manual de Operações Locais (On-Prem Ops Playbook) de código aberto para reduzir a dependência do ecossistema de provedores de nuvem centralizados. | |
| Outros | Desenvolvimento do ecossistema | Programa de treinamento de instrutores de Currículo de Blockchain para Mindanao | Permite que 8 instituições acadêmicas filipinas desenvolvam currículos de blockchain. Apoia o corpo docente a se tornarem instrutores, promovendo a educação local sobre Ethereum por meio de um programa de 6 dias. | |
| Infraestrutura de Aplicação | Ferramentas para desenvolvedores | mevlog-rs - CLI/TUI de consulta de transações EVM alimentado por Revm | Indexa dados onchain em um banco de dados SQLite local, acessível via TUI e MCP. Esta ferramenta permite consultas locais flexíveis e compartilhamento de resultados via IPFS para desenvolvedores e agentes LLM. | Link |
| Protocolo Ethereum | Pesquisa | Asserções de Transação | Permite que os usuários verifiquem programaticamente os resultados da transação antes da assinatura com a EIP-7906. Isso inclui condições positivas e negativas contra qualquer contrato inteligente, melhorando a segurança e o controle do usuário. | Link |
| Camada de aplicação | Aplicação | Steward, uma Carteira Ethereum Autossuficiente com um Assistente de IA no Dispositivo | Constrói a Steward, uma carteira de conta inteligente Ethereum para macOS totalmente local. Cada componente, desde o cliente leve até o assistente de IA, é executado no dispositivo, garantindo segurança e soberania verificáveis de ponta a ponta. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Criptografia | Desenvolve novas primitivas criptográficas e protocolos de segurança, melhorando a segurança fundamental e a privacidade do Ethereum para todos os usuários. | |
| Privacidade | Pesquisa | O Projeto de Anonimato Aberto | Permite acesso não vinculável a serviços de API restritos, começando com inferência de IA. Esta pilha modular de código aberto usa assinaturas cegas e servidores compatíveis com TEE para verificação de crédito anônima. | |
| Provas de Conhecimento Zero | Pesquisa | Hardware Adicional Ethproofs - Matter Labs | Aprimora a pilha de prova de blocos da camada 1 (l1) da Matter Labs fazendo a transição para configurações locais (on-premise) e multi-GPU. Esta iniciativa testa o estresse da resiliência operacional e reduz a dependência da nuvem, gerando um Manual de Operações Locais (On-Prem Ops Playbook) de código aberto. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Pesquisa em Criptografia | Formaliza o modelo de segurança de Mempools Criptografados, melhorando a privacidade das transações e a resiliência da rede para os usuários do Ethereum. | |
| Segurança | Ferramentas para desenvolvedores | Verity | Desenvolve a Verity, uma linguagem de contrato inteligente baseada em Lean 4 e um compilador formalmente verificado. Ela permite que os desenvolvedores escrevam, especifiquem formalmente e provem propriedades do contrato, compilando para bytecode EVM com semântica verificada. | Link |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Snarkificação do Protocolo | Verifica protocolos criptográficos e circuitos zkVM, garantindo a correção matemática para a infraestrutura de escalabilidade do Ethereum por meio de métodos formais. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Grupo de Incentivos Robustos | Otimiza a teoria dos jogos do protocolo aplicando design de mecanismos e modelagem econômica para entender e melhorar os incentivos dos participantes. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Trabalho de exploração de ZK + testes | Explora o comportamento de tempo de execução da zkVM em diversos hardwares para otimizar o desempenho de prova. Esta pesquisa visa identificar gargalos e permitir provas mais práticas e quase em tempo real para aplicações da Mainnet do Ethereum. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Geth | Apoia o desenvolvimento do protocolo principal do Geth, a manutenção do cliente e a implementação de novas Propostas de Melhoria do Ethereum. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Prototipagem de Protocolo | Traduz pesquisas de novos protocolos em código funcional. Isso permite testes empíricos de suposições teóricas e quantifica as compensações de design para futuras atualizações do Ethereum. | |
| Segurança | Aplicação | SafeLens | Permite a verificação offline de transações multisig do Gnosis Safe. O SafeLens gera pacotes de evidências para assinaturas, hashes e provas enriquecidas, permitindo a repetição de transações locais e detalhes legíveis por humanos por meio de intérpretes integrados. | Link |
| Provas de Conhecimento Zero | Pesquisa | Iniciativa de Provador Multi-GPU Local Ethproofs - SilentSig | Permite que a ZisK faça a transição da prova de blocos da camada 1 (l1) para configurações locais (on-premise) e multi-GPU. Esta iniciativa testa o estresse da resiliência operacional e reduz a dependência da nuvem, gerando um Manual de Operações Locais (On-Prem Ops Playbook) de código aberto para o ecossistema. | Link |
| Provas de Conhecimento Zero | Pesquisa | Iniciativa de Provador Multi-GPU Local Ethproofs - Brevis | Desenvolve um Manual de Operações Locais (On-Prem Ops Playbook) de código aberto, permitindo que provadores de blocos da camada 1 (l1) façam a transição de ambientes hospedados na nuvem para configurações multi-GPU resilientes, reduzindo dependências centralizadas. | Link |
| Nós e Clientes | Aplicação | Gean, um Cliente de Consenso Ethereum Enxuto | Constrói a resiliência de longo prazo do Ethereum com o Gean, um novo cliente de consenso baseado em Go. Esta implementação de código aberto substitui a criptografia vulnerável a ataques quânticos e diversifica o ecossistema de clientes a partir da África. | Link |
| Privacidade | Ferramentas para desenvolvedores | Leituras Privadas do Quixote + Integração com Aave | Aprimora o Quixote, um indexador de eventos EVM em Rust, com leituras privadas baseadas em Tor e suporte a GraphQL. Demonstra seu valor integrando-o ao frontend da Aave, substituindo o TheGraph para melhorar o acesso aos dados. | Link |
| Segurança | Ferramentas para desenvolvedores | Agentes de Segurança do Protocolo Ethereum - SPECA e LeanAgent | Desenvolve um sistema alimentado por LLM para automatizar a verificação de conformidade das especificações do cliente Ethereum e a descoberta de bugs. Isso inclui a verificação formal do Gasper Lean 4 e um pipeline para transferir via ponte (bridge) as saídas do SPECA para especificações formais do Lean 4. | |
| Segurança | Ferramentas para desenvolvedores | Analisador de Código de IA Cantina Apex para Vulnerabilidades de Segurança | Melhora a postura de segurança do Ethereum com 52 varreduras de contratos inteligentes alimentadas por IA para repositórios de clientes e protocolos ao longo do próximo ano. | |
| Criptografia | Pesquisa | leanVM sob restrições do Bitcoin | Otimiza a agregação de assinaturas pós-quânticas da leanVM para a camada de consenso do Ethereum. Este trabalho aumenta a velocidade, melhora a eficiência e garante a compatibilidade com o Bitcoin para estabelecer um padrão em toda a indústria. | Link |
| Outros | Desenvolvimento do ecossistema | Programando a Convergência IA x Ethereum em Roma | Promovendo a interseção IA x Ethereum, o Urbe Hub em Roma hospeda workshops recorrentes, demonstrações e sessões de construtores. Esta iniciativa cultiva eventos de polinização cruzada, fortalecendo ambas as comunidades e colaborando com a Equipe dAI da EF. | Link |
| Criptografia | Ferramentas para desenvolvedores | Aritmética de Campo Rápida para CompPoly | Desenvolve implementações eficientes e verificadas de campos de torre primos e binários em Lean4. Este trabalho abrange pequenos campos STARK, grandes campos SNARK/curva e campos de torre binários, todos provados como corretos via RingEquiv. | Link |
| Camada de aplicação | Pesquisa | P&D de Casos de Uso da Frontier "Razoavelmente Necessários" do Ethereum | Investiga casos de uso únicos do Ethereum com impacto no mundo real. Esta pesquisa também explora novas estruturas organizacionais além das configurações cripto tradicionais. | |
| Provas de Conhecimento Zero | Ferramentas para desenvolvedores | Biblioteca Lean de Polinômios CompPoly - Partes do Roteiro 2 | Otimiza a avaliação polinomial no CompPoly usando métodos de Horner, em lote e NTT. Implementa e verifica o algoritmo de Guruswami-Sudan para zkVMs, completo com provas em Lean e benchmarks. | Link |
| Segurança | Aplicação | Análise de Conformidade de Clientes Baseada em LLM para Ethereum | Melhora a segurança do cliente Ethereum implantando agentes de IA para verificar Geth, Nethermind, Lighthouse e Prysm em relação às especificações de EIPs, identificando divergências e bugs de casos extremos. | |
| Outros | Pesquisa | Instrumentos de Capital Onchain para Bens Públicos Digitais | Desenvolve instrumentos de financiamento ESG onchain para Bens Públicos Digitais, aproveitando o Ethereum para mudar o financiamento de bens públicos de doações para mercados de capitais escaláveis. Esta iniciativa projeta mecanismos semelhantes a títulos para infraestrutura em larga escala. | Link |
| Criptografia | Ferramentas para desenvolvedores | Polinômios Bivariados — CompPoly Fase 2, Item 6 | Estende o CompPoly com operações avançadas de polinômios bivariados, incluindo infraestrutura de Guruswami-Sudan e otimizações de desempenho como a substituição de Kronecker, melhorando o desenvolvimento de primitivas criptográficas. | |
| Criptografia | Pesquisa | O problema da extração recursiva | Investiga a segurança de SNARKs recursivos, sondando os limites dos extratores de conhecimento em recursão profunda. Esta pesquisa analisará variantes de SNARK com complexidade de extrator superpolinomial para informar novas estruturas de prova para sistemas do mundo real. | |
| Criptografia | Desenvolvimento do ecossistema | PIR de Servidor Único Eficiente para Indexadores Ethereum | Avalia esquemas modernos de Recuperação de Informações Privadas para acesso a dados do Ethereum. Este trabalho especificará um esquema de última geração, completo com testes reutilizáveis, para melhorar a privacidade do usuário e reduzir os riscos de MEV. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Poseidon | Desenvolve esquemas eficientes de assinaturas pós-quânticas para a camada de execução do Ethereum, aproveitando construções baseadas em Poseidon para preparar a rede para a transição pós-quântica. | |
| Provas de Conhecimento Zero | Pesquisa | Iniciativa de Provador Multi-GPU Local Ethproofs - Matter Labs | Descentraliza a prova de blocos da camada 1 (l1) movendo a infraestrutura da nuvem para configurações locais (on-premise) e multi-GPU. Esta iniciativa abrirá o código-fonte de um Manual de Operações Locais (On-Prem Ops Playbook), fornecendo um modelo para futuros provadores melhorarem a resiliência. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | STEEL | Aprimora as especificações principais em Python do Ethereum (EELS) e os conjuntos de testes (EEST). Este trabalho crítico garante a compatibilidade do cliente e fortalece o consenso da rede. | |
| Privacidade | Aplicação | Suporte ao Frontend da Carteira Kohaku - Acompanhamento | Refatora a carteira de extensão de navegador Kohaku e a integração do SDK Railgun. Este trabalho melhora a capacidade de manutenção e a modularidade, avançando a carteira para uma adoção mais ampla e contribuições da comunidade. | Link |
| Outros | Desenvolvimento do ecossistema | Residência Offline de Blockchain no Butão 2026 | Cultiva uma nova coorte de desenvolvedores Ethereum no Butão por meio de uma residência intensiva. Este programa promove talentos locais e semeia uma comunidade de desenvolvedores autossustentável na região. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | PandaOps | Permite atualizações de rede seguras e bem testadas, construindo ferramentas personalizadas, scripts de implantação e pipelines de dados para P&D de Protocolo. | |
| Infraestrutura de Aplicação | Desenvolvimento do ecossistema | Estrutura de Intents Abertos - Adoção e Manutenção 2026 | Desenvolve a Estrutura de Intents Abertos (Open Intents Framework), melhorando o rebalanceamento de liquidez cross-chain e apoiando o desenvolvimento da especificação ERC-7683. Isso expande as capacidades multi-chain e as ferramentas para o Ethereum. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Universidade Politécnica de Hong Kong - Patrocínio do Centro de Pesquisa em Tecnologia Blockchain (RCBT) | Promove a excelência acadêmica em tecnologia blockchain por meio de bolsas de estudo para alunos de destaque do MScBT. Apoia o desenvolvimento de talentos e o engajamento com a Devconnect/Devcon, além de patrocinar a Asiacrypt 2026. | |
| Provas de Conhecimento Zero | Desenvolvimento do ecossistema | Contribuições para o Roteiro do CompPoly — Exponenciação, Transformadas Multilineares, ECC | Otimiza a exponenciação e prova a equivalência de transformadas multilineares para o CompPoly. Integra a interpolação de correção de erros via Berlekamp-Welch, melhorando a robustez do protocolo. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Consenso do Protocolo | Analisa e projeta mecanismos de consenso avançados. Este trabalho fortalece as garantias do protocolo, promovendo a descentralização da rede a longo prazo. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Coordenação de Financiamento | Facilita conexões entre os beneficiários da EF e fontes de financiamento externas. Isso ajuda projetos essenciais de bens públicos a garantir apoio vital de parceiros governamentais, filantrópicos e do ecossistema. | |
| Provas de Conhecimento Zero | Pesquisa | Iniciativa de Provador Multi-GPU Local Ethproofs - Succinct Labs | Permite que provadores descentralizados façam a transição da nuvem para configurações locais (on-premise) e multi-GPU. Esta iniciativa produzirá um Manual de Operações Locais (On-Prem Ops Playbook) de código aberto, fortalecendo a resiliência do ecossistema e reduzindo a dependência de infraestrutura centralizada. | |
| Segurança | Ferramentas para desenvolvedores | Octane: Segurança de Protocolo Alimentada por LLM para Clientes Ethereum | Melhora a segurança de contratos inteligentes com detecção de vulnerabilidades alimentada por IA. Esta assinatura fornece 25 varreduras abrangentes, um painel de projeto e suporte VIP para até quatro projetos de clientes. | Link |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | zkEVM | Avança a pesquisa de ZK-EVM, desenvolvendo soluções de escalabilidade e integrando provas ZK diretamente na camada de execução do Ethereum. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Segurança do Protocolo | Melhora a postura de segurança do Ethereum por meio de revisões proativas de código, ferramentas avançadas e gerenciamento robusto de programas de recompensas por bugs (bug bounty). | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Consenso do Protocolo | Analisando mecanismos de consenso para fortalecer a descentralização a longo prazo. Esta pesquisa ajuda a fechar a lacuna entre as garantias atuais do protocolo e os objetivos futuros da rede. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Criptografia | Apoia a pesquisa em primitivas criptográficas avançadas e protocolos de segurança, garantindo a liderança contínua do Ethereum em tecnologia segura e que preserva a privacidade. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | Criptografia | Avança a segurança criptográfica do Ethereum projetando e analisando novas primitivas e protocolos. Isso garante uma tecnologia robusta e que preserva a privacidade para o futuro. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Dia do ArkLib zkEVM Verificado no ZKProof 8 | Expande os esforços de padronização de ZKP reunindo mais de 1.000 profissionais no Dia do ArkLib no ZKProof 8. Este evento promove a colaboração em verificação formal e provas de conhecimento zero aplicadas. | Link |
| Segurança | Ferramentas para desenvolvedores | Compilador de Noir para LLZK | Desenvolve um compilador de Noir para LLZK, conectando (bridging) dois ecossistemas críticos de SNARK. Isso melhora a interoperabilidade e expande a base de desenvolvedores para ferramentas LLZK, fortalecendo os esforços de segurança de SNARK do Ethereum. | Link |
| Camada de aplicação | Ferramentas para desenvolvedores | Orquestração Compunível, Processamento em Lote da UX do Ethereum e Interoperabilidade | Permite o processamento em lote dinâmico de contas inteligentes e a execução baseada em predicados. Este projeto padroniza e abre o código-fonte de uma pilha de orquestração de produção, tornando as transações compuníveis de várias etapas e multi-chain um bem público para o ecossistema Ethereum. | Link |
| Provas de Conhecimento Zero | Ferramentas para desenvolvedores | Infraestrutura de Prova Melhorada para zkVMs RISC-V | Verifica a aritmetização da zkVM SP1 Hypercube usando Lean 4, provando formalmente que seus sistemas de restrição implementam corretamente a semântica ISA RISC-V para cada instrução. | |
| Protocolo Ethereum | Desenvolvimento do ecossistema | Programa de Estágio 2026 | zkEVM | Avança a pesquisa de ZK-EVM, desenvolvendo soluções de escalabilidade e integrando provas ZK diretamente na camada de execução do Ethereum para maior eficiência. | |
| Privacidade | Aplicação | Suporte ao Frontend da Carteira Kohaku | Refina a extensão de navegador Kohaku para uma UX de carteira robusta e focada na privacidade na Sepolia. Integra Pools de Privacidade e Railgun, otimizando a bifurcação (fork) da Ambire e os fluxos de usuário. | Link |
Total concedido no 2º trimestre de 2026: 5.502.930,20 USD