Saltar al contenido
0%

¿Qué es ZKsync Era? Una descripción general para desarrolladores de Ethereum

Sankrit K headshot

Escrito por Sankrit K

Publicado el 9 de mayo de 202411 min de lectura

Los rollups ZK surgieron como una solución prometedora para la escalabilidad de blockchain — mejoraron la privacidad a través de pruebas de conocimiento cero (ZKPs), aumentaron la velocidad de las transacciones y redujeron considerablemente las comisiones. Sin embargo, carecían de adopción, ya que los rollups ZK no eran compatibles con la Ethereum Virtual Machine (EVM).

La EVM es el núcleo de Ethereum que permite a los desarrolladores construir e implementar apps usando Solidity. Como los rollups ZK tradicionales no eran compatibles con la EVM, los desarrolladores tenían que reescribir los contratos inteligentes por completo para el entorno del rollup ZK. En consecuencia, a pesar de su potencial, resultó ser un obstáculo para la adopción de la tecnología. ZKsync busca cambiar esto.

ZKsync, de Matter Labs, es una solución de escalado de capa 2 para Ethereum, la primera en su tipo. A tan solo seis meses de dar a conocer su visión de una solución de escalado para Ethereum sin necesidad de confianza y centrada en la privacidad, ZKsync sorprendió al espacio blockchain al lograr lo aparentemente imposible: compatibilidad con la EVM.

Con el tiempo, ZKsync evolucionó en dos: ZKsync Lite y ZKsync Era.

Este artículo entra en detalle sobre ZKsync Era, cómo se diferencia de ZKsync Lite y cómo se destaca frente a otras blockchains ZK.

¿Qué es zkSync era?

ZKsync es una solución de capa 2 de Ethereum de propósito general y el primer rollup ZK del mundo compatible con la EVM**.**

Aborda dos problemas persistentes de la red principal de Ethereum: la escalabilidad y las altas comisiones de transacción.

Un gráfico del TVL de zkSync Era
TVL de zkSync Era

Con su compilador basado en LLVM, los desarrolladores que construyen para Ethereum a través de ZKsync pueden escribir contratos inteligentes en lenguajes como Solidity y Vyper. La mayoría de los contratos inteligentes basados en EVM pueden migrarse para aprovechar todo el potencial de los rollups ZK sin reescribir ni una sola línea de código.

Introducción a zkEVM

Las EVM son completamente transparentes — y por una buena razón: la verificabilidad. Solo mediante la transparencia una blockchain basada en EVM podía garantizar que todas las transacciones fueran no solo visibles, sino también verificables por cualquier participante.

Este nivel de apertura garantiza que todas las operaciones cumplan con las reglas de consenso establecidas por la red, previniendo así el fraude y asegurando que la red permanezca segura y descentralizada.

Pero el objetivo nunca fue la transparencia. Era la ausencia de confianza requerida (trustlessness). La transparencia era simplemente el camino hacia ella antes de los rollups ZK.

Por ejemplo, un actor honesto (digamos, un usuario regular) podría preferir que sus transacciones y demás información permanezcan privadas, como preferencia personal. Tradicionalmente, las blockchains no permitían esto.

Pero con las zkEVM, cualquier transacción en la blockchain puede probarse de forma probabilística en lugar de revelar cada dato de la transacción.

Un diagrama de una transacción de zkEVM.
Diagrama de transacción de zkEVM

¿Qué es zkSync lite?

La primera iteración de ZKsync de Matter Labs fue ZKsync 1.0 — una solución de capa 2 enfocada principalmente en habilitar transferencias de tokens seguras y de bajo costo en Ethereum. Más tarde fue renombrada como "ZKsync Lite".

ZKsync Lite agrupa transacciones fuera de la cadena para generar pruebas de validez, que luego se envían a la red principal de Ethereum para su verificación. Sin embargo, no cuenta con compatibilidad total con la EVM, por lo que el conjunto de apps compatibles es limitado.

Las limitaciones de ZKsync Lite impulsaron una segunda iteración, ZKsync 2.0, que hoy conocemos como "ZKsync Era".

zkSync lite vs. zkSync era

Chain

ZKsync Lite

ZKsync Era

Enfoque

Pagos escalables y transferencias de tokens

Solución de escalado totalmente programable

