---
cover: /images/blog/glossary-crypto-terms.jpg
description: "Método criptográfico que prueba el conocimiento de información sin revelar la información en sí, impulsando los ZK-rollups"
tags: ["prueba-de-conocimiento-cero", "zk-rollup", "criptografía", "privacidad", "escalabilidad", "zk-snark", "zk-stark"]
createdAt: 1713644488000
---
# Prueba de Conocimiento Cero

> Pruebas que sabes la respuesta sin revelar nunca cuál es la respuesta. Es como probar que eres mayor de 21 años sin mostrar tu identificación; el portero solo ve "sí, 21+" y nada más. En el mundo cripto, esto permite que un rollup demuestre que procesó un millón de transacciones correctamente sin obligar a nadie a revisar todo el millón.

Una prueba de conocimiento cero (ZKP, por sus siglas en inglés) es un protocolo criptográfico mediante el cual una parte (el probador) puede convencer a otra parte (el verificador) de que una afirmación es verdadera sin revelar ninguna información más allá de la validez de la afirmación misma. En contextos de blockchain, las ZKP permiten dos capacidades transformadoras: (1) los ZK rollups, que comprimen miles de transacciones en una única prueba compacta, y (2) los protocolos que preservan la privacidad, los cuales verifican transacciones sin exponer al emisor, al receptor o al monto.

Para los traders, la tecnología ZK no es algo teórico del futuro. Ya está en funcionamiento. zkSync, StarkNet y Scroll son ZK rollups en mainnet que procesan millones en volumen diario. Polygon está en transición hacia una arquitectura basada en ZK. Las pruebas ZK se están integrando en todo, desde la verificación de identidad (Worldcoin) hasta DEXes privados (Penumbra) y la computación verificable fuera de la cadena. Comprender las capacidades ZK te ayuda a identificar qué tokens de infraestructura tienen verdaderas ventajas tecnológicas y cuáles solo están montados en palabras de moda. De forma más práctica: los ZK rollups eventualmente dominarán el escalado de L2, haciendo que las inversiones en el ecosistema ZK se encuentren entre las operaciones de infraestructura con mayor convicción en el mundo cripto.

## Cómo Funciona

Un sistema ZKP debe satisfacer tres propiedades:
- **Completitud:** Si la afirmación es verdadera, un probador honesto puede convencer a un verificador honesto.
- **Solidez:** Un probador deshonesto no puede convencer a un verificador de una afirmación falsa (excepto con una probabilidad insignificante).
- **Conocimiento cero:** El verificador no aprende nada más allá de la veracidad de la afirmación.

Las dos implementaciones ZKP dominantes en el mundo cripto son:

**zk-SNARKs (Argumento de Conocimiento No Interactivo Succinto de Conocimiento Cero):** Generan pruebas pequeñas y rápidas de verificar. Requieren una ceremonia de configuración confiable (una computación multipartita única para generar parámetros). Si la configuración confiable se ve comprometida, se pueden generar pruebas falsas. Son utilizados por zkSync, Mina y las primeras versiones de Zcash.

**zk-STARKs (Argumento de Conocimiento Transparente y Escalable de Conocimiento Cero):** Generan pruebas más grandes pero no requieren una configuración confiable. Son resistentes a los ataques de computación cuántica. Utilizados por StarkNet. Generalmente se consideran más seguros pero computacionalmente más costosos para los probadores.

Ambos tipos funcionan bajo el mismo principio: el probador convierte la computación en una ecuación polinómica, genera una prueba de que el polinomio se evalúa correctamente, y el verificador comprueba la prueba con un cálculo mínimo (tiempo logarítmico o constante en relación con el tamaño de la computación).

## Por Qué es Importante para los Traders

**Los ZK rollups son el objetivo final para el escalado de L2.** Los ZK rollups logran una finalidad instantánea (se prueba y se termina, sin período de desafío), garantías de seguridad más fuertes (prueba matemática versus teoría de juegos económica) y costos de datos más bajos (las pruebas pueden ser más pequeñas que los datos de transacciones publicados por los Optimistic rollups). Si bien los Optimistic rollups tienen ventajas de liquidez por ser los primeros, la trayectoria tecnológica favorece el dominio ZK a largo plazo. Los L2 que implementen con éxito probadores ZK de alto rendimiento capturarán una cuota de mercado desproporcionada.

**La tecnología ZK crea nuevos primitivos de trading.** Los DEXes privados donde los detalles de la orden se ocultan hasta la ejecución, los pools de liquidez protegidos, las órdenes límite verificables en cadena y los protocolos de trading resistentes al MEV se vuelven posibles con las ZKP. A medida que estos primitivos maduran, podrían remodelar cómo funciona el trading en cadena y dónde se concentra el volumen. Los primeros adoptantes y proveedores de liquidez en estos protocolos podrían capturar rendimientos significativos e incentivos tokenómicos.

