#crypto #cryptomonedas #bitcoin
La firma de tecnología de conocimiento cero =nil; Foundation ha desarrollado un nuevo compilador de la Máquina Virtual Ethereum de conocimiento cero (zkEVM) de tipo 1 para abordar preocupaciones de seguridad identificadas en soluciones de escalado de Ethereum similares impulsadas por pruebas de conocimiento cero.
Hablando en exclusiv para Cointelegraph, el CEO y cofundador de =nil; Foundation, Misha Komarov, dice que la tecnología prioriza la seguridad y 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).
El zkEVM de la firma está diseñado para ser compatible con evmone, que es una versión en C++ del entorno de ejecución base de Ethereum. La clave es que el código de las aplicaciones se procesa y se agrupa como pruebas presentadas a Ethereum en el mismo formato que su EVM.
Se dice que la compatibilidad garantiza una mejor seguridad y una implementación más rápida, dado que el bytecode es el mismo y elimina la necesidad de auditorías de código largas y costosas. El enfoque también proporciona transacciones y contratos inteligentes directamente compatibles con la Máquina Virtual Ethereum.
En 2023, han salido al mercado varios zkEVM de alto perfil. Estos protocolos de capa 2 tienen como objetivo ayudar a Ethereum a procesar grandes cargas de transacciones y funciones de contratos inteligentes. Cointelegraph los ha cubierto en profundidad, con empresas como Consensys, Polygon, StarkWare y Matter Labs lanzando soluciones ZK-rollup para proporcionar capacidades de alto rendimiento y bajos costos a aplicaciones descentralizadas, servicios y usuarios de la red.
Según explica Komarov, la solución de =nil; Foundation se basa en un compilador automatizado que contrasta con el diseño de otros zkEVM, que definen circuitos manualmente. Describe los enfoques existentes como “que consumen mucho tiempo” y “demasiado complejos,” lo que también corre el riesgo de introducir errores humanos.
Estas preocupaciones quedaron evidentes al descubrir un bug de consistencia en los circuitos ZK utilizados en la red principal zkSync Era de Matter Labs. La firma de seguridad ChainLight recibió una recompensa de 50,000 USD Coin (USDC) de la firma por identificar la vulnerabilidad en septiembre de 2023.
El bug habría permitido a un atacante producir pruebas para bloques ejecutados de manera no válida, que el verificador de contratos inteligentes en la red principal de Ethereum habría aceptado. Matter Labs implementó una solución y otorgó a ChainLight una recompensa por errores, la primera reclamada por un error de circuito ZK en la era zkSync.
“Vitalik Buterin comenzó a hablar sobre preocupaciones de seguridad, como ¿qué pasa si se rompe un circuito?” explica Komarov.
“Empezamos a investigar. El problema se hizo evidente de que estos circuitos se escriben manualmente. La gente pasó años construyéndolo, pero básicamente recrea la misma lógica que hace EVM, manualmente en la representación del circuito”.
Komarov agrega que este método dificulta enormemente la auditoría de código. El bug de zkSync es un ejemplo del potencial de error involucrado en la definición manual de circuitos. El enfoque de =Nil; Foundation es automatizar el compilador desde la EVM de Ethereum utilizando su compilador de circuitos desarrollado en los últimos dos años.
“Eso es lo más cerca que podemos estar de que el circuito tenga la misma seguridad que la implementación original de Ethereum. Si eso se rompe, entonces el circuito está roto”.
La solución también está diseñada para ser adaptable a los cambios en la EVM a medida que continúa la hoja de ruta de Ethereum, proporcionando un compilador zkEVM “a prueba de futuro” que no requiere recursos y tiempo significativos para actualizarse, dada su automatización. Esto permite que el zkEVM integre las últimas Propuestas de Mejora de Ethereum a medida que entran en vigencia.
La fundación publicó su repositorio de código prototipo y especificaciones el 12 de diciembre.
Aclaración: La información y/u opiniones emitidas en este artículo no representan necesariamente los puntos de vista o la línea editorial de Cointelegraph. La información aquí expuesta no debe ser tomada como consejo financiero o recomendación de inversión. Toda inversión y movimiento comercial implican riesgos y es responsabilidad de cada persona hacer su debida investigación antes de tomar una decisión de inversión
Las inversiones en criptoactivos no están reguladas. Es posible que no sean apropiados para inversores minoristas y que se pierda el monto total invertido. Los servicios o productos ofrecidos no están dirigidos ni son accesibles a inversores en España.
source
Según es.cointelegraph.com
