Paquete acumulativo de conocimiento cero

Definición

Un Zero-Knowledge Rollup (ZK Rollup) es un Solución de escalamiento de blockchain de capa 2 Que ejecuta transacciones fuera de la cadena principal de Ethereum y luego envía una prueba de validez criptográfica (una prueba de conocimiento cero) a la red principal de Ethereum para confirmar que todas las transacciones agrupadas se procesaron correctamente. A diferencia de los Optimistic Rollups, que asumen que las transacciones son válidas a menos que se cuestionen, los ZK Rollups demuestran matemáticamente la validez por adelantado, lo que significa que no hay período de impugnación y los retiros a la Capa 1 pueden ser casi instantáneos. Un operador de ZK Rollup agrupa cientos o miles de transacciones y calcula una prueba de validez concisa (zk-SNARK o zk-STARK) que prueba que todas las transiciones de estado fueron válidas y publica esta prueba junto con los datos comprimidos de la transacción en Ethereum. El contrato inteligente de Ethereum verifica la prueba en una sola operación en cadena, aceptando o rechazando todo el lote. El resultado: Ethereum hereda sus garantías de seguridad, pero maneja muchas más transacciones a un costo por usuario mucho menor. Los Rollups de ZK representan posiblemente el enfoque más ambicioso técnicamente y teóricamente sólido para el escalado de blockchain, con implementaciones líderes que incluyen zkSync Era, StarkNet (usando STARKs), Polygon zkEVM, Scroll y Linea. El principal desafío histórico fue que las pruebas de ZK para la ejecución de contratos inteligentes de propósito general (equivalencia completa de EVM) eran extremadamente difíciles de construir, un problema que se resolvió en gran medida para 2023 gracias a la tecnología zkEVM.

 Origen e Historia

 Los ZK Rollups son la clave para el escalamiento de Ethereum: nos brindan escalabilidad y seguridad con certeza matemática, no suposiciones económicas. Vitalik Buterin

 Cómo Funciona

“` Transacciones de usuario (fuera de cadena): Tx1: Alice → Bob 1 ETH Tx2: Bob → Carol 0.5 ETH Agrupado por Tx3: Carol → Dave 0.2 ETH ────► Secuenciador ──► Probador ZK … Tx10,000: … │ ▼ Prueba de validez (zk-SNARK/STARK) “Todas las 10,000 transacciones válidas” │ ▼ Contrato de red principal de Ethereum Verifica la prueba: ✓ (una transacción) Actualiza la raíz del estado (10,000 transacciones liquidadas por un precio de ~1) “`

 En términos simples

1. Agrupar y probar:Un ZK Rollup recopila miles de transacciones, las ejecuta fuera de la cadena y luego envía una prueba matemática a Ethereum diciendo "todas estas fueron válidas", como una entrada de libro mayor condensada y probada.
2. No se necesita confianza:A diferencia de los Optimistic Rollups que presuponen honestidad, los ZK Rollups proporcionan una prueba criptográfica que no se puede falsificar. Ethereum verifica las matemáticas, no las intenciones.
3. Retiros rápidosDebido a que la validez se prueba instantáneamente (sin esperar períodos de desafío), puede retirar fondos a la red principal de Ethereum en minutos, no en semanas.
4. 100 veces más baratoAgrupar 10 000 transacciones en una sola prueba significa que cada transacción paga solo 1/10 000 del costo de verificación L1, lo que hace que las transacciones a menudo cuesten menos de $0.01.
5. Seguridad heredadaLa prueba ZK está verificada por el contrato inteligente de Ethereum: si Ethereum es seguro, los fondos ZK Rollup están seguros, incluso si el operador del rollup desaparece.

 Ejemplos del mundo real

 Ventajas

 Desventajas y riesgos

Consejos de gestión de riesgos:

• Verifique qué mecanismo de escape proporciona un ZK Rollup si el secuenciador se desconecta
• Consulte los informes de auditoría de los contratos puente de ZK Rollup: estos contienen todos los fondos de los usuarios de L2
• Comprenda que “ZK” en el nombre de un proyecto no significa automáticamente privacidad: la mayoría de los paquetes acumulativos de ZK son para escalabilidad, no para confidencialidad.
• Monitorear la hoja de ruta de descentralización de los proyectos ZK Rollup; los secuenciadores centralizados siguen siendo un riesgo
• Pruebe retiros pequeños antes de los grandes; comprenda el proceso de retiro para cada acumulación específica

 Preguntas Frecuentes

P: ¿Cuál es la diferencia entre un ZK Rollup y un Optimistic Rollup (como Arbitrum u Optimism)?

R: Los Rollups Optimistas asumen la validez de las transacciones y utilizan un periodo de impugnación de 7 días durante el cual se pueden presentar pruebas de fraude. Los Rollups ZK comprueban la validez criptográficamente por adelantado, lo que permite una finalización inmediata y retiros rápidos, pero requiere una infraestructura de generación de pruebas más compleja.

P: ¿zkSync es lo mismo que StarkNet?

R: No. Ambos son paquetes acumulativos de ZK, pero utilizan sistemas ZKP diferentes. zkSync Era utiliza un zkEVM personalizado con pruebas basadas en SNARK. StarkNet utiliza Cairo VM con pruebas basadas en STARK. Tienen diferentes niveles de compatibilidad con EVM, características de rendimiento y ecosistemas de desarrollo.

P: ¿"ZK" significa que mis transacciones son privadas en ZK Rollups?

R: No automáticamente. La mayoría de los ZK Rollups (zkSync, Polygon zkEVM, StarkNet) utilizan ZKPs por motivos de validez y escalabilidad, no de privacidad. Las transacciones siguen siendo visibles públicamente en la capa 2. Las funciones de privacidad requieren mecanismos adicionales de suscripción. Zcash es un ejemplo de ZKPs que se utilizan por motivos de privacidad; los ZK Rollups utilizan principalmente ZKPs como prueba de corrección.

P: ¿Cuánto tiempo lleva retirar de un ZK Rollup a Ethereum?

R: Esto varía según el rollup y depende del tiempo de generación de la prueba. Normalmente, el tiempo de generación suele ser de entre minutos y algunas horas para zkSync Era y Polygon zkEVM. Compare esto con los rollups Optimistic (Arbitrum, Optimism), que requieren 7 días. Muchos puentes ofrecen liquidez instantánea por una comisión, omitiendo la ventana de retiro nativa.

P: ¿Qué es un zkEVM?

R: Una zkEVM (Máquina Virtual Ethereum de Conocimiento Cero) es un Rollup ZK que puede ejecutar el bytecode EVM de Ethereum y generar pruebas ZK válidas para dichas ejecuciones. Esto permite implementar contratos inteligentes Ethereum existentes en Rollups ZK sin modificaciones, un hito importante alcanzado en 2023.

Consejo de UPay: Al comparar soluciones L2, consulte L2Beat.com para obtener datos reales sobre seguridad, TVL y el estado de descentralización de cada rollup, incluyendo cuáles cuentan con secuenciadores centralizados y si existen vías de escape. Los rollups ZK ofrecen garantías de seguridad superiores a los rollups optimistas en teoría, pero la centralización de secuenciadores sigue siendo un riesgo práctico real para la mayoría de los rollups ZK implementados en 2024.

Aviso legal: Este contenido es solo para fines educativos y no constituye asesoramiento financiero ni de inversión. Invertir en criptomonedas conlleva un riesgo significativo. Investigue siempre por su cuenta antes de tomar cualquier decisión financiera.

Un día — Haciendo que las criptomonedas sean enciclopédicas