La Fundación Ethereum otorgó una subvención estratégica a Certora para avanzar en la seguridad de la zkEVM, en colaboración con Powdr Labs. La iniciativa se enfoca en la verificación de los «Autoprecompiles», componentes optimizados de circuitos de conocimiento cero (ZK) diseñados para mejorar drásticamente el rendimiento computacional. El CEO de Certora, Seth Hallem dijo que el proyecto es fundamental para garantizar que la infraestructura de escalabilidad más avanzada de la red cuente con una validación matemática rigurosa desde su base.
La implementación de estos componentes permite sustituir el modelo de ejecución actual por una alternativa habilitada para ZK, lo que significa mayor velocidad, más seguridad y una disminución de los costos de gas. Al inferir automáticamente componentes de bajo nivel, la zkEVM logra procesar operaciones criptográficas complejas de forma eficiente.
Como parte del acuerdo, Certora liberará de forma abierta sus especificaciones y marcos de verificación, permitiendo que desarrolladores de Rollups e investigadores de protocolos ZK utilicen esta infraestructura. El próximo paso será vigilar la integración de estas herramientas en las distintas capas de ejecución de Ethereum. El mercado estará atento a cómo estas técnicas de verificación automática reducen los errores manuales y aceleran la adopción masiva de soluciones de segunda capa basadas en tecnología de conocimiento cero.
Fuente:https://x.com/Certora/status/2019441186339962915
Disclaimer: Las Noticias Flash de Crypto Economy se elaboran a partir de fuentes oficiales y públicas verificadas por nuestro equipo editorial. Su propósito es informar de forma rápida sobre hechos relevantes del ecosistema cripto y blockchain. Esta información no constituye asesoramiento financiero ni recomendaciones de inversión. Recomendamos verificar siempre los canales oficiales de cada proyecto antes de tomar decisiones relacionadas.