Compatibilidad con EVM

Limitada

Completa

Soporte de contratos inteligentes

Básico (swaps, transferencias)

Extenso (DeFi, NFTs, DAOs, etc.)

Arquitectura

Rollup ZK puro

Híbrida (rollup ZK y zkPorter para mayor escalabilidad)

Velocidad de integración

Rápida

Más lenta que ZKsync Lite

Casos de uso

Pagos, transacciones simples

Pagos, apps complejas, protocolos DeFi, marketplaces de NFT, juegos, etc.

Obtén más información en la documentación.

Resumen de la abstracción de cuenta nativa de zkSync

Las blockchains antiguas o legacy tienen dificultades para implementar innovaciones de abstracción de cuenta de forma nativa a nivel de protocolo. Como son mucho más maduras, integrar el stack tecnológico de AA a nivel de protocolo causaría problemas de compatibilidad con versiones anteriores.

ZKsync, por su parte, es una solución relativamente nueva que ha consagrado la AA a través de una integración similar a ERC-4337.

Así es como el protocolo implementa la AA de forma nativa:

Diagrama de abstracción de cuentas de zkSync. Fuente: Clave
Diagrama de abstracción de cuentas de zkSync

Iniciación de la transacción

Las transacciones se envían desde EOAs y contratos al mempool. Esto incluye transferencias regulares, interacciones con contratos y otros tipos de transacciones.

Agregación de transacciones

El Bundler (Operator Sequencer) recoge las transacciones del mempool y las agrupa en un lote.

Este proceso incluye la generación de pruebas criptográficas (probablemente pruebas de conocimiento cero) por parte del Entrypoint (BootLoader), que atestiguan la validez de todas las transacciones del lote sin revelar los datos subyacentes de las transacciones.

Envío de la prueba y finalización de la transacción

Las transacciones agrupadas y sus pruebas se envían al Rollup Contract en Ethereum L1.

El Rollup Contract verifica estas pruebas y, tras una validación exitosa, finaliza las transacciones.

Este paso escribe efectivamente los resultados de los cálculos de la capa 2 de vuelta a la blockchain principal de Ethereum.

Finalización

Una vez que las transacciones son confirmadas por el Rollup Contract, se consideran finalizadas.

La finalidad del bloque en Ethereum garantiza que todas las transacciones incluidas sean inmutables y formen parte oficialmente del libro mayor de Ethereum.

¿Qué tipo de tecnología ZK se usa en zkSync?

"La tecnología ZK es el santo grial del escalado. Y así es como, eventualmente, Ethereum y todas las blockchains escalarán."

— Alex Gluchowski | Cofundador y CEO de Matter Labs

Las pruebas de conocimiento cero, específicamente los ZK-SNARKs recursivos, son centrales para la tecnología usada en ZKsync.

Los SNARKs son un tipo específico de prueba de conocimiento cero que son tanto sucintos (es decir, de tamaño pequeño y rápidos de verificar) como no interactivos (no requieren comunicación de ida y vuelta entre el emisor y el verificador de la prueba).

Los SNARKs recursivos amplían esto al permitir que una prueba SNARK verifique otra SNARK. Esto habilita la construcción de una "pirámide de pruebas", donde cada capa depende de la validez de la anterior, permitiendo una verificación escalable y eficiente de una cantidad potencialmente enorme de cálculos o transacciones.

Por lo tanto, incluso dispositivos con un poder computacional comparativamente bajo, como los smartphones, pueden verificar una gran cantidad de transacciones con recursos mínimos.

Un diagrama de verificación de bloques de zkSync creado por Matter Labs
Diagrama de verificación de bloques de zkSync. Fuente: Matter Labs

El framework que respalda la tecnología de ZKsync es ZK Stack.

Construyendo con ZK stack: el framework que impulsa a zkSync

ZK Stack es un framework modular y de código abierto basado en los principios del ZK Credo para construir Hyperchains impulsadas por ZK.

Estas Hyperchains son como blockchains independientes que se benefician de una interoperabilidad fluida dentro del ecosistema de ZKsync.

Un diagrama de la estructura de hyperchain basada en ZK.
Diagrama de hyperchain ZK. Fuente: Matter Labs

La modularidad de ZK Stack ofrece a los desarrolladores un control granular sobre:

  • Disponibilidad de datos: elige entre configuraciones de rollup, validium o volition según el equilibrio óptimo entre privacidad y escalabilidad.
  • Tokenomics: diseña tu Hyperchain con Ether como token base, un token personalizado, o incluso con soporte para múltiples tokens.
  • Secuenciación: implementa distintas configuraciones de secuenciador, ya sea para eficiencia centralizada (trading de alta frecuencia) o para seguridad descentralizada y sin permisos.

zkSync frente a otras blockchains ZK

Hasta hace unos años, la comunidad buscaba sidechains y plasma para la escalabilidad de Ethereum. Ahora, en cambio, los rollups han pasado a ser la tecnología principal para escalar Ethereum de manera efectiva.

Desde su introducción en 2018, los rollups ZK, en particular, han ganado gran interés y adopción, con proyectos grandes como Polygon adoptándolos y líderes de opinión como Vitalik Buterin defendiéndolos.

Un diagrama de pruebas ZK y escalabilidad.
Diagrama de pruebas ZK y escalabilidad. Fuente: Linea

Según L2 Beat, ya existen 11 soluciones de escalado de capa 2 basadas en rollups ZK activas y 14 más próximas a lanzarse, al momento de escribir esto. Dada esta amplia variedad de opciones, ¿cómo toman los equipos de desarrollo la decisión correcta al elegir el rollup adecuado para construir?

Una lista de soluciones de escalabilidad de capa 2 basadas en ZK rollup.
Soluciones de escalabilidad de capa 2 basadas en ZK rollup. Fuente: L2Beat

Hay tres factores a considerar al construir una app:

  1. Elegir la cadena correcta: evalúa la escalabilidad, la seguridad y el soporte para desarrolladores. Selecciona la blockchain que se alinee con las necesidades del proyecto en estas áreas.
  2. Considerar una estrategia multichain: equilibra el mayor acceso al mercado y la mitigación de riesgos de un enfoque multichain frente al aumento de complejidad y costos.
  3. Evaluar la carga de ingeniería: considera la facilidad de integración, el mantenimiento operativo y las habilidades de desarrollo requeridas. Estima los costos totales y el tiempo necesario.

Veamos en qué se diferencia ZKsync Era de Starknet y Polygon zkEVM.

zkSync era vs. StarkNet

Starknet es la principal solución de escalado con rollup ZK para Ethereum (en términos de TVL) y comparte un objetivo similar al de ZKsync Era: escalar Ethereum y facilitar la adopción masiva.

ZKsync Era se enfocó en la compatibilidad con versiones anteriores para que los desarrolladores puedan migrar fácilmente sus proyectos o construir con su conocimiento existente de Solidity y Vyper.

Starknet, por su parte, priorizó un enfoque que podría atraer a recién llegados que no están familiarizados con ninguno de los lenguajes de desarrollo blockchain convencionales, permitiéndoles usar Cairo, un lenguaje supuestamente más sencillo.

A continuación, una tabla que aclara la diferencia entre ZKsync Era y Starknet.

Chain

ZKsync Era

Starknet

Generación de pruebas

ZK-SNARK

ZK-STARK

Tamaño de la prueba

Pequeño

Grande

Ausencia de confianza requerida

Menor

Mayor

Costo de verificación

~460,000 de gas por lote

Polilogarítmico (menor con EIP-4844)

Compatibilidad con EVM

Sí

No

Experiencia de desarrollo

Más fácil para devs de Ethereum

Curva de aprendizaje para devs de Ethereum

Lenguajes de programación

Solidity, Vyper

Cairo

Compilador

LLVM

Warp

zkSync era vs. Polygon zkEVM

ZKsync Era y Polygon zkEVM se lanzaron con menos de una semana de diferencia y ambos se basan en tecnología similar con diferencias sutiles. En particular, Polygon zkEVM es un rollup EVM-equivalente, mientras que ZKsync Era es un rollup EVM-compatible.

"EVM-compatible" significa que su máquina virtual subyacente puede entender y ejecutar código escrito para la Ethereum Virtual Machine (EVM). Los desarrolladores pueden portar fácilmente contratos inteligentes existentes de Ethereum a ZKsync Era con modificaciones mínimas.

"EVM-equivalente" significa que logra una funcionalidad similar a la de la EVM, pero usa una máquina virtual distinta por debajo. Es posible que los desarrolladores necesiten adaptar sus contratos inteligentes existentes de Ethereum para que funcionen correctamente en Polygon zkEVM.

La siguiente tabla comparativa destaca diferencias cruciales entre ZKsync Era y Polygon zkEVM.

Chain

ZKsync Era

Polygon zkEVM

Generación de pruebas

ZK-SNARK

ZK-SNARK y zk-STARK

Tamaño de la prueba

Pequeño

Grande

Ausencia de confianza requerida

Menor

Mayor

Compatibilidad con EVM

Compatible

Equivalente

Experiencia de desarrollo


Migración fácil de contratos inteligentes de Ethereum

Podría requerir cierta adaptación del código

Lenguajes de programación

Solidity, Vyper

Solidity

Compilador

LLVM

No se usa compilador

Construye con Alchemy

ZKsync ya está disponible en Alchemy.

Esta integración elimina la carga de ejecutar y mantener nodos de ZKsync, permitiéndote enfocarte en la propuesta de valor única de tu aplicación.

Accede a los endpoints RPC de mainnet y testnet de ZKsync Era a través de la Node API de Alchemy. Con las APIs de Alchemy, los desarrolladores obtienen alta confiabilidad y una experiencia de desarrollo simplificada.

3 pasos para empezar

  1. Regístrate para obtener una cuenta gratuita: visita Alchemy y crea tu cuenta.
  2. Obtén los endpoints RPC de ZKsync Era: busca los endpoints de ZKsync Era (mainnet y testnet) en tu panel de Alchemy.
  3. Empieza a construir: integra estos endpoints en tu dApp.

Consulta la documentación del Quickstart de la API de ZKsync Era para más información.

Preguntas frecuentes

¿Qué es zkSync era?

zkSync Era es una solución de escalado de capa 2 de Ethereum y el primer rollup ZK del mundo compatible con la EVM que aborda los problemas de escalabilidad y las altas comisiones de transacción de Ethereum, manteniendo total compatibilidad con los contratos inteligentes existentes de Ethereum.

¿En qué se diferencia zkSync era de zkSync lite?

zkSync Lite se enfoca en pagos escalables y transferencias de tokens con compatibilidad limitada con la EVM, mientras que zkSync Era es una solución de escalado totalmente programable con compatibilidad completa con la EVM que soporta apps extensas como protocolos DeFi, marketplaces de NFT y juegos.

¿Los desarrolladores necesitan aprender nuevos lenguajes de programación para construir en zkSync era?

No, los desarrolladores pueden usar lenguajes de programación de Ethereum que ya conocen, como Solidity y Vyper, y la mayoría de los contratos inteligentes basados en EVM pueden migrarse sin reescribir ni una sola línea de código.

¿Qué tipo de tecnología de conocimiento cero usa zkSync era?

zkSync Era usa ZK-SNARKs recursivos, que son pruebas de conocimiento cero sucintas y no interactivas que permiten verificar de forma eficiente grandes cantidades de transacciones con recursos computacionales mínimos.

¿Qué es la abstracción de cuenta nativa en zkSync era?

zkSync Era tiene la abstracción de cuenta consagrada a nivel de protocolo, lo que permite funcionalidades avanzadas de wallet y mejoras en la experiencia de usuario sin los problemas de compatibilidad con versiones anteriores que enfrentan las blockchains más antiguas.

¿Cómo se compara zkSync era con otros rollups ZK como starknet?

zkSync Era prioriza la compatibilidad con la EVM usando Solidity y Vyper para facilitar la migración, mientras que Starknet usa su propio lenguaje de programación, Cairo, lo que requiere que los desarrolladores aprendan nuevas herramientas, pero ofrece un desarrollo potencialmente más simple para los recién llegados.

¿Qué es ZK stack y cómo se relaciona con zkSync era?

ZK Stack es el framework modular y de código abierto que impulsa a zkSync Era, y que permite construir Hyperchains impulsadas por ZK con control granular sobre la disponibilidad de datos, la tokenomics y las configuraciones de secuenciación.

Background gradient

Construye magia blockchain

Alchemy combina los productos y herramientas de desarrollo Web3 más potentes con recursos, comunidad y un soporte legendario.