Apertura
El equipo zkEVM de la Ethereum Foundation ha propuesto incluir el EIP-8025 en el fork Hegota, según discusiones en la reunión de All Core Developers (ACD). El EIP-8025 introduce Optional Execution Proofs (pruebas de ejecución opcionales), lo que permite a los nodos de Ethereum verificar pruebas de conocimiento cero en lugar de reejecutar directamente todas las transacciones. Actualmente, los nodos validan la corrección de los bloques reejecutando los resultados de las transacciones; el EIP-8025 agrega una alternativa en la que los nodos pueden verificar una prueba ZK de validez del bloque sin repetir los cálculos completos. En esta etapa, la propuesta funciona como un mecanismo de opt-in completo: solo los nodos que eligen usar pruebas se ven afectados, y las reglas de consenso permanecen sin cambios. Esto representa un cambio formal de Ethereum desde una fase experimental hacia la integración a nivel de protocolo de la tecnología de conocimiento cero, lo que potencialmente reduce los costos de operación de los nodos y habilita bloques más grandes con ejecuciones más complejas a largo plazo.
Desarrollos de investigación
EIP-8025: La infraestructura de conocimiento cero de Ethereum entra en una fase de actualización de protocolo
El mecanismo central del EIP-8025 se basa en Optional Execution Proofs. En lugar de requerir que todos los nodos reejecuten transacciones para verificar la validez de los bloques, los nodos pueden validar alternativamente una prueba de conocimiento cero que confirma la corrección de la ejecución. La propuesta no convierte de inmediato a Ethereum en una cadena basada en ZK; en cambio, establece la base para pasar de una “cadena de reejecución directa” a una “cadena de verificación de pruebas”.
La importancia radica en reducir la carga operativa de los nodos y establecer infraestructura para bloques más grandes y ejecuciones más complejas. Al permitir que los nodos verifiquen pruebas en vez de replicar cálculos, Ethereum puede admitir mayor rendimiento y capacidad de procesamiento.
Vitalik Buterin sobre IA y verificación formal para ciberseguridad
El cofundador de Ethereum, Vitalik Buterin, publicó un análisis sobre la combinación de IA y verificación formal para transformar la ciberseguridad. La verificación formal prueba matemáticamente que los programas operan exactamente como se pretende, en contraste con las auditorías de seguridad tradicionales, donde humanos revisan el código en busca de vulnerabilidades.
Buterin propuso que la IA podría generar código ensamblador de bajo nivel mientras la verificación formal confirma que este código produce un comportamiento idéntico al de implementaciones de alto nivel legibles por humanos. Este enfoque aborda el intercambio tradicional: el código ensamblador se ejecuta de manera eficiente pero resiste la revisión humana, mientras que el código de alto nivel prioriza la legibilidad sobre la optimización del rendimiento.
Entre los ejemplos citados del ecosistema de Ethereum están Arklib (impulsando STARKs verificados formalmente para comprobar la corrección de cálculos complejos) y evm-asm (escribiendo la EVM en RISC-V y probando la equivalencia con implementaciones en Lean, donde Lean es una herramienta de verificación formal).
Para protocolos blockchain y contratos inteligentes, se requieren métodos de verificación más sólidos, ya que los errores en el despliegue tienen consecuencias graves.
ZK Summit 14: El enfoque del sistema de pruebas pasa a garantías del mundo real
ZK Summit 14 se celebró el 7 de mayo en Roma, con 24 presentaciones de equipos principales del ecosistema ZK, incluida la Ethereum Foundation, Succinct, Aztec, Nethermind y Miden.
La tendencia más significativa reflejó un cambio de enfoque desde métricas de rendimiento del sistema de pruebas—velocidad, tamaño de la prueba, costo de verificación—hacia garantías del sistema en el mundo real. La tecnología de conocimiento cero ahora se integra en sistemas de pago, verificación de identidad, zkVMs y aplicaciones de aprendizaje automático. En estos contextos, el rendimiento de la prueba por sí solo es insuficiente:
- Sistemas de pago requieren proteger los montos de las transacciones y la información de los usuarios.
- Sistemas de identidad deben permitir a los usuarios probar las credenciales requeridas mientras ocultan otros datos personales.
- zkVMs deben probar con precisión la ejecución de programas complejos.
- Aplicaciones de aprendizaje automático requieren verificación de que los resultados de la inferencia del modelo permanezcan no manipulados.
La tecnología ZK se ha expandido más allá de la “generación rápida de pruebas” para convertirse en un método para diseñar garantías de seguridad y privacidad adaptadas a las necesidades de cada sistema. ZK Summit 14 mostró cómo la tecnología de conocimiento cero avanza desde la investigación hacia una integración profunda con infraestructura real y aplicaciones.
Actualizaciones del ecosistema
El lanzamiento del marco de privacidad Kohaku es inminente; pruebas de integración con wallets en marcha
El framework modular de privacidad de Ethereum Kohaku se acerca al lanzamiento con pruebas de integración en carteras en progreso. Kohaku ofrece una interfaz unificada que permite a los wallets ejecutar transacciones privadas usando múltiples backends criptográficos sin implementar la funcionalidad de privacidad directamente.
Wallets, incluidas Ambire, están realizando actualmente pruebas de integración con Kohaku. Históricamente, las funciones de privacidad han enfrentado barreras de adopción en wallets de usuarios porque los protocolos individuales de privacidad emplean arquitecturas distintas, lo que requiere que los wallets soporten cada tecnología por separado.
Kohaku aborda esta fragmentación al permitir que los wallets accedan a múltiples backends de privacidad a través de una sola interfaz. Una mayor adopción podría expandir el uso de Railgun, identificado como el motor de privacidad fundacional de Kohaku. El framework busca transformar la privacidad en Ethereum de “una herramienta especializada para usuarios avanzados” a “una función del wallet integrada de forma natural”.
L2BEAT verifica la salida con conocimiento cero más ligera de Lighter
La plataforma de análisis de capa 2 L2BEAT verificó los circuitos ZK de Lighter, un DEX de futuros perpetuos en capa 2. Lighter permite trading de derivados perpetuos—contratos sin fechas de vencimiento.
L2BEAT compiló todos los circuitos ZK de Lighter directamente desde el código fuente y confirmó la alineación con contratos verificadores desplegados (smart contracts que validan las pruebas ZK presentadas). Esta verificación aborda la funcionalidad del exit hatch (mecanismo de emergencia que permite a los usuarios retirar activos si los secuenciadores u operadores de la capa 2 se detienen).
Anteriormente, Lighter retenía cierto código fuente del verificador, impidiendo que los usuarios generaran de forma independiente pruebas de salida (datos que demuestran derechos de retiro) durante fallas del secuenciador. Tras la verificación de L2BEAT, los usuarios ahora pueden generar pruebas de salida de forma independiente, mejorando la capacidad de retirar activos sin depender del equipo de Lighter durante emergencias.
Este caso demuestra que, para la seguridad de la capa 2, verificar que el código desplegado coincide con el código disponible públicamente es tan crítico como la disponibilidad del código en sí.
ETHGlobal revisa el formato del hackathon
ETHGlobal ha reestructurado el formato de su hackathon. Los hackathons tradicionales requerían que los participantes seleccionaran ideas y construyeran productos mínimos viables (MVPs—versiones iniciales que demuestran funcionalidad central) en plazos cortos.
A partir del hackathon de Nueva York, nuevas categorías permiten a los participantes aportar funcionalidades a repositorios open-source existentes o añadir funcionalidad a productos ya establecidos, y luego publicar mejoras de forma pública como código abierto. Este cambio aumenta la probabilidad de que los resultados del hackathon se traduzcan en contribuciones reales al ecosistema. Antes, los MVPs con plazos cortos a menudo dejaban de desarrollarse después del evento. Contribuir a proyectos open-source activos beneficia directamente a usuarios y desarrolladores existentes.
ETHGlobal se expande de “mostrar rápidamente nuevas ideas” a “mejorar de forma significativa la infraestructura existente del ecosistema”. A medida que Ethereum madura, mejorar los bienes públicos y las herramientas para desarrolladores existentes se vuelve tan importante como crear aplicaciones completamente nuevas.
Actualizaciones de la comunidad
Sale un alto colaborador de la Ethereum Foundation
Dos investigadores senior de la Ethereum Foundation han renunciado: Carl Bewick y Julian Ma. Esto eleva a siete el total de salidas de colaboradores senior en dos meses.
Carl Bewick aportó aproximadamente siete años a la Ethereum Foundation, participando en investigación de consenso, diseño inicial de Beacon Chain y la ceremonia KZG (el procedimiento de configuración criptográfica relacionado con el escalado de la disponibilidad de datos de Ethereum).
Julian Ma aportó aproximadamente cuatro años, coautorando EIP-7805 FOCIL y participando en FCR GTM (discusiones sobre resistencia a la censura y garantías de inclusión de transacciones, y reglas de confirmación rápida que habilitan una percepción de finalidad de transacciones más rápida).
Las salidas recientes de personal de investigación del protocolo central y de coordinación de actualizaciones plantean preguntas sobre cómo mantener la coordinación del desarrollo del protocolo y la continuidad de la investigación.
Railgun gana atención en medio de expectativas de adopción de Kohaku
El protocolo de privacidad Railgun está recibiendo atención en función de las perspectivas de adopción de Kohaku. El análisis sugiere que una mayor integración de Kohaku en wallets podría expandir el uso de Railgun. Railgun permite interacción con Ethereum DeFi manteniendo la privacidad—las transacciones estándar on-chain revelan direcciones de wallet, montos de transacción y protocolos con los que se interactúa, mientras que Railgun oculta esta información.
Railgun aplica comisiones del 0,25% a las acciones de Shield (mover activos a zonas protegidas por privacidad) y a las acciones de unShield (retirar hacia áreas públicas). Una mayor adopción de wallets mediante Kohaku y un mayor volumen de transacciones privadas expandirían los ingresos por comisiones de Railgun.
El análisis señaló que Railgun parece estar subvalorado frente a monedas de privacidad como ZEC y DASH, con la diferenciación en la interacción directa con Ethereum DeFi. Mientras ZEC y DASH funcionan como monedas de privacidad separadas, Railgun opera como una herramienta de privacidad dentro de Ethereum DeFi. Si Kohaku logra una adopción sustancial de wallets, Railgun podría convertirse en un beneficiario principal de la infraestructura de privacidad de Ethereum.
Métricas semanales de Ethereum
- Tasa de inflación anual: 0,833%
- Oferta neta semanal: 19.422,04 ETH
- Ratio de staking: 31,50%
- Capitalización de mercado de stablecoins: $163,019 mil millones
- Salidas netas de US Ethereum spot ETF: $255,02 millones
Datos obtenidos de Ultrasound Money, DeFi Llama, Dune y Parsec Investors.