**El riesgo de la configuración confiable es real pero manejable.** Para los sistemas basados en SNARK, la ceremonia de configuración confiable es un único punto de fallo. Si se ve comprometida, la seguridad de todo el sistema colapsa. La mayoría de los sistemas SNARK importantes utilizan ceremonias a gran escala (cientos de participantes) donde solo se requiere un participante honesto para la seguridad. Los sistemas basados en STARK eliminan este riesgo por completo. Al evaluar tokens o protocolos ZK, es crucial entender qué sistema de prueba utilizan y los supuestos de seguridad específicos.

## Errores Comunes

1. **Asumir que ZK significa privado por defecto.** Los ZK rollups utilizan pruebas de validez para escalar, no para ocultar datos de transacciones. Tus transacciones en zkSync o StarkNet son visibles para los secuenciadores y visibles en los diferenciales de estado en cadena. La verdadera privacidad transaccional requiere capas ZK adicionales (como mezcladores al estilo de Aztec o Tornado Cash) o cadenas centradas en la privacidad (Zcash, Monero). No confundas el ZK de escalado con el ZK de privacidad.

2. **Subestimar los costos del probador.** Generar pruebas ZK requiere una computación significativa. Las primeras implementaciones de zkEVM enfrentaron altos costos del probador y una generación de pruebas lenta, lo que limitaba el rendimiento. Si bien los costos están cayendo rápidamente (la Ley de Moore para ZK), los ZK rollups actuales aún pueden tener costos operativos más altos que los Optimistic rollups, lo que podría traducirse en tarifas más altas o una menor rentabilidad para el secuenciador a corto plazo.

3. **Tratar "ZK" como una tecnología monolítica.** Los zk-SNARKs y los zk-STARKs tienen diferentes supuestos de seguridad (configuración confiable versus transparente), tamaños de prueba (pequeños versus grandes), costos de verificación (más baratos versus más caros) y resistencia cuántica (vulnerables versus resistentes). La implementación ZK específica importa enormemente para la seguridad del protocolo y su viabilidad a largo plazo.

## Preguntas Frecuentes

**P: ¿Las pruebas de conocimiento cero hacen anónimas las transacciones?**
R: No por sí solas. Los ZK rollups utilizan pruebas de validez para la escalabilidad, lo que significa que los resultados de las transacciones se verifican pero los datos aún se publican en la cadena. El verdadero anonimato requiere capas ZK adicionales que oculten los detalles de la transacción (emisor, receptor, monto) mientras aún prueban que la transacción es válida. Proyectos como Aztec y Railgun combinan el escalado ZK con la privacidad.

**P: ¿Son las pruebas ZK resistentes a la computación cuántica?**
R: Los zk-STARKs son resistentes a la computación cuántica porque se basan en funciones hash resistentes a colisiones, que se cree que son seguras contra las computadoras cuánticas. Los zk-SNARKs se basan en emparejamientos de curvas elípticas, que son vulnerables a los ataques cuánticos (algoritmo de Shor). Si llega la computación cuántica escalable, los sistemas basados en SNARK necesitarían migrar a criptografía post-cuántica.

**P: ¿A qué tokens de ZK rollups debería prestar atención?**
R: Los principales tokens de ZK rollups incluyen STRK (StarkNet), ZK (zkSync) y SCR (Scroll). Polygon (MATIC/POL) está en transición a una arquitectura basada en ZK con Polygon zkEVM y el AggLayer. Cada uno tiene diferentes enfoques tecnológicos, madurez del ecosistema y tokenómica. Investiga cada uno individualmente en lugar de tratar los "tokens ZK" como una canasta.

## Estudio Detallado

¿Quieres explorar más? Consulta:
- [Calculadora de Tamaño de Posición y Guía de Gestión de Riesgos para Traders Cripto](/blogs/position-size-calculator)
- [Clase Magistral de Psicología del Trading: Control Emocional para Traders Cripto 2026](/blogs/trading-psychology-guide)
- [Trading con Apalancamiento Cripto: Guía Completa del Trading con Margen 2026](/blogs/leverage-trading-crypto-guide)
- [Cómo Evitar Ser Liquidado Antes de Grandes Movimientos](/blogs/how_to_stop_getting_liquidated_before_major_moves)

## Términos Relacionados

- [Rollup](/glossary/rollup)
- [Capa 2](/glossary/layer_2)
- [Contrato Inteligente](/glossary/smart_contract)
- [MEV](/glossary/mev)
- [Capa 1](/glossary/layer_1)