La Fundación Ethereum ha otorgado una subvención estratégica a Certora para avanzar en la seguridad de zkEVM en colaboración con Powdr Labs. La iniciativa se centra en la verificación de “Autoprecompiles”, componentes de circuito de conocimiento cero (ZK) optimizados diseñados para mejorar drásticamente el rendimiento computacional. El CEO de Certora, Seth Hallem, declaró que el proyecto es fundamental para garantizar que la infraestructura de escalabilidad más avanzada de la red tenga una validación matemática rigurosa en su núcleo.
Certora está verificando formalmente los autoprecompiles de @powdr_labs, respaldado por una subvención de @ethereumfndn.
Todas las especificaciones + pruebas serán de código abierto para el ecosistema ZK 
https://t.co/TiDeLgI4SZ
— Certora (@Certora) 5 de febrero de 2026
La implementación de estos componentes permite reemplazar el modelo de ejecución actual por una alternativa habilitada para ZK, lo que significa mayor velocidad, mayor seguridad y una disminución en los costos de gas. Al inferir automáticamente componentes de bajo nivel, el zkEVM puede procesar de manera eficiente operaciones criptográficas complejas.
Como parte del acuerdo, Certora abrirá su código fuente de sus especificaciones y marcos de verificación, permitiendo a los desarrolladores de Rollup y a los investigadores de protocolos ZK utilizar esta infraestructura. El siguiente paso será monitorear la integración de estas herramientas en las diversas capas de ejecución de Ethereum. El mercado estará observando cómo estas técnicas de verificación automatizadas reducen errores manuales y aceleran la adopción masiva de soluciones de Capa 2 basadas en tecnología de conocimiento cero.
Source:https://x.com/Certora/status/2019441186339962915
Descargo de responsabilidad: Crypto Economy Flash News se prepara a partir de fuentes oficiales y públicas verificadas por nuestro equipo editorial. Su propósito es proporcionar información rápida sobre eventos relevantes en el ecosistema cripto y blockchain. Esta información no constituye asesoramiento financiero ni recomendaciones de inversión. Recomendamos siempre verificar los canales oficiales de cada proyecto antes de tomar decisiones relacionadas.