=nulo; La Fundación presenta el compilador automatizado zkEVM para reforzar la seguridad de escalado de Ethereum
Summary:
=nulo; Foundation ha creado un compilador de conocimiento cero de tipo 1 para la máquina virtual de Ethereum (zkEVM) para abordar los problemas de seguridad identificados en soluciones de escalado similares de Ethereum. En una entrevista, el CEO Misha Komarov destacó que la tecnología permite la compilación automática de código de programación de alto nivel en los circuitos zk-SNARKS. Este método ofrece compatibilidad directa con la máquina virtual Ethereum para transacciones y contratos inteligentes. El enfoque de la Fundación automatiza el compilador zkEVM a partir de la EVM de Ethereum utilizando su compilador de circuitos de dos años de antigüedad. Esto garantiza una mayor seguridad, una implementación eficiente y adaptabilidad a las actualizaciones de EVM. La Fundación compartió su prototipo de repositorio de código y especificaciones el 12 de diciembre.
=nulo; Foundation, una empresa especializada en tecnología de conocimiento cero, ha presentado un novedoso compilador de conocimiento cero de tipo 1 para la máquina virtual Ethereum (zkEVM). Este desarrollo se produce en respuesta a los desafíos de seguridad identificados en soluciones similares de escalado de Ethereum impulsadas por el conocimiento cero. En una entrevista exclusiva con Cointelegraph, Misha Komarov, CEO y cofundador de =nil; Foundation, destacó que esta tecnología recientemente desarrollada enfatiza la seguridad y facilita la compilación automática de códigos de programación de alto nivel en circuitos de Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARKS). El zkEVM de la organización está destinado a sincronizarse con evmone, una versión en C++ del entorno de ejecución raíz de Ethereum.
La característica notable es que la codificación de la aplicación se procesa y se agrupa en pruebas que se presentan a Ethereum en un formato similar a su EVM. Esta compatibilidad garantiza una mayor seguridad y una ejecución más rápida, ya que utiliza un código de bytes idéntico, lo que elimina la necesidad de verificaciones de código prolongadas y costosas. Además, este método ofrece compatibilidad directa con la máquina virtual Ethereum para transacciones y contratos inteligentes.
En 2023, se lanzaron varias zkEVM destacadas en la industria. Estos protocolos de capa 2 tienen como objetivo dar cabida a grandes volúmenes de transacciones y ayudar con las operaciones de contratos inteligentes de Ethereum. Grandes empresas como Consensys, Polygon, StarkWare y Matter Labs presentaron soluciones ZK-rollup para facilitar un alto rendimiento y tarifas asequibles para aplicaciones, servicios y usuarios de red descentralizados.
Komarov explicó que = cero; El enfoque de Foundation se basa en un compilador automático, lo que lo distingue de otros zkEVM que delinean manualmente los circuitos. Criticó las estrategias existentes por ser laboriosas, demasiado intrincadas y susceptibles a errores humanos. Este problema se manifestó mientras se descubría un error de solidez en los circuitos ZK utilizados en la red principal de zkSync Era de Matter Labs. ChainLight, una empresa de seguridad, identificó el error y recibió una recompensa de USD 50,000 US Coin (USDC) de Matter Labs en septiembre de 2023. La falla podría haber permitido a un atacante inventar pruebas de bloques ejecutados incorrectamente que habrían sido aceptados por el verificador de contratos inteligentes de la red principal de Ethereum.
Reflexionando sobre el reciente descubrimiento, Komarov reveló: "Vitalik Buterin comenzó a discutir las preocupaciones sobre la seguridad del circuito, como la posibilidad de que se rompiera el circuito". Continuó: "Tras una investigación más profunda, quedó claro que estos circuitos se escriben manualmente. La gente pasa años desarrollándolos, pero esencialmente, replican manualmente lo que hace EVM en sus representaciones de circuitos".
En opinión de Komarov, este enfoque manual complica las auditorías de código. El error detectado en zkSync sirve como ejemplo de tales errores potenciales. La solución ideada por =nil; Foundation automatiza el compilador a partir de la EVM de Ethereum utilizando su compilador de circuitos de dos años de antigüedad. Komarov sostuvo que este método asegura que "la seguridad del circuito coincide con la de la implementación original de Ethereum".
La solución desarrollada también está destinada a ser flexible a las actualizaciones de EVM alineadas con los desarrollos futuros de Ethereum, proporcionando un compilador resistente para zkEVM que, debido a su diseño automatizado, no requiere grandes inversiones de tiempo y recursos para las actualizaciones. En consecuencia, permite a zkEVM adoptar las últimas propuestas de mejora de Ethereum a medida que se implementan. La fundación compartió su repositorio de código prototipo y sus especificaciones el 12 de diciembre.
Published At
12/12/2023 6:00:00 PM
Disclaimer: Algoine does not endorse any content or product on this page. Readers should conduct their own research before taking any actions related to the asset, company, or any information in this article and assume full responsibility for their decisions. This article should not be considered as investment advice. Our news is prepared with AI support.
Do you suspect this content may be misleading, incomplete, or inappropriate in any way, requiring modification or removal?
We appreciate your report.