ZK, ZK rollups y zk proof of knowledge son conceptos distintos. Descubre cuál es la utilidad de estos conceptos y por qué son importantes para los usuarios de cripto.
Hoy en día, el lugar más habitual donde los usuarios encuentran ZK es en los ZK-rollups como Starknet y zkSync Era. Estas redes de capa 2 procesan transacciones fuera de la red principal de Ethereum, generan una prueba criptográfica de validez y la envían de vuelta a Ethereum.
El beneficio para el usuario es tangible: menores costes de transacción, mayor capacidad de transacción y confirmaciones más rápidas sin depender completamente de una blockchain separada.
Puntos clave
-
ZK significa zero-knowledge, un tipo de criptografía que permite demostrar que una afirmación es válida sin revelar todos los datos subyacentes.
-
En cripto, la tecnología ZK se utiliza principalmente en rollups de capa 2, herramientas de privacidad, sistemas de identidad y aplicaciones de prueba de reservas o cumplimiento.
-
Los ZK-rollups procesan transacciones fuera de Ethereum y envían pruebas de validez a la capa 1, lo que reduce el trabajo que Ethereum necesita realizar directamente.
-
A diferencia de los rollups optimistas, los ZK-rollups demuestran la validez de las transacciones en vez de asumir que son válidas y esperar un periodo de impugnación.
-
zk-SNARKs y zk-STARKs son dos sistemas de prueba distintos, pero la mayoría de usuarios no necesita entender los detalles matemáticos para usar redes basadas en ZK.
-
ZK no equivale automáticamente a privacidad. Un ZK-rollup puede emplear pruebas zero-knowledge para escalar mientras la información de las transacciones sigue siendo pública.
¿Qué significa ZK en cripto?
La criptografía zero-knowledge te permite demostrar la veracidad de algo sin revelar la información empleada para probarlo.
Un ejemplo simple es la verificación de edad.
Imagina que un servicio necesita saber si eres mayor de 18 años.
En una comprobación de identidad tradicional, podrías subir un documento que muestre:
Un sistema zero-knowledge podría permitirte demostrar:
“Soy mayor de 18” sin revelar tu fecha exacta de nacimiento ni el resto de la información de tu documento.
El verificador solo obtiene lo que necesita saber.
En blockchain, este concepto se aplica a transacciones y cálculos.
En vez de que Ethereum repita cálculos de manera independiente, otro sistema puede hacerlos y enviar una prueba que diga:
“Estas transacciones se procesaron correctamente.”
Ethereum solo verifica la prueba, sin repetir el trabajo.
Esto es la base de los ZK-rollups.
¿Qué es una prueba zero-knowledge?
Una prueba zero-knowledge, o ZKP, es una prueba criptográfica que permite a un verificador comprobar si una afirmación es válida sin ver toda la información detrás de ella.
Para usuarios cripto, los detalles matemáticos son menos relevantes que las aplicaciones.
Las pruebas zero-knowledge pueden demostrar, por ejemplo:
-
que una transacción cumple las reglas del protocolo;
-
que un usuario tiene fondos suficientes, sin revelar el saldo exacto;
-
que una persona cumple un requisito de identidad sin exponer su identidad completa;
-
que miles de transacciones de capa 2 fueron ejecutadas correctamente; o
-
que un cálculo produjo el resultado correcto sin repetirlo on-chain.
Por eso ZK es útil cuando una blockchain necesita verificación sin procesar ni revelar todo directamente.
¿Qué es un ZK-rollup?
Un ZK-rollup es una red de capa 2 que procesa muchas transacciones fuera de la capa principal de Ethereum y envía periódicamente una prueba criptográfica de validez a Ethereum.
Imagina 1 000 usuarios realizando transacciones.
Sin capa 2, cada transacción se ejecuta individualmente en Ethereum.
Con un ZK-rollup:
-
Los usuarios envían transacciones a la capa 2.
-
El rollup agrupa esas transacciones en lotes procesados off-chain.
-
El sistema genera una prueba criptográfica que demuestra que el nuevo estado es correcto.
-
Los datos comprimidos del lote y la prueba de validez se envían a Ethereum.
-
Ethereum verifica la prueba y confirma que el lote es válido antes de aceptar el estado actualizado del rollup.
Así funcionan los zk rollups.
Muchas acciones de usuario pueden representarse como una sola transacción on-chain, lo que reduce los costes de transacción.
En vez de que Ethereum repita las 1 000 transacciones, verifica una prueba mucho más pequeña.
Por eso los ZK-rollups pueden reducir costes y aumentar la capacidad de transacción, y suelen comprimir los datos más eficientemente que los rollups optimistas.
Ejemplo sencillo de ZK-rollup
Supón que 5 000 usuarios hacen swaps en una capa 2 basada en ZK.
Cada usuario puede estar operando, enviando tokens o interactuando con un contrato inteligente.
En vez de publicar cada cálculo directamente en Ethereum, la capa 2 ejecuta las transacciones y calcula los cambios de estado off-chain.
Luego genera pruebas que muestran, de forma simplificada, que solo transacciones válidas cambiaron los saldos del estado anterior al nuevo:
“Los saldos antes de estas 5 000 transacciones eran X. Los saldos después de ellas son Y. Cada transacción siguió las reglas.”
Ethereum se encarga de verificar las pruebas antes de aceptar la actualización.
Si es válida, Ethereum acepta el nuevo estado.
Desde la perspectiva del usuario, el resultado es simple:
la transacción puede costar mucho menos que hacer la misma operación directamente en Ethereum.
¿ZK significa que las transacciones son privadas?
No necesariamente.
Esta es una de las confusiones más habituales sobre la tecnología ZK.
Las pruebas zero-knowledge pueden mejorar la privacidad, pero depende del diseño de la red, y los ZK-rollups suelen usarlas principalmente para demostrar la corrección computacional.
Una transacción en un ZK-rollup puede seguir exponiendo:
-
direcciones de billetera;
-
cantidades de tokens;
-
interacciones con contratos; y
-
otros datos de transacción.
Así que:
ZK puede habilitar privacidad.
Pero:
usar pruebas ZK no convierte automáticamente una red en privada.
La privacidad requiere decisiones de diseño adicionales enfocadas en proteger al usuario, no solo escalar o demostrar corrección.
ZK-rollups vs. rollups optimistas
Las principales redes de capa 2 de Ethereum emplean pruebas de validez o pruebas optimistas.
La diferencia está en cómo se verifica la corrección de las transacciones.
ZK-rollups
Los rollups zero-knowledge emplean tecnología zero-knowledge para generar pruebas criptográficas que demuestran que cada actualización de estado enviada es válida.
Ethereum verifica la prueba antes de aceptar la actualización. Esta verificación ocurre en la blockchain de Ethereum a través del contrato de rollup de capa 1. El estado del rollup se mantiene off-chain y solo la actualización validada se registra on-chain.
Ejemplos:
-
Starknet;
-
zkSync Era; y
-
Linea.
Rollups optimistas
Los rollups optimistas adoptan un enfoque diferente.
Asumen que las transacciones son válidas salvo que alguien lo impugne.
Un periodo de impugnación permite a los participantes del sistema presentar pruebas si un lote contiene una transición de estado inválida.
Principales rollups optimistas:
-
Arbitrum;
-
Base; y
-
OP Mainnet.
Diferencia práctica
Para la mayoría de usuarios, ambas opciones son soluciones de escalado de Ethereum que abaratan las transacciones.
La diferencia principal está en el modelo de verificación. Los ZK-rollups suelen ofrecer tiempos de finalización más rápidos porque no hay que esperar el periodo de impugnación de los sistemas optimistas.
|
ZK Rollup |
Rollup optimista |
| Validación |
Prueba de validez criptográfica |
Se asume válida salvo impugnación |
| Periodo de impugnación |
No hay espera equivalente de prueba de fraude |
Normalmente requerido para salidas canónicas |
| Generación de pruebas |
Más exigente computacionalmente |
Generalmente más sencilla |
| Madurez EVM |
Mejorando rápidamente |
Históricamente más fácil de integrar |
| Ejemplos |
Starknet, zkSync, Linea |
Arbitrum, Base, Optimism |
Ninguna arquitectura es automáticamente "mejor".
La actividad de la red, liquidez, supuestos de seguridad, tarifas y disponibilidad de aplicaciones suelen ser más relevantes para el usuario que el sistema de pruebas subyacente.
¿Qué son zk-SNARKs y zk-STARKs?
Estos términos son habituales al investigar proyectos zero-knowledge.
Son dos familias de sistemas de prueba criptográficos.
zk-SNARKs
ZK-SNARK significa Succinct Non-Interactive Argument of Knowledge.
Su principal ventaja es que generan pruebas compactas que pueden verificarse de manera eficiente.
Distintos sistemas SNARK emplean diferentes diseños criptográficos, y algunos requieren una configuración de confianza, mientras que otros no. También son una forma de prueba zero-knowledge no interactiva.
El diseño de un circuito zk snark debe ser muy cuidadoso; un estudio encontró que el 96 % de los errores en circuitos SNARK se deben a lógica insuficientemente restringida.
zk-STARKs
STARK significa Scalable Transparent Argument of Knowledge.
Los sistemas STARK evitan la configuración de confianza tradicional de algunos SNARK, utilizan criptografía basada en hash y emplean aleatoriedad públicamente verificable como parte de su modelo transparente.
Starknet es el ejemplo más representativo de una red basada en tecnología STARK.
Para el usuario común que decide qué L2 usar, las cuestiones prácticas suelen ser más relevantes:
-
¿La red soporta la aplicación que necesitas?
-
¿Cuánto cuesta la transacción?
-
¿Cuál es la liquidez?
-
¿Qué tan maduros son sus puentes?
-
¿Cuáles son sus supuestos de seguridad?
No necesitas elegir una red solo porque use SNARK o STARK.
¿Qué es un zkEVM?
Un zkEVM es un entorno de ejecución basado en ZK diseñado para procesar cálculos complejos de contratos inteligentes compatibles con Ethereum, generando pruebas eficientes.
El objetivo es combinar:
Compatibilidad con Ethereum + pruebas ZK de validez + ejecución de capa 2 de menor coste.
Esto importa porque los desarrolladores de Ethereum han creado miles de aplicaciones usando Solidity y herramientas compatibles con EVM.
Si una red ZK soporta esas herramientas, los desarrolladores pueden migrar o adaptar aplicaciones sin reconstruir todo desde cero, y verificar la ejecución sin exponer cada paso intermedio.
Linea y zkSync Era son ejemplos de proyectos que buscan ejecución ZK compatible con Ethereum, aunque sus implementaciones técnicas difieren.
Starknet opta por un enfoque distinto, usando el lenguaje Cairo en vez de replicar la EVM exactamente.
¿Por qué ZK es relevante para los usuarios cripto?
Para la mayoría de traders, ZK importa por cuatro razones prácticas.
Menores costes de transacción
Las capas 2 de Ethereum distribuyen los costes fijos de liquidación y datos entre muchas transacciones. Por eso las tarifas de gas suelen ser más bajas, agrupando operaciones en vez de pagar cada acción como transacción individual en la red principal.
Si intercambias, prestas USDC o mueves tokens, usar una L2 suele ser mucho más barato que hacerlo directamente en Ethereum.
Más transacciones
Al procesar actividad fuera de la capa 1, los ZK-rollups incrementan la capacidad de transacciones sin requerir que cada validador ejecute todas, mejorando la escalabilidad de la red Ethereum.
Liquidación más rápida
Las pruebas de validez ofrecen garantías sólidas de que una transición de estado en L2 es correcta tras verificar la prueba, con el nuevo estado off-chain calculado primero y luego finalizado tras aceptar la prueba.
En vez de liquidar cada acción, los zk-rollups publican periódicamente lotes válidos en la capa 1.
Nuevas aplicaciones de privacidad
Más allá de la escalabilidad, los sistemas ZK permiten aplicaciones en las que los usuarios demuestran identidad o cumplimiento sin exponer detalles de transacción ni datos personales.
Ejemplos:
-
demostrar edad sin mostrar la fecha de nacimiento;
-
demostrar residencia sin exponer toda la dirección;
-
demostrar elegibilidad de cuenta sin publicar documentos sensibles; o
-
demostrar cumplimiento en una transacción revelando menos información personal.
Esto también es relevante fuera del sector cripto, por ejemplo en autenticación o desarme nuclear.
Proyectos ZK relevantes
Starknet
Starknet es una capa 2 de Ethereum centrada en pruebas de validez STARK.
Emplea Cairo como entorno de programación y se orienta a aplicaciones ZK nativas, abstracción de cuentas y computación demostrable.
zkSync Era
zkSync Era es una capa 2 de Ethereum basada en pruebas de validez, diseñada para facilitar el desarrollo con herramientas conocidas de Ethereum y usar pruebas ZK para la liquidación.
Su adopción actual es menor que en redes optimistas como Base y Arbitrum, pero sigue siendo un ecosistema ZK relevante.
Linea
Linea es un zkEVM desarrollado por Consensys.
Su objetivo es hacer la ejecución ZK accesible a los desarrolladores de Ethereum, integrándose con herramientas conocidas del ecosistema Consensys.
Polygon zkEVM
Polygon zkEVM fue un proyecto zkEVM pionero, pero su secuenciador Mainnet Beta se retiró en julio de 2026.
Esto recuerda que la tecnología puede ser prometedora, pero las redes pueden perder adopción, cambiar de estrategia o cerrar.
Siempre verifica que una red siga activa antes de mover fondos.
Cómo afecta ZK al trading y DeFi
Probablemente ya usas tecnología ZK sin darte cuenta, sobre todo en proyectos de zk rollup accesibles desde exchanges.
Supón que un exchange permite retirar ETH a una capa 2 ZK.
En vez de:
Exchange → red principal de Ethereum → transacción DeFi cara
puedes usar:
Exchange → capa 2 ZK → transacción DeFi de menor coste
Un ejemplo es Loopring.
Una vez allí, puedes:
El beneficio viene del menor coste de ejecución de la red, no porque ZK mejore la operación.
Estas redes son soluciones de escalado para Ethereum, pero debes comparar liquidez y soporte.
Considera siempre:
¿Es ZK mejor que otras tecnologías de capa 2?
No necesariamente.
Los ZK-rollups son solo un tipo de protocolo rollup entre distintas soluciones de capa 2, y los rollups optimistas como Base y Arbitrum actualmente tienen más actividad y liquidez en muchas áreas.
Para un trader, una red con mayor liquidez y aplicaciones puede ser más útil que una red ZK sofisticada pero con pocos usuarios.
ZK es solo una opción para escalar y verificar; la elección depende de la aplicación y no solo del protocolo rollup.
Conclusión
En cripto, ZK significa zero-knowledge.
La tecnología permite a las blockchains verificar que algo es correcto sin procesar toda la información ni todos los cálculos on-chain.
Hoy, su principal uso son los ZK-rollups, donde las transacciones se procesan en redes off-chain y solo la prueba y el estado resumido se envían a Ethereum.
Para los usuarios, esto implica tarifas más bajas, mayor capacidad y aplicaciones más escalables.
Para los desarrolladores, hace posible redes ZK compatibles con Ethereum y aplicaciones enfocadas en la privacidad.
Para los inversores, la distinción importante es que ZK es una tecnología, no una tesis de inversión por sí sola, y muchos sistemas aún dependen de entidades centralizadas como el secuenciador para ordenar y enviar lotes. Un proyecto necesita usuarios, liquidez, aplicaciones, economía sostenible y una red segura para tener éxito.
Preguntas frecuentes
¿Los ZK-rollups son privados?
No necesariamente. Las pruebas ZK pueden mejorar la privacidad, pero muchos ZK-rollups las usan principalmente para escalabilidad mientras mantienen la información visible.
¿Cuál es la diferencia entre ZK y rollups optimistas?
Los ZK-rollups envían pruebas que demuestran la validez de las transiciones de estado. Los rollups optimistas asumen validez salvo impugnación durante el periodo de fraude.
¿Qué es un zkEVM?
Un zkEVM es un entorno de ejecución compatible con Ethereum que emplea pruebas de validez zero-knowledge para escalar transacciones.
¿Cuáles son ejemplos de proyectos cripto ZK?
Proyectos destacados: Starknet, zkSync Era y Linea.
* La información no pretende ser ni constituye un consejo financiero ni ninguna otra recomendación de ningún tipo ofrecida o respaldada por Gate.
