DAOs/GobernanzaInvestigaciónBeca de Investigación para el Profesorado: Estudios de Ethereum (Año Académico 2025–2026)Permite al Prof. Strnad dedicar tiempo de investigación sustancial a problemas centrados en Ethereum, incluyendo la gobernanza de DAO, la administración de sistemas descentralizados y los periodos de desafío de los optimistic rollups, mientras asesora a becarios de OpenLab.SeguridadInvestigaciónSeguridad de EL+CL y GlamsterdamMejora la seguridad de Ethereum identificando proactivamente vulnerabilidades en los clientes de las capas de ejecución y consenso antes de la actualización Glamsterdam. Esta investigación fortalece la resiliencia de la red.Nodos y ClientesAplicaciónLodestar 2026Desarrolla y mantiene el cliente de consenso Lodestar, implementando hard forks y contribuyendo a la investigación del protocolo. Esto apoya la UX del operador y las herramientas del ecosistema para las comunidades de Ethereum en TypeScript y Zig.LinkProtocolo EthereumAplicaciónLighthouse - Mayo a Octubre 2026El desarrollo del cliente Lighthouse continúa con ePBS, Gloas y redes de mensajes parciales para la mainnet. Este trabajo expande la sincronización de árboles, el marco de pruebas Diamond y el consenso verificado por ZK. También progresan los esfuerzos de verificación formal y endurecimiento del cliente.LinkCriptografíaHerramientas para desarrolladoresHerramientas Poulpy PIRDesarrolla una biblioteca de Recuperación de Información Privada basada en Rust de grado de producción. Esto permite consultas eficientes y por lotes para bases de datos clave-valor de hasta 32GB, optimizando la comunicación entre servidor y cliente sin requerir estado.LinkProtocolo EthereumHerramientas para desarrolladoresETHeoremMapea las especificaciones de consenso de Ethereum con las implementaciones de los clientes, ETHeorem permite la evaluación sistemática de la seguridad en Lighthouse, Prysm, geth y Reth. Este sistema agéntico combina LLMs con análisis de programas para una cobertura completa.Protocolo EthereumAplicaciónReam - Cliente de Consenso Lean en RustDesarrolla Ream, un cliente de consenso Lean basado en Rust, para avanzar en un consenso preparado para la era post-cuántica con finalidad rápida y slots de 4 segundos. Esta renovación apoya el desarrollo del cliente principal, el endurecimiento de la infraestructura de pruebas y el escalado de devnets a 10,000 validadores.LinkProtocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | Robust Incentives GroupModela los incentivos económicos y el comportamiento de los participantes para optimizar la teoría de juegos del protocolo, mejorando la estabilidad y eficiencia de la red.Infraestructura de aplicacionesInvestigaciónOptimización de LLM de Ethereum (Inseeq)Mejora los modelos de IA con las herramientas actuales de desarrollo de Ethereum y datos de ethskills. Esto mejora la precisión de los LLM y fortalece el atractivo de Ethereum para los desarrolladores que buscan una blockchain sobre la cual construir.LinkCriptografíaInvestigaciónRevisión Técnica de Fiat–Shamir desde Duplex SpongesAudita los argumentos de seguridad de las transformaciones Fiat-Shamir instanciadas a través de duplex sponges. Este trabajo aclara abstracciones clave para apoyar la futura formalización en Lean, fortaleciendo los sistemas de pruebas de conocimiento cero.Pruebas de conocimiento ceroInvestigaciónHardware adicional de Ethproofs - BrevisBrevis está construyendo una pila de pruebas de bloques L1 multi-GPU en sitio para probar la resiliencia operativa en el mundo real. Esta iniciativa generará un Manual de Operaciones en Sitio de código abierto para futuros probadores.Protocolo EthereumDesarrollo del ecosistemaPrioridades de quic-go para ethp2pMejora quic-go, la implementación de Go QUIC que sustenta la red de la capa de consenso de Ethereum. Este trabajo mejora el rendimiento, las capacidades de transporte y la eficiencia de conexión para go-libp2p.Infraestructura de aplicacionesHerramientas para desarrolladoresWeb3j: Sosteniendo la infraestructura de integración de Ethereum para JVM y AndroidMantiene Web3j, la biblioteca de cliente JVM dominante, sincronizada con el próximo hard fork Glamsterdam. Esto asegura una integración continua y fluida para aplicaciones Java, Kotlin y Android, junto con documentación orientada a la IA.LinkPruebas de conocimiento ceroInvestigaciónHardware adicional de Ethproofs - Succinct LabsSuccinct está trasladando las pruebas de bloques L1 a configuraciones multi-GPU en sitio. Esto probará la resiliencia operativa y reducirá la dependencia de la nube, generando un Manual de Operaciones en Sitio de código abierto para futuros probadores.Pruebas de conocimiento ceroInvestigaciónHardware adicional de Ethproofs - SilentSigPermite a ZisK transicionar su pila de pruebas de bloques L1 a configuraciones multi-GPU en sitio. Esta iniciativa generará un Manual de Operaciones en Sitio de código abierto para reducir la dependencia del ecosistema de proveedores de nube centralizados.OtrosDesarrollo del ecosistemaPrograma de capacitación para formadores en currículo de blockchain para MindanaoPermite que 8 instituciones académicas filipinas desarrollen currículos de blockchain. Apoya al profesorado para que se conviertan en formadores, fomentando la educación local en Ethereum a través de un programa de 6 días.Infraestructura de aplicacionesHerramientas para desarrolladoresmevlog-rs - CLI/TUI de consulta de transacciones EVM impulsado por RevmIndexa datos on-chain en una base de datos SQLite local, accesible a través de TUI y MCP. Esta herramienta permite consultas locales flexibles y el intercambio de resultados por IPFS para desarrolladores y agentes LLM.LinkProtocolo EthereumInvestigaciónAseveraciones de transaccionesPermite a los usuarios verificar programáticamente los resultados de las transacciones antes de firmarlas con el EIP-7906. Esto incluye condiciones positivas y negativas contra cualquier contrato inteligente, mejorando la seguridad y el control del usuario.LinkCapa de aplicaciónAplicaciónSteward, una billetera de Ethereum soberana con un asistente de IA en el dispositivoConstruye Steward, una billetera de cuenta inteligente de Ethereum para macOS totalmente local. Cada componente, desde el cliente ligero hasta el asistente de IA, se ejecuta en el dispositivo, asegurando seguridad y soberanía verificables de extremo a extremo.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | CriptografíaDesarrolla primitivas criptográficas novedosas y protocolos de seguridad, mejorando la seguridad fundacional y la privacidad de Ethereum para todos los usuarios.PrivacidadInvestigaciónEl Proyecto de Anonimato AbiertoPermite el acceso no vinculable a servicios de API restringidos, comenzando con la inferencia de IA. Esta pila modular de código abierto utiliza firmas ciegas y servidores amigables con TEE para la verificación anónima de créditos.Pruebas de conocimiento ceroInvestigaciónHardware adicional de Ethproofs - Matter LabsMejora la pila de pruebas de bloques L1 de Matter Labs mediante la transición a configuraciones multi-GPU en sitio. Esta iniciativa prueba la resiliencia operativa y reduce la dependencia de la nube, generando un Manual de Operaciones en Sitio de código abierto.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | Investigación en CriptografíaFormaliza el modelo de seguridad de los Mempools Encriptados, mejorando la privacidad de las transacciones y la resiliencia de la red para los usuarios de Ethereum.SeguridadHerramientas para desarrolladoresVerityDesarrolla Verity, un lenguaje de contratos inteligentes basado en Lean 4 y un compilador verificado formalmente. Permite a los desarrolladores escribir, especificar formalmente y probar propiedades de contratos, compilando a bytecode de EVM con semántica verificada.LinkProtocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | Snarkificación del ProtocoloVerifica protocolos criptográficos y circuitos zkVM, asegurando la corrección matemática de la infraestructura de escalado de Ethereum a través de métodos formales.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | Robust Incentives GroupOptimiza la teoría de juegos del protocolo aplicando diseño de mecanismos y modelado económico para entender y mejorar los incentivos de los participantes.Protocolo EthereumDesarrollo del ecosistemaTrabajo de exploración de ZK + pruebasExplora el comportamiento de ejecución de zkVM en diversos hardwares para optimizar el rendimiento de las pruebas. Esta investigación tiene como objetivo identificar cuellos de botella y permitir pruebas más prácticas y cercanas al tiempo real para aplicaciones de la mainnet de Ethereum.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | GethApoya el desarrollo del protocolo principal de Geth, el mantenimiento del cliente y la implementación de nuevas Propuestas de Mejora de Ethereum.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | Prototipado del ProtocoloTraduce la investigación de protocolos novedosos en código funcional. Esto permite la prueba empírica de supuestos teóricos y cuantifica las compensaciones de diseño para futuras actualizaciones de Ethereum.SeguridadAplicaciónSafeLensPermite la verificación fuera de línea de transacciones multifirma de Gnosis Safe. SafeLens genera paquetes de evidencia para firmas, hashes y pruebas enriquecidas, permitiendo la repetición de transacciones locales y detalles legibles por humanos a través de intérpretes integrados.LinkPruebas de conocimiento ceroInvestigaciónIniciativa de Probador Multi-GPU en Sitio de Ethproofs - SilentSigPermite a ZisK transicionar las pruebas de bloques L1 a configuraciones multi-GPU en sitio. Esta iniciativa prueba la resiliencia operativa y reduce la dependencia de la nube, generando un Manual de Operaciones en Sitio de código abierto para el ecosistema.LinkPruebas de conocimiento ceroInvestigaciónIniciativa de Probador Multi-GPU en Sitio de Ethproofs - BrevisDesarrolla un Manual de Operaciones en Sitio de código abierto, permitiendo que los probadores de bloques L1 transicionen de entornos alojados en la nube a configuraciones multi-GPU resilientes, reduciendo las dependencias centralizadas.LinkNodos y ClientesAplicaciónGean, un cliente de consenso de Ethereum LeanConstruye la resiliencia a largo plazo de Ethereum con Gean, un nuevo cliente de consenso basado en Go. Esta implementación de código abierto reemplaza la criptografía vulnerable a lo cuántico y diversifica el ecosistema de clientes desde África.LinkPrivacidadHerramientas para desarrolladoresLecturas privadas de Quixote + Integración con AaveMejora Quixote, un indexador de eventos EVM en Rust, con lecturas privadas basadas en Tor y soporte para GraphQL. Demuestra su valor integrándolo en el frontend de Aave, reemplazando a TheGraph para un acceso a datos mejorado.LinkSeguridadHerramientas para desarrolladoresAgentes de seguridad del protocolo Ethereum - SPECA y LeanAgentDesarrolla un sistema impulsado por LLM para automatizar la verificación del cumplimiento de las especificaciones del cliente de Ethereum y el descubrimiento de errores. Esto incluye la verificación formal de Gasper Lean 4 y un conducto para vincular los resultados de SPECA con las especificaciones formales de Lean 4.SeguridadHerramientas para desarrolladoresCantina Apex AI Code Analyzer para vulnerabilidades de seguridadMejora la postura de seguridad de Ethereum con 52 escaneos de contratos inteligentes impulsados por IA para repositorios de clientes y protocolos durante el próximo año.CriptografíaInvestigaciónleanVM bajo restricciones de BitcoinOptimiza la agregación de firmas post-cuánticas de leanVM para la capa de consenso de Ethereum. Este trabajo mejora la velocidad, aumenta la eficiencia y asegura la compatibilidad con Bitcoin para establecer un estándar en toda la industria.LinkOtrosDesarrollo del ecosistemaProgramando la convergencia IA x Ethereum en RomaFomentando la intersección IA x Ethereum, Urbe Hub en Roma organiza talleres recurrentes, demostraciones y sesiones de constructores. Esta iniciativa cultiva eventos de polinización cruzada, fortaleciendo ambas comunidades y colaborando con el equipo de dAI de la EF.LinkCriptografíaHerramientas para desarrolladoresAritmética de campos rápida para CompPolyDesarrolla implementaciones eficientes y verificadas de campos de torre binarios y primos en Lean4. Este trabajo cubre campos STARK pequeños, campos SNARK/curva grandes y campos de torre binarios, todos probados como correctos a través de RingEquiv.LinkCapa de aplicaciónInvestigaciónI+D de casos de uso frontera "razonablemente necesarios" de EthereumInvestiga casos de uso únicos de Ethereum con impacto en el mundo real. Esta investigación también explora estructuras organizativas novedosas más allá de las configuraciones criptográficas tradicionales.Pruebas de conocimiento ceroHerramientas para desarrolladoresBiblioteca Lean de polinomios CompPoly - Partes de la Hoja de Ruta 2Optimiza la evaluación de polinomios en CompPoly utilizando los métodos Horner, por lotes y NTT. Implementa y verifica el algoritmo Guruswami-Sudan para zkVMs, completo con pruebas en Lean y bancos de pruebas.LinkSeguridadAplicaciónAnálisis de cumplimiento de clientes basado en LLM para EthereumMejora la seguridad de los clientes de Ethereum desplegando agentes de IA para escanear Geth, Nethermind, Lighthouse y Prysm contra las especificaciones EIP, identificando divergencias y errores en casos extremos.OtrosInvestigaciónInstrumentos de capital onchain para bienes públicos digitalesDesarrolla instrumentos de financiación ESG onchain para Bienes Públicos Digitales, aprovechando Ethereum para trasladar la financiación de bienes públicos de subvenciones a mercados de capital escalables. Esta iniciativa diseña mecanismos similares a bonos para infraestructura a gran escala.LinkCriptografíaHerramientas para desarrolladoresPolinomios bivariados — Fase 2 de CompPoly, ítem 6Extiende CompPoly con operaciones avanzadas de polinomios bivariados, incluyendo la infraestructura Guruswami-Sudan y optimizaciones de rendimiento como la sustitución de Kronecker, mejorando el desarrollo de primitivas criptográficas.CriptografíaInvestigaciónEl problema de la extracción recursivaInvestiga la seguridad de los SNARKs recursivos, sondeando los límites de los extractores de conocimiento en recursión profunda. Esta investigación analizará variantes de SNARK con complejidad de extractor superpolinómica para informar nuevos marcos de prueba para sistemas del mundo real.CriptografíaDesarrollo del ecosistemaPIR de servidor único eficiente para indexadores de EthereumEvalúa esquemas modernos de Recuperación de Información Privada para el acceso a datos de Ethereum. Este trabajo especificará un esquema de vanguardia, completo con pruebas reutilizables, para mejorar la privacidad del usuario y reducir los riesgos de MEV.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | PoseidonDesarrolla esquemas de firma post-cuántica eficientes para la capa de ejecución de Ethereum, aprovechando construcciones basadas en Poseidon para preparar la red para la transición post-cuántica.Pruebas de conocimiento ceroInvestigaciónIniciativa de Probador Multi-GPU en Sitio de Ethproofs - Matter LabsDescentraliza las pruebas de bloques L1 trasladando la infraestructura de la nube a configuraciones multi-GPU en sitio. Esta iniciativa publicará como código abierto un Manual de Operaciones en Sitio, proporcionando un plan para que los futuros probadores mejoren la resiliencia.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | STEELMejora las especificaciones principales de Python de Ethereum (EELS) y las suites de pruebas (EEST). Este trabajo crítico asegura la compatibilidad del cliente y fortalece el consenso de la red.PrivacidadAplicaciónSoporte del Frontend de la Billetera Kohaku - SeguimientoRefactoriza la billetera de extensión del navegador Kohaku y la integración del SDK de Railgun. Este trabajo mejora la mantenibilidad y modularidad, haciendo avanzar la billetera para una adopción más amplia y contribuciones de la comunidad.LinkOtrosDesarrollo del ecosistemaResidencia fuera de línea de Blockchain en Bután 2026Cultiva una nueva cohorte de desarrolladores de Ethereum en Bután a través de una residencia intensiva. Este programa fomenta el talento local y siembra una comunidad de desarrolladores autosostenible en la región.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | PandaOpsPermite actualizaciones de red seguras y bien probadas mediante la construcción de herramientas personalizadas, scripts de despliegue y conductos de datos para el I+D de Protocolos.Infraestructura de aplicacionesDesarrollo del ecosistemaOpen Intents Framework - Adopción y Mantenimiento 2026Desarrolla el Open Intents Framework, mejorando el reequilibrio de liquidez entre cadenas y apoyando el desarrollo de la especificación ERC-7683. Esto expande las capacidades multichain y las herramientas para Ethereum.Protocolo EthereumDesarrollo del ecosistemaUniversidad Politécnica de Hong Kong - Patrocinio del Centro de Investigación para la Tecnología Blockchain (RCBT)Fomenta la excelencia académica en tecnología blockchain a través de becas para estudiantes sobresalientes de MScBT. Apoya el desarrollo de talento y la participación con Devconnect/Devcon, además de patrocinar Asiacrypt 2026.Pruebas de conocimiento ceroDesarrollo del ecosistemaContribuciones a la Hoja de Ruta de CompPoly — Exponenciación, Transformaciones Multilineales, ECCOptimiza la exponenciación y prueba la equivalencia de la transformación multilineal para CompPoly. Integra la interpolación de corrección de errores a través de Berlekamp-Welch, mejorando la robustez del protocolo.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | Consenso del ProtocoloAnaliza y diseña mecanismos de consenso avanzados. Este trabajo fortalece las garantías del protocolo, fomentando la descentralización de la red a largo plazo.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | Coordinación de FinanciaciónFacilita conexiones entre los beneficiarios de la EF y fuentes de financiación externas. Esto ayuda a que proyectos esenciales de bienes públicos aseguren apoyo vital de socios gubernamentales, filantrópicos y del ecosistema.Pruebas de conocimiento ceroInvestigaciónIniciativa de Probador Multi-GPU en Sitio de Ethproofs - Succinct LabsPermite que los probadores descentralizados transicionen de la nube a configuraciones multi-GPU en sitio. Esta iniciativa producirá un Manual de Operaciones en Sitio de código abierto, fortaleciendo la resiliencia del ecosistema y reduciendo la dependencia de la infraestructura centralizada.SeguridadHerramientas para desarrolladoresOctane: Seguridad de protocolo impulsada por LLM para clientes de EthereumMejora la seguridad de los contratos inteligentes con detección de vulnerabilidades impulsada por IA. Esta suscripción proporciona 25 escaneos exhaustivos, un panel de proyecto y soporte VIP para hasta cuatro proyectos de clientes.LinkProtocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | zkEVMAvanza en la investigación de ZK-EVM, desarrollando soluciones de escalado e integrando pruebas ZK directamente en la capa de ejecución de Ethereum.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | Seguridad del ProtocoloMejora la postura de seguridad de Ethereum a través de revisiones de código proactivas, herramientas avanzadas y una gestión sólida del programa de recompensas por errores.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | Consenso del ProtocoloAnaliza mecanismos de consenso para fortalecer la descentralización a largo plazo. Esta investigación ayuda a cerrar la brecha entre las garantías actuales del protocolo y los objetivos futuros de la red.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | CriptografíaApoya la investigación sobre primitivas criptográficas avanzadas y protocolos de seguridad, asegurando el liderazgo continuo de Ethereum en tecnología segura y preservadora de la privacidad.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | CriptografíaAvanza en la seguridad criptográfica de Ethereum diseñando y analizando nuevas primitivas y protocolos. Esto asegura una tecnología robusta y preservadora de la privacidad para el futuro.Protocolo EthereumDesarrollo del ecosistemaDía de ArkLib de zkEVM Verificado en ZKProof 8Expande los esfuerzos de estandarización de ZKP reuniendo a más de 1,000 profesionales en el Día de ArkLib en ZKProof 8. Este evento fomenta la colaboración en verificación formal y pruebas de conocimiento cero aplicadas.LinkSeguridadHerramientas para desarrolladoresCompilador de Noir a LLZKDesarrolla un compilador de Noir a LLZK, uniendo dos ecosistemas SNARK críticos. Esto mejora la interoperabilidad y expande la base de desarrolladores para las herramientas de LLZK, fortaleciendo los esfuerzos de seguridad SNARK de Ethereum.LinkCapa de aplicaciónHerramientas para desarrolladoresOrquestación composable, procesamiento por lotes de la UX e Interoperabilidad de EthereumPermite el procesamiento por lotes dinámico de cuentas inteligentes y la ejecución basada en predicados. Este proyecto estandariza y publica como código abierto una pila de orquestación de producción, convirtiendo las transacciones multichain de múltiples pasos y composables en un bien público para el ecosistema de Ethereum.LinkPruebas de conocimiento ceroHerramientas para desarrolladoresInfraestructura de pruebas mejorada para zkVMs de RISC-VVerifica la aritmetización de la zkVM SP1 Hypercube utilizando Lean 4, probando formalmente que sus sistemas de restricciones implementan correctamente la semántica ISA de RISC-V para cada instrucción.Protocolo EthereumDesarrollo del ecosistemaPrograma de Prácticas 2026 | zkEVMAvanza en la investigación de ZK-EVM, desarrollando soluciones de escalado e integrando pruebas ZK directamente en la capa de ejecución de Ethereum para una mayor eficiencia.PrivacidadAplicaciónSoporte del Frontend de la Billetera KohakuRefina la extensión del navegador Kohaku para una UX de billetera robusta y centrada en la privacidad en Sepolia. Integra Privacy Pools y Railgun, optimizando la bifurcación de Ambire y los flujos de usuarios.Link