La curva basada en la tecnología Zk rollup ha abierto la prueba de testnet.

Bajo el ataque de DeFi en los últimos meses, la red Ethereum se ha visto abrumada. La capa 2 y la fragmentación son el camino hacia la futura escalabilidad de Ethereum. Sin embargo, la implementación madura de la fragmentación llevará varios años. En la actualidad, la ruta de expansión más probable es la Capa 2, y entre las diversas rutas actuales de la Capa 2, la serie Rollup es la ruta técnica más prometedora.

Hay principalmente ZK Rollup y Optimistic Rollup en la serie Rollup, y su progreso es relativamente fluido hasta ahora. A fines de septiembre, el equipo de Optimism anunció la apertura de la primera fase de su red de prueba; Fuel también avanza a la red de prueba; Loopring, zkSync y Deversifi (basado en tecnología Starkware) también han implementado ZK Rollup. La capa 2 mostrará una tendencia de desarrollo vigoroso en los próximos seis meses a un año, especialmente en el campo DeFi.

Y Curve está avanzando más rápido en la capa 2, y ahora la curva basada en la tecnología de resumen Zk llegará pronto. Según el anuncio de Matter Labs y Curve, con la ayuda de Matter Labs, el equipo de Curve reescribió el contrato de Curve existente en la versión de Zinc, y la red de prueba se abrió para realizar pruebas.

(https://zksync.curve.fi)

Selección de capa 2 de Curve

Anteriormente, Blue Fox Notes también presentó la pista de la capa 2 "Pista de la capa 2 de Ethereum" "Progreso revolucionario de la capa 2 de Ethereum: lo que significa", y también presentó la diferencia entre ZK Rollup y Optimistic Rollup "Comprensión de ZK Rollup y Optimistic Rollup en un artículo "Resumen optimista: una importante dirección de expansión de Ethereum". Entonces, ¿por qué Curve eligió la solución de Capa 2 basada en ZK Rollup?

El día de "519", los mineros ganaron más de 4 millones de dólares estadounidenses a través de MEV: el investigador de DeFi, PirateGuild Captain, tuiteó que los ingresos totales de MEV obtenidos por los mineros a través de Flashbots el día de "519" superaron los 4 millones de dólares estadounidenses. Flashbots es una organización de investigación y desarrollo cuyo objetivo es mitigar el impacto negativo del valor extraíble del minero (MEV) en la cadena. [2021/5/20 22:25:42]

Aunque cada tecnología de Capa 2 en el mercado tiene sus propias ventajas, al final, cada solución tiene su propia elección equilibrada. Algunos protocolos tienen requisitos de seguridad más bajos y requisitos de rendimiento más altos, como los proyectos de juegos. Algunos protocolos no pueden verse comprometidos en términos de seguridad, como el protocolo DeFi. Los activos totales bloqueados en el protocolo DeFi superan las decenas de miles de millones de dólares, y la cantidad de fondos negociados en él alcanza miles de millones de dólares. Para estos protocolos, la seguridad es la consideración principal.

En la actualidad, en términos relativos, ZK Rollup y Optimistic Rollup se han ganado el favor de más protocolos DeFi en términos de Capa 2. En particular, ZK Rollup está cerca del nivel de la Capa 1 en términos de seguridad, por lo que también se considera la solución de Capa 2 más prometedora en el futuro. Por supuesto, en este proceso, también pueden surgir soluciones nuevas y mejores, que llevará tiempo catalizar.

Una razón importante para que Curve elija ZK Rollup son sus consideraciones de seguridad. En la actualidad, la cantidad de activos bloqueados en Cuvre supera los 1.500 millones de dólares estadounidenses, y el volumen de negociación diario reciente es de aproximadamente 150 millones de dólares estadounidenses. Ya tiene una escala considerable y no se puede hacer en términos de seguridad Más compensaciones. ZK Rollup casi puede alcanzar el nivel de seguridad de la capa 1. Esta es una razón importante por la que Curve eligió ZK Rollup.

En comparación con el modelo de juego que utiliza incentivos económicos, la seguridad de ZK Rollup se basa más en las matemáticas puras. Además, Optimistic Rollup tiene posibles problemas de seguridad. A medida que aumenta la cantidad de activos bloqueados, su seguridad puede disminuir. Por lo tanto, tiene un rango de activos relativamente seguro, que puede ser atacado si el tamaño del activo es demasiado grande.

Además, en términos de finalidad, ZK Rollup también tiene ciertas ventajas sobre Optimistic Rollup. ZK Rollup puede lograr la finalidad en unos pocos minutos y admite el retiro rápido de fondos a la Capa 1. Y Optimistic Rollup tiene un diseño de demora de disputa, que generalmente demora al menos una semana.

Por supuesto, Optimistic Rollup también tiene sus ventajas: en comparación con ZK Rollup, es más amigable en términos de programabilidad, es compatible con EVM y es más conveniente para llevar los contratos inteligentes de Ethereum existentes a la Capa 2.

Para resolver esta deficiencia, Matter Labs afirma que ha logrado algunos avances en ZK Rollup, especialmente en el soporte de contratos inteligentes arbitrarios definidos por el usuario. Matter Labs introdujo el lenguaje de programación Zinc y la máquina virtual Zinc compatible con SNARK, e implementó la verificación recursiva de pruebas PLONK para Ethereum. La combinación de estos tres admitirá contratos inteligentes en ZkSync.

Lenguaje de programación zinc

Según el anuncio de Matter Labs, en la situación actual, los contratos inteligentes de Zinc VM deben escribirse utilizando el lenguaje de programación Zinc. Zinc sigue una sintaxis simplificada de Rust mientras toma prestados todos los elementos y estructuras de contratos inteligentes de Solidity. El zinc es básicamente lo mismo que la solidez en estructura, y es relativamente fácil convertir el código Solidity existente a zinc. Sin embargo, actualmente no admite la integridad de Turing (planeado para hacerlo), por lo que prohíbe la recursividad y los bucles infinitos. Además, todos los programas actuales de Vyper se pueden convertir isomórficamente a Zinc. Los desarrolladores experimentados de Solidity/Vyper pueden dominarlo en unos pocos días.

El zinc en sí mismo no es Turing completo, pero el trabajo sobre la Solidez se puede hacer con una pequeña cantidad de modificación. El código de la mayoría de las aplicaciones DeFi actuales rara vez necesita bucles o recursión Además, los componentes completos de Turing también se pueden volver a implementar utilizando la recursión a nivel de transacción.

VM de zinc

Según Matter Labs, los contratos se escriben y compilan en el lenguaje de programación Zinc. El código de bytes de la máquina virtual de zinc y las claves de verificación SNARK se pueden implementar en la red zkSync sin permiso.

Al contrato se le asignará una nueva dirección en la Capa 2. Cuando un usuario interactúa con un contrato, un verificador zkSync ejecuta el código de operación de la VM de Zinc y genera una prueba de validez de la transacción sin conocimiento. Las pruebas serán verificadas recursivamente por el circuito de bloques acumulativos a través de las claves de verificación desplegadas. Las pruebas de bloqueo se verifican mediante el contrato inteligente zkSync implementado en Ethereum para autorizar las transiciones de estado. En términos de compatibilidad, todos los contratos de capa 2 de zkSync pueden llamarse entre sí, al igual que la red principal de Ethereum.

Administración de claves de usuario

Según Matter Labs, zkSync está directamente integrado en el proceso de pago, que es similar al esquema de autenticación de inicio de sesión único de web2.0. Suponiendo que el sitio web de zkSync sea pirateado, la billetera Ethereum del usuario también deberá realizar una autenticación adicional de dos factores en forma de firmas de mensajes. Esta firma está actualmente verificada por su servidor. Para mejorar la experiencia del usuario, Matter Labs planea cooperar con otros equipos para desarrollar un estándar común de firma Ethereum Layer 2.

Beta abierta

La red de prueba es completamente funcional. Los usuarios pueden escribir contratos, implementarlos en la red de prueba, realizar pruebas locales y generar pruebas de conocimiento cero de la ejecución de contratos inteligentes. Cada transacción transferirá tokens reales en la red de prueba zkSync, que se reflejará en el explorador de bloques y la billetera. Los usuarios deben comerciar con tokens ERC20 de testnet reales.

Limitaciones actuales

Actualmente, Zinc VM no está integrado en el núcleo de zkSync. También pueden faltar algunas características importantes en el lenguaje de programación Zinc. Esto está sujeto a mejoras posteriores.

Tags：

NEAR