zkSync 2.0: Hola Ethereum

Ante el mayor desafío técnico, estamos iniciando un sprint hacia la implementación de contratos inteligentes en un entorno compatible con EVM. La primera versión de testnet está disponible: ya puede usar un explorador de bloques para ver la actividad en zkSync 2.0. En esta publicación, explicamos cada componente clave en profundidad, brindamos actualizaciones de progreso y planes para la próxima versión. En términos de criptografía, se ha completado el conjunto de instrucciones de zkEVM y se han completado ambas implementaciones: en circuito y en el entorno de ejecución. En el lado del compilador, los contratos inteligentes escritos en Solidity y Zinc ahora pueden compilarse en el código de bytes zkEVM. En términos de infraestructura central, se completa la integración completa del nodo y el contrato inteligente compilado se puede implementar y ejecutar con éxito. Si bien la infraestructura zkEVM y core 2.0 está lista para ser expuesta, el compilador necesita más trabajo para cubrir adecuadamente todos los casos extremos. Para brindar una experiencia de desarrollador más completa, hemos decidido abrir el acceso a zkEVM, el compilador y el SDK central tan pronto como el compilador sea 100 % confiable. La mayoría de las cosas se ven y se sienten iguales. Aquí hay algunas diferencias importantes: ¡Los contratos inteligentes de Solidity admiten la mayoría de los códigos de operación en Ethereum! Sin embargo, hay algunas excepciones: los códigos de operación ADDMOD, SMOD, MULMOD, EXP y CREATE2 no son compatibles en esta versión, pero lo serán en el futuro. No admitimos el código de operación KECCAK256 por ahora, pero reemplazaremos automáticamente todas las llamadas a él con llamadas a otra función hash resistente a colisiones. KECCAK256 se presentará más adelante como precompilación. Decidimos no incluir el código de operación SELFDESTRUCT porque Ethereum planea eliminarlo. ZKSwap lanzará la red principal V2 el 28 de julio: ZKSwap, una plataforma de comercio de criptomonedas descentralizada, anunció que su próxima red principal V2 se lanzará el 28 de julio a través de la red principal Ethereum Layer1. Esta actualización presentará varias características nuevas para proyectos de terceros que deseen listar sus tokens para negociar, como permitir listados de tokens y pares comerciales ilimitados. La actualización también reducirá el tiempo de retiro de capas cruzadas de 40 minutos a 20 minutos, y permitirá a los usuarios pagar tarifas de retiro con una lista ampliada de tokens posteriores, como ETH, USDT y el propio token ERC20 ZKS de la plataforma. [2021/7/28 1:19:38] Es posible que eliminemos la compatibilidad con los códigos de operación XOR/AND/OR completos de 256 bits, ya que estos solo existen en el código Solidity compilado para máscaras de bits. Esto lo puede hacer el compilador usando otros códigos de operación. Tarifas En zkSync 2.0, hay un concepto diferente de gas. Los precios de transacción fluctuarán en función de los precios actuales del gas L1 (debido a la publicación de datos de llamadas) y los costos de generación de ZKP. Las llamadas de contrato inteligente tendrán la cantidad máxima de pasos zkEVM y parámetros de escritura de almacenamiento. La próxima versión de Web3 API incluirá nuestra implementación de Web3 API, que será compatible con el estándar Web3 definido por la documentación de Ethereum. Los eventos funcionarán de inmediato y todos los servicios se pueden integrar fácilmente. zkSync incluye características que L1 no incluye, como la noción de bloques comprometidos y finalizados. Por lo tanto, habrá otras formas de dar a los desarrolladores un control más preciso sobre los datos. El código del cliente Web3 recibirá los mismos datos que Ethereum, pero puede solicitar información especial utilizando el espacio de nombres `zksync_`. Dado que zkSync tiene múltiples tipos de transacciones y utiliza firmas EIP712, el formato de los datos `eth_sendRawTransaction` será diferente de L1. Sin embargo, la codificación corresponde a Ethereum ABI, por lo que no es difícil soportarlo. ZKSwap lanzó la hoja de ruta de 2021: el segundo trimestre admitirá listados de divisas ilimitados: el 2 de marzo, ZKSwap anunció hoy la hoja de ruta de 2021. En el segundo trimestre, se lanzará la versión ZKSwap V2, que admitirá listados de divisas ilimitados para los usuarios y lanzará ZKS método de gobierno. En el tercer trimestre, se lanzará el SDK de pago de Capa 2 y se lanzarán el servicio de préstamo de Capa 2 y el servicio de cambio de moneda estable. Desde el cuarto trimestre de 2021 hasta el primer trimestre de 2022, se investigará y desarrollará un modelo EVM general basado en zk-rollup para realizar la programabilidad de la Capa 2. [2021/3/2 18:08:22] Firmar transacciones Las transacciones en zkSync 2.0 se pueden autorizar de dos maneras (además del mecanismo de cola de prioridad): los usuarios pueden usar sus billeteras Ethereum normales (por ejemplo, Metamask o cualquier billetera WalletConnect) para firmar la transacción. Cualquier cuenta puede configurar una clave pública para crear nuestras firmas Schnorr internas para firmar transacciones. Esto permite que las billeteras basadas en contratos inteligentes interactúen con zkSync 2.0 sin el costo adicional de enviar mensajes L1. Mejoras en la eficiencia del almacenamiento Aplique superposiciones de ranuras solo una vez por fragmento. Esto significa que si varios usuarios interactúan con un solo contrato AMM, la ranura de almacenamiento del contrato AMM solo se sobrescribirá una vez. Esto permite que el clasificador reembolse el costo compartido de una sola escritura al usuario más tarde. Se planea un mecanismo de "precompilación", pero se lanzará en una fecha posterior. Planeamos admitir primero las primitivas de recuperación keccak256, sha256 hash y ECDSA. Dependiendo de las necesidades y la complejidad, se pueden considerar otras precompilaciones para su inclusión, como la función de ronda de Blake2f (casi inutilizable en Ethereum en su forma actual). zkSync: Sin relación con ZKSwap: El 2 de marzo, zkSync anunció oficialmente que el equipo no tiene relación con ZKSwap. zkSync también declaró que, de hecho, ZKSwap ni siquiera es un resumen de ZK, a pesar de que está construido sobre la base de código de zkSync. Anteriormente, el 24 de febrero, Matter Labs, el equipo de desarrollo de la solución de expansión de segunda capa de Ethereum, cuestionó en Twitter que ZKSwap clonó el almacén de códigos de zksync, y luego ZKSwap respondió que abriría el código de todos los contratos inteligentes y códigos de circuitos. El 1 de marzo, ZKSwap abrió todos los códigos de contratos inteligentes. [2021/3/2 18:06:40] Restricciones adicionales La primera iteración de zkSync 2.0 puede imponer un límite adicional de 32 llamadas de contrato inteligente por transacción hasta que se implemente un mecanismo de contabilidad adecuado. Habrá un límite estricto para el seguimiento de la ejecución, pero es comparable al límite actual del tamaño de bloque de Ethereum y no debería afectar a la mayoría de los protocolos. Puede haber más restricciones, pero nuestro objetivo es reducirlas al mínimo absoluto en la versión final. Una inmersión profunda en la arquitectura zkSync 2.0 Es posible que haya oído hablar del trilema de la cadena de bloques, pero cuando se trata de escalar Ethereum, hay un cuarto factor: la programabilidad. Todas las soluciones de escalado actuales existen dentro del alcance de sacrificar algo de seguridad, descentralización y programabilidad por escalabilidad. El diseño de zkSync 2.0 combina los siguientes 2 avances tecnológicos para maximizar las 4 funciones: zkEVM: el motor que impulsa nuestro zkRollup compatible con EVM, el único con solución de soporte de contrato inteligente de seguridad y confiabilidad L1. zkPorter: un sistema de disponibilidad de datos fuera de la cadena que es 2 órdenes de magnitud más escalable que el resumen. Huobi lanzará las variedades BNT, FRONT, ZKS y LUNA de contratos perpetuos basados ​​en USDT mañana a las 14:00: según el anuncio oficial de Huobi Futures, Huobi Futures lanzará las variedades BNT, FRONT, ZKS y LUNA de USDT el 23 de febrero. Hora de Singapur Contrato perpetuo estándar, comience la transferencia de fondos a las 11 en punto, abra transacciones externas a las 14 en punto, admita múltiplos de 1x-75x. Anteriormente, el contrato perpetuo basado en USDT de Huobi cubría 65 variedades principales, incluidas BTC y ETH. Se informa que los contratos perpetuos basados ​​en USDT recientemente lanzados de las variedades BNT, FRONT, ZKS y LUNA son contratos a plazo, es decir, contratos de moneda estable, que utilizan moneda estable (USDT) como activos colaterales, sin fecha de entrega y objeto de el contrato es el lugar del activo digital correspondiente El índice USDT se liquida cada 8 horas, y las marcas de tiempo de liquidación son 0:00, 08:00 y 16:00 (GMT+8), y las ganancias realizadas del usuario pueden ser retirado inmediatamente después de la liquidación. [2021/2/22 17:40:19] (Imagen cortesía de zkSync) Dado que zkEVM y zkPorter son interoperables y componibles, zkSync 2.0 puede superar significativamente a todas las demás soluciones de escalado. El consenso actual es que la fragmentación de datos Eth2 llegará a fines de 2022 para proporcionar una capa de disponibilidad de datos exponencialmente más grande sin sacrificar la descentralización. La tecnología zkRollup de zkSync combinada con la fragmentación de datos Eth2 es el objetivo final, lograr más de 100 000 TPS sin sacrificar ninguno de los 4 factores. LBank admite el airdrop gratuito de 40 millones de ZKS antes de que la red principal de ZKSwap se conecte: según las noticias oficiales, LBank respaldará el plan de airdrop de 40 millones de ZKS. Los usuarios solo necesitan depositar activos en LBank sin ninguna operación y pueden obtener la cantidad correspondiente de ZKS de acuerdo con las reglas oficiales de ZKS. Los pedidos pendientes y la participación en actividades no afectarán este airdrop. Las reglas específicas son las siguientes: LBank tomará instantáneas de las posiciones de los usuarios todos los días desde las 22:00 del 29 de enero de 2021 hasta que se active-ethdax la red principal. Después del airdrop oficial, LBank utilizará los datos de la instantánea más cercanos a la hora de acuerdo con las cantidad, ZKS airdrops a los usuarios. [2021/1/29 14:22:09] Árbol de estado El árbol de estado de zkSync 2.0 cubre el espacio completo de direcciones de 160 bits de Ethereum. Cada cuenta residirá en la parte zkRollup o en la parte zkPorter del estado. Las cuentas zkRollup y zkPorter son idénticas excepto por un componente: disponibilidad de datos garantizada. Los datos de transacciones de zkRollup se publican en Ethereum a través de calldata, los datos de transacciones de zkPorter se publican en la red zkSync Guardian y los titulares de tokens de zkSync participan en la prueba de equidad. El lugar donde se publican los datos es una compensación entre el costo y la seguridad. Las transacciones de zkPorter son mucho más baratas que las transacciones agregadas, pero tienen el potencial de congelar sus fondos. Sin embargo, la validez de las cuentas zkRollup y zkPorter está garantizada por pruebas de conocimiento cero y Ethereum. En otras palabras, los fondos en zkPorter solo se pueden congelar, no robar. La interoperabilidad y compatibilidad de las cuentas zkRollup y zkPorter brinda a cada usuario la oportunidad de convertirse en un ciudadano de primera clase en zkSync. Se puede acceder a Uniswap implementado en el lado zkRollup a través de la cuenta zkPorter para intercambiar por la tarifa más baja. zkSync 2.0 es un sistema diseñado para la participación de los usuarios en todo el espectro financiero. Criptografía Nuestra VM, más comúnmente conocida como zkEVM, no es una copia 1:1 de EVM, pero está diseñada para poder ejecutar el 99 % de los contratos escritos en Solidity y mantener su mismo comportamiento, como durante la recuperación y las excepciones. . Mientras tanto, zkEVM está escrito para generar eficientemente pruebas de conocimiento cero en circuitos. Esto se hizo sin cambios importantes en nuestro sistema de prueba; continuamos usando PLONK con puertas personalizadas y tablas de búsqueda (comúnmente conocidas como UltraPLONK) y la curva BN-254 de Ethereum. Esto es ventajoso porque el sistema de prueba se ha probado en batalla desde junio de 2020 en zkSync 1.0, así como en otros proyectos que utilizan el mismo sistema de prueba. Una vez más, nos complace anunciar que después de varios meses de arduo trabajo: el conjunto de instrucciones para zkEVM está completo e implementado en entornos de circuito y ejecución. Aquí hay una distinción importante: la implementación en el circuito y el entorno de ejecución están separados y tienen diferentes propósitos. El trabajo del circuito es generar pruebas de seguimientos de ejecución y proporcionar testigos, pero esto es muy lento. Por otro lado, el entorno de ejecución es una implementación directa de zkEVM en rust, que es eficiente y rápido. Si confiáramos en los circuitos para generar pruebas y ejecutarlas, las transacciones tardarían horas en finalizar. La separación de la generación de pruebas y la ejecución simple permite la liquidación instantánea de transacciones en zkSync. A continuación, nos enfocamos en unir zkEVM y el compilador y combinar recursividad: recursión entre bloques, lo que nos permite emitir una prueba para N bloques, y recursión dentro de un bloque, que agrega las diferencias de los bloques. . ¡Esta es la parte facil! Desde junio de 2020, la red principal zkSync 1.0 ha estado utilizando pruebas agregadas recursivamente entre bloques. Para obtener más información sobre la recursión intrabloque y cómo funciona nuestro zkEVM, vea este video explicativo. Compiladores (Imagen cortesía de zkSync) Estamos trabajando simultáneamente en dos interfaces de compilador para zkEVM: Yul y Zinc. Yul es una representación intermedia de Solidity que se compila en código de bytes para diferentes backends. Zinc es nuestro lenguaje basado en Rust para contratos inteligentes y circuitos de prueba de conocimiento cero de propósito general. Dado que el compilador se crea utilizando el marco LLVM, se puede considerar que tiene un código de bytes Yul → LLVM IR de interfaz y un código de bytes LLVM IR → zkEVM de backend. La adopción de LLVM trae varias ventajas clave: El marco de optimización de LLVM no tiene paralelo: genera el código de bytes zkEVM más eficiente a partir de LLVM IR. Con las versiones más nuevas de Solidity o Zinc, la interfaz del compilador manejará todos los cambios, mientras que LLVM nos evitará tener que cambiar el backend del compilador. En el futuro, si un desarrollador desea escribir un contrato inteligente en Rust nativo o Javascript, solo necesita crear una interfaz de compilación para ese lenguaje, y el contrato inteligente funcionará de manera inmediata en zkSync. La seguridad del compilador es de suma importancia para nosotros y ha superado varios conjuntos de pruebas: pruebas léxicas, sintácticas y semánticas en los compiladores Zinc y Yul.

Tags：

Huobi App Download