DAOs/GovernançaPesquisaBolsa de Pesquisa Acadêmica: Estudos de Ethereum (Ano Acadêmico 2025–2026)Permite que o Prof. Strnad dedique tempo substancial de pesquisa a problemas focados no Ethereum, incluindo governança de DAO, administração de sistemas descentralizados e períodos de desafio de optimistic rollup, enquanto orienta acadêmicos do OpenLab.SegurançaPesquisaSegurança EL+CL & GlamsterdamMelhora a segurança do Ethereum ao identificar proativamente vulnerabilidades em clientes das camadas de execução e consenso antes da atualização Glamsterdam. Esta pesquisa fortalece a resiliência da rede.Nós e ClientesAplicaçãoLodestar 2026Desenvolve e mantém o cliente de consenso Lodestar, implementando hard forks e contribuindo para a pesquisa do protocolo. Isso apoia a UX do operador e o ferramental do ecossistema para as comunidades Ethereum de TypeScript e Zig.LinkProtocolo EthereumAplicaçãoLighthouse - Maio a Outubro de 2026O desenvolvimento do cliente Lighthouse continua com ePBS, Gloas e rede de mensagens parciais para a mainnet. Este trabalho expande o tree sync, o framework de testes Diamond e o consenso verificado por ZK. Os esforços de verificação formal e endurecimento do cliente também progridem.LinkCriptografiaFerramental para desenvolvedoresFerramental Poulpy PIRDesenvolve uma biblioteca de Recuperação de Informação Privada (PIR) baseada em Rust de nível de produção. Isso permite consultas eficientes e em lote para bancos de dados de chave-valor de até 32GB, otimizando a comunicação entre servidor e cliente sem exigir estado.LinkProtocolo EthereumFerramental para desenvolvedoresETHeoremMapeia as especificações de consenso do Ethereum para implementações de clientes; o ETHeorem permite uma avaliação de segurança sistemática em Lighthouse, Prysm, geth e Reth. Este sistema de agentes combina LLMs com análise de programas para cobertura full-stack.Protocolo EthereumAplicaçãoReam - Cliente de Consenso Lean em RustDesenvolve o Ream, um Cliente de Consenso Lean 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 núcleo do cliente, o endurecimento da infraestrutura de testes e o escalonamento de devnets para 10.000 validadores.LinkProtocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | Robust Incentives GroupModela 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çãoPesquisaOtimização de LLM para Ethereum (Inseeq)Melhora modelos de IA com ferramentas atuais de desenvolvimento Ethereum e dados do ethskills. Isso melhora a precisão do LLM e fortalece o apelo do Ethereum para desenvolvedores que buscam uma blockchain para construir.LinkCriptografiaPesquisaRevisão Técnica de Fiat–Shamir a partir de Esponjas DuplexAudita os argumentos de segurança das transformações Fiat-Shamir instanciadas via esponjas duplex. Este trabalho esclarece abstrações principais para apoiar a futura formalização Lean, fortalecendo sistemas de prova de conhecimento zero.LinkProvas de Conhecimento ZeroPesquisaHardware Adicional Ethproofs - BrevisA Brevis está construindo uma pilha de prova de blocos L1 on-premise com multi-GPU para testar a resiliência operacional no mundo real. Esta iniciativa gerará um Playbook de Operações On-Prem de código aberto para futuros provadores.LinkProtocolo EthereumDesenvolvimento do ecossistemaPrioridades do quic-go para ethp2pMelhora o quic-go, a implementação Go do QUIC 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 o go-libp2p.LinkInfraestrutura de AplicaçãoFerramental para desenvolvedoresWeb3j: Sustentando a infraestrutura de integração JVM e Android do EthereumMantém a Web3j, a biblioteca cliente JVM dominante, em sincronia com o próximo hard fork Glamsterdam. Isso garante a integração contínua e perfeita para aplicativos Java, Kotlin e Android, juntamente com documentação voltada para IA.LinkProvas de Conhecimento ZeroPesquisaHardware Adicional Ethproofs - Succinct LabsA Succinct está movendo a prova de blocos L1 para configurações on-premise com multi-GPU. Isso testará a resiliência operacional e reduzirá a dependência da nuvem, gerando um Playbook de Operações On-Prem de código aberto para futuros provadores.Provas de Conhecimento ZeroPesquisaHardware Adicional Ethproofs - SilentSigPermite que a ZisK mude sua pilha de prova de blocos L1 para configurações on-premise com multi-GPU. Esta iniciativa gerará um Playbook de Operações On-Prem de código aberto para reduzir a dependência do ecossistema de provedores de nuvem centralizados.OutroDesenvolvimento do ecossistemaPrograma de treinamento de instrutores do currículo de Blockchain para MindanaoPermite que 8 instituições acadêmicas filipinas desenvolvam currículos de blockchain. Apoia o corpo docente a se tornarem instrutores, fomentando a educação local sobre Ethereum através de um programa de 6 dias.Infraestrutura de AplicaçãoFerramental para desenvolvedoresmevlog-rs - CLI/TUI de consulta de transações EVM alimentado por RevmIndexa dados on-chain em um banco de dados SQLite local, acessível via TUI e MCP. Esta ferramenta permite consultas locais flexíveis e compartilhamento de resultados por IPFS para desenvolvedores e agentes de LLM.LinkProtocolo EthereumPesquisaAsserções de TransaçãoPermite que os usuários verifiquem programaticamente os resultados das transações antes de assinar com a EIP-7906. Isso inclui condições positivas e negativas contra qualquer contrato inteligente, aumentando a segurança e o controle do usuário.LinkCamada de aplicaçãoAplicaçãoSteward, uma carteira Ethereum autossoberana com um assistente de IA no dispositivoConstrói a Steward, uma carteira de conta inteligente Ethereum totalmente local para macOS. Cada componente, desde o cliente leve até o assistente de IA, roda no dispositivo, garantindo segurança e soberania verificáveis de ponta a ponta.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | CriptografiaDesenvolve novas primitivas criptográficas e protocolos de segurança, melhorando a segurança fundamental e a privacidade do Ethereum para todos os usuários.PrivacidadePesquisaThe Open Anonymity ProjectPermite 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 anônima de crédito.Provas de Conhecimento ZeroPesquisaHardware Adicional Ethproofs - Matter LabsMelhora a pilha de prova de blocos L1 da Matter Labs ao fazer a transição para configurações on-premise com multi-GPU. Esta iniciativa testa a resiliência operacional e reduz a dependência da nuvem, gerando um Playbook de Operações On-Prem de código aberto.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | Pesquisa em CriptografiaFormaliza o modelo de segurança de Mempools Criptografadas, melhorando a privacidade das transações e a resiliência da rede para os usuários do Ethereum.SegurançaFerramental para desenvolvedoresVerityDesenvolve a Verity, uma linguagem de contrato inteligente baseada em Lean 4 e um compilador formalmente verificado. Permite que desenvolvedores escrevam, especifiquem formalmente e provem propriedades de contrato, compilando para bytecode EVM com semântica verificada.LinkProtocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | Snarkificação do ProtocoloVerifica protocolos criptográficos e circuitos zkVM, garantindo a correção matemática para a infraestrutura de escalonamento do Ethereum por meio de métodos formais.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | Robust Incentives GroupOtimiza a teoria dos jogos do protocolo ao aplicar design de mecanismos e modelagem econômica para entender e melhorar os incentivos dos participantes.Protocolo EthereumDesenvolvimento do ecossistemaTrabalho de exploração de ZK + testesExplora o comportamento do tempo de execução do zkVM em diversos hardwares para otimizar o desempenho da prova. Esta pesquisa visa identificar gargalos e permitir provas mais práticas e quase em tempo real para aplicações da mainnet Ethereum.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | GethApoia o desenvolvimento do protocolo principal do Geth, a manutenção do cliente e a implementação de novas Propostas de Melhoria do Ethereum (EIPs).Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | Prototipagem de ProtocoloTraduz pesquisas inovadoras de protocolo 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çaAplicaçãoSafeLensPermite a verificação offline de transações multissig da Gnosis Safe. O SafeLens gera pacotes de evidências para assinaturas, hashes e provas enriquecidas, permitindo o replay local de transações e detalhes legíveis por humanos por meio de intérpretes integrados.LinkProvas de Conhecimento ZeroPesquisaIniciativa de Provador Multi-GPU On-Prem Ethproofs - SilentSigPermite que a ZisK mude sua pilha de prova de blocos L1 para configurações on-premise com multi-GPU. Esta iniciativa testa a resiliência operacional e reduz a dependência da nuvem, gerando um Playbook de Operações On-Prem de código aberto para o ecossistema.LinkProvas de Conhecimento ZeroPesquisaIniciativa de Provador Multi-GPU On-Prem Ethproofs - BrevisDesenvolve um Playbook de Operações On-Prem de código aberto, permitindo que os provadores de blocos L1 façam a transição de ambientes hospedados na nuvem para configurações multi-GPU resilientes, reduzindo as dependências centralizadas.LinkNós e ClientesAplicaçãoGean, um Cliente de Consenso Ethereum LeanConstró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 ao quântico e diversifica o ecossistema de clientes a partir da África.LinkPrivacidadeFerramental para desenvolvedoresLeituras Privadas Quixote + Integração AaveMelhora o Quixote, um indexador de eventos EVM em Rust, com leituras privadas baseadas em Tor e suporte a GraphQL. Demonstra seu valor ao integrá-lo ao frontend da Aave, substituindo o TheGraph para um melhor acesso aos dados.LinkSegurançaFerramental para desenvolvedoresAgentes de Segurança do Protocolo Ethereum - SPECA & LeanAgentDesenvolve um sistema alimentado por LLM para automatizar a verificação de conformidade de especificações de clientes Ethereum e a descoberta de bugs. Isso inclui a verificação formal do Gasper Lean 4 e um pipeline para conectar as saídas do SPECA em especificações formais do Lean 4.SegurançaFerramental para desenvolvedoresAnalisador de Código de IA Cantina Apex para Vulnerabilidades de SegurançaMelhora 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.CriptografiaPesquisaleanVM sob restrições do BitcoinOtimiza 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 todo o setor.LinkOutroDesenvolvimento do ecossistemaProgramando a Convergência AI x Ethereum em RomaFomentando a interseção AI x Ethereum, o Urbe Hub em Roma sedia workshops recorrentes, demonstrações e sessões de desenvolvedores. Esta iniciativa cultiva eventos de polinização cruzada, fortalecendo ambas as comunidades e colaborando com a equipe EF dAI.LinkCriptografiaFerramental para desenvolvedoresAritmética de Campo Rápida para CompPolyDesenvolve implementações eficientes e verificadas de campos de torre binários e primos em Lean4. Este trabalho abrange campos STARK pequenos, campos SNARK/curva grandes e campos de torre binários, todos comprovadamente corretos via RingEquiv.LinkCamada de aplicaçãoPesquisaP&D de Casos de Uso de Fronteira "Razoavelmente Necessários" do EthereumInvestiga casos de uso únicos do Ethereum com impacto no mundo real. Esta pesquisa também explora novas estruturas organizacionais além das configurações criptográficas tradicionais.Provas de Conhecimento ZeroFerramental para desenvolvedoresBiblioteca Lean de Polinômios CompPoly - Partes do Roadmap 2Otimiza a avaliação polinomial no CompPoly usando os métodos Horner, batch e NTT. Implementa e verifica o algoritmo Guruswami-Sudan para zkVMs, completo com provas Lean e benchmarks.LinkSegurançaAplicaçãoAnálise de Conformidade de Cliente Baseada em LLM para EthereumMelhora a segurança dos clientes Ethereum ao implantar agentes de IA para varrer Geth, Nethermind, Lighthouse e Prysm contra as especificações EIP, identificando divergências e bugs de casos extremos.OutroPesquisaInstrumentos de Capital Onchain para Bens Públicos DigitaisDesenvolve 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 de larga escala.LinkCriptografiaFerramental para desenvolvedoresPolinômios Bivariados — CompPoly Fase 2, Item 6Estende o CompPoly com operações avançadas de polinômios bivariados, incluindo infraestrutura Guruswami-Sudan e otimizações de desempenho como a substituição de Kronecker, aprimorando o desenvolvimento de primitivas criptográficas.CriptografiaPesquisaO problema da extração recursivaInvestiga 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 novos frameworks de prova para sistemas do mundo real.CriptografiaDesenvolvimento do ecossistemaPIR de Servidor Único Eficiente para Indexadores EthereumAvalia esquemas modernos de Recuperação de Informação Privada (PIR) para acesso a dados do Ethereum. Este trabalho especificará um esquema de última geração, completo com testes reutilizáveis, para aumentar a privacidade do usuário e reduzir os riscos de MEV.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | PoseidonDesenvolve esquemas de assinatura pós-quântica eficientes 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 ZeroPesquisaIniciativa de Provador Multi-GPU On-Prem Ethproofs - Matter LabsDescentraliza a prova de blocos L1 movendo a infraestrutura da nuvem para configurações on-premise com multi-GPU. Esta iniciativa disponibilizará um Playbook de Operações On-Prem em código aberto, fornecendo um modelo para futuros provadores aumentarem a resiliência.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | STEELMelhora as especificações principais em Python do Ethereum (EELS) e as suítes de testes (EEST). Este trabalho crítico garante a compatibilidade do cliente e fortalece o consenso da rede.PrivacidadeAplicaçãoSuporte de Frontend da Carteira Kohaku - AcompanhamentoRefatora a carteira de extensão de navegador Kohaku e a integração do SDK Railgun. Este trabalho melhora a manutenibilidade e modularidade, avançando a carteira para uma adoção mais ampla e contribuições da comunidade.LinkOutroDesenvolvimento do ecossistemaResidência Offline de Blockchain no Butão 2026Cultiva um novo grupo de desenvolvedores Ethereum no Butão através de uma residência intensiva. Este programa fomenta o talento local e semeia uma comunidade de desenvolvedores autossustentável na região.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | PandaOpsPermite atualizações de rede seguras e bem testadas através da construção de ferramentas personalizadas, scripts de implantação e pipelines de dados para P&D do Protocolo.Infraestrutura de AplicaçãoDesenvolvimento do ecossistemaOpen Intents Framework - Adoção & Manutenção 2026Desenvolve o Open Intents Framework, melhorando o rebalanceamento de liquidez cross-chain e apoiando o desenvolvimento da especificação ERC-7683. Isso expande as capacidades multichain e o ferramental para o Ethereum.Protocolo EthereumDesenvolvimento do ecossistemaUniversidade Politécnica de Hong Kong - Patrocínio do Centro de Pesquisa para Tecnologia Blockchain (RCBT)Fomenta a excelência acadêmica em tecnologia blockchain através de bolsas de estudo para estudantes de destaque do MScBT. Apoia o desenvolvimento de talentos e o engajamento com Devconnect/Devcon, além de patrocinar o Asiacrypt 2026.Provas de Conhecimento ZeroDesenvolvimento do ecossistemaContribuições para o Roadmap do CompPoly — Exponenciação, Transformadas Multilineares, ECCOtimiza a exponenciação e prova a equivalência de transformadas multilineares para o CompPoly. Integra interpolação de correção de erros via Berlekamp-Welch, aumentando a robustez do protocolo.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | Consenso de ProtocoloAnalisa e projeta mecanismos de consenso avançados. Este trabalho fortalece as garantias do protocolo, fomentando a descentralização da rede a longo prazo.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | Coordenação de FinanciamentoFacilitata conexões entre 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 ZeroPesquisaIniciativa de Provador Multi-GPU On-Prem Ethproofs - Succinct LabsPermite que provadores descentralizados façam a transição da nuvem para configurações on-premise com multi-GPU. Esta iniciativa resultará em um Playbook de Operações On-Prem de código aberto, fortalecendo a resiliência do ecossistema e reduzindo a dependência de infraestrutura centralizada.SegurançaFerramental para desenvolvedoresOctane: Segurança de Protocolo Alimentada por LLM para Clientes EthereumMelhora a segurança dos contratos inteligentes com detecção de vulnerabilidades alimentada por IA. Esta assinatura oferece 25 varreduras abrangentes, um painel de projeto e suporte VIP para até quatro projetos de clientes.LinkProtocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | zkEVMAvança na pesquisa de ZK-EVM, desenvolvendo soluções de escalonamento e integrando provas ZK diretamente na camada de execução do Ethereum.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | Segurança de ProtocoloMelhora a postura de segurança do Ethereum através de revisões proativas de código, ferramentas avançadas e gerenciamento robusto de programas de bug bounty.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | Consenso de ProtocoloAnalisando mecanismos de consenso para fortalecer a descentralização a longo prazo. Esta pesquisa ajuda a diminuir a lacuna entre as garantias atuais do protocolo e os objetivos futuros da rede.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | CriptografiaApoia a pesquisa de primitivas criptográficas avançadas e protocolos de segurança, garantindo a liderança contínua do Ethereum em tecnologia segura e preservadora de privacidade.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | CriptografiaAvança na segurança criptográfica do Ethereum ao projetar e analisar novas primitivas e protocolos. Isso garante tecnologia robusta e preservadora de privacidade para o futuro.Protocolo EthereumDesenvolvimento do ecossistemaVerified zkEVM ArkLib Day no ZKProof 8Expande os esforços de padronização de ZKP ao reunir mais de 1.000 profissionais no ArkLib Day no ZKProof 8. Este evento fomenta a colaboração em verificação formal e provas de conhecimento zero aplicadas.LinkSegurançaFerramental para desenvolvedoresCompilador Noir para LLZKDesenvolve um compilador de Noir para LLZK, unindo dois ecossistemas SNARK críticos. Isso melhora a interoperabilidade e expande a base de desenvolvedores para ferramentas LLZK, fortalecendo os esforços de segurança SNARK do Ethereum.LinkCamada de aplicaçãoFerramental para desenvolvedoresOrquestração Componível, Agrupamento de UX e Interoperabilidade do EthereumPermite o agrupamento dinâmico de contas inteligentes e a execução baseada em predicados. Este projeto padroniza e disponibiliza em código aberto uma pilha de orquestração de produção, tornando as transações multietapas e multichain componíveis um bem público para o ecossistema Ethereum.LinkProvas de Conhecimento ZeroFerramental para desenvolvedoresInfraestrutura de Prova Melhorada para zkVMs RISC-VVerifica a aritmetização do zkVM SP1 Hypercube usando Lean 4, provando formalmente que seus sistemas de restrição implementam corretamente a semântica ISA do RISC-V para cada instrução.Protocolo EthereumDesenvolvimento do ecossistemaPrograma de Estágio 2026 | zkEVMAvança na pesquisa de ZK-EVM, desenvolvendo soluções de escalonamento e integrando provas ZK diretamente na camada de execução do Ethereum para maior eficiência.PrivacidadeAplicaçãoSuporte de Frontend da Carteira KohakuRefina a extensão de navegador Kohaku para uma UX de carteira robusta e focada em privacidade na Sepolia. Integra Privacy Pools e Railgun, otimizando o fork da Ambire e os fluxos de usuários.Link