=nil; Foundation Revoluciona la Seguridad en Ethereum con su Nuevo Compilador zkEVM

La firma tecnológica =nil; Foundation ha dado un paso revolucionario en la seguridad de Ethereum al presentar su innovador compilador de pruebas de conocimiento-cero para la Máquina Virtual Ethereum (zkEVM). Este nuevo enfoque aborda de manera efectiva las preocupaciones de seguridad identificadas en soluciones similares de escalado basadas en pruebas de conocimiento cero.

Enfoque Prioritario en Seguridad

En una exclusiva entrevista con Cointelegraph, el CEO y cofundador de =nil; Foundation, Misha Komarov, resalta que la tecnología de la empresa pone la seguridad en primer plano. La solución permite que el código de programación de alto nivel se compile automáticamente en circuitos de Argumento de Conocimiento Sucinto No Interactivo de Conocimiento de Cero (zk-SNARKS).

Compatibilidad con evmone para Mayor Seguridad y Eficiencia

El zkEVM de =nil; Foundation está meticulosamente diseñado para ser compatible con evmone, una versión en C++ del entorno de ejecución base de Ethereum. Esta compatibilidad asegura una mejor seguridad y una implementación más rápida al procesar y agrupar el código de las aplicaciones como pruebas presentadas a Ethereum, manteniendo el mismo formato que su EVM.

Eliminando la Necesidad de Auditorías Costosas

La compatibilidad con evmone no solo mejora la seguridad sino que también elimina la necesidad de auditorías de código largas y costosas. Al utilizar el mismo bytecode, el enfoque de =nil; Foundation proporciona transacciones y contratos inteligentes directamente compatibles con la Máquina Virtual Ethereum.

Desafíos Actuales con zkEVM de Alto Perfil

En 2023, diversos zkEVM de alto perfil han llegado al mercado, prometiendo ayudar a Ethereum a procesar grandes volúmenes de transacciones y funciones de contratos inteligentes. Empresas como Consensys, Polygon, StarkWare y Matter Labs han lanzado soluciones ZK-rollup para ofrecer capacidades de alto rendimiento y bajos costos a usuarios de la red.

Abordando Preocupaciones de Seguridad

Misha Komarov explica que la solución de =nil; Foundation se basa en un compilador automatizado, a diferencia de otros zkEVM que definen circuitos manualmente. Este enfoque automatizado supera los diseños que son «que consumen mucho tiempo» y «demasiado complejos,» minimizando los riesgos de introducir errores humanos.

Aprendizaje de Errores Previos en la Industria

La importancia de la seguridad se destaca con el descubrimiento de un bug en los circuitos ZK de la red principal zkSync Era de Matter Labs. La firma de seguridad ChainLight recibió una recompensa por identificar una vulnerabilidad que podría haber permitido a un atacante producir pruebas para bloques ejecutados de manera no válida.

Automatización para una Seguridad Robusta

Komarov destaca que el método de definición manual de circuitos dificulta las auditorías de código, como se evidenció con el bug de zkSync. =nil; Foundation busca automatizar el compilador desde la EVM de Ethereum, utilizando su compilador de circuitos desarrollado en los últimos dos años.

Un Compilador «a Prueba de Futuro»

La solución de =nil; Foundation no solo garantiza la seguridad actual, sino que también está diseñada para adaptarse a los cambios en la EVM a medida que Ethereum evoluciona. Este compilador zkEVM «a prueba de futuro» se actualiza sin requerir recursos y tiempo significativos, permitiendo la integración continua de las últimas Propuestas de Mejora de Ethereum.

La fundación ha hecho público su repositorio de código prototipo y especificaciones el 12 de diciembre, marcando un hito significativo en la seguridad y evolución tecnológica de Ethereum.