zkSync

ZKSync es un motor de escalado y privacidad para Ethereum. Su alcance de funcionalidad actual incluye bajas transferencias de gas de tokens ETH y ERC20 en la red Ethereum. Este documento es una descripción de la biblioteca JS que se puede usar para interactuar con ZKSync.

ZKSync se basa en la arquitectura ZK Rollup. ZK Rollup es una solución de escalado L2 en la que todos los fondos se mantienen mediante un contrato inteligente en la cadena principal, mientras que la computación y el almacenamiento se realizan fuera de la cadena. Para cada bloque acumulativo, el contrato de la cadena principal genera y verifica una prueba de conocimiento cero de transición de estado (SNARK). Este SNARK incluye la prueba de la validez de cada transacción en el bloque Rollup. Además, la actualización de datos públicos para cada bloque se publica en la red de la cadena principal en los datos de llamada baratos.

Esta arquitectura ofrece las siguientes garantías:

Los validadores de Rollup nunca pueden corromper el estado ni robar fondos (a diferencia de las cadenas laterales). Los usuarios siempre pueden recuperar los fondos del Rollup, incluso si los validadores dejan de cooperar porque los datos están disponibles (a diferencia de Plasma).

Gracias a las pruebas de validez, ni los usuarios ni ninguna otra parte de confianza necesitan estar en línea para monitorear los bloqueos de Rollup para evitar el fraude.

En otras palabras, ZK Rollup hereda estrictamente las garantías de seguridad de la L1 subyacente.