Definición
Una prueba de validez es una prueba criptográfica que demuestra matemáticamente la corrección de un conjunto de transiciones de estado (transacciones) sin que el verificador tenga que volver a ejecutarlas. En el contexto de la escalabilidad de la cadena de bloques, las pruebas de validez son la tecnología central de los ZK-Rollups (rollups de conocimiento cero), donde miles de transacciones se ejecutan fuera de la cadena, se comprimen en una única prueba y se envían a la capa base (normalmente Ethereum) para su verificación. La propiedad clave de una prueba de validez es que es computacionalmente fácil de verificar, pero computacionalmente intensiva de generar: un verificador en Ethereum puede confirmar la corrección de la prueba en milisegundos, mientras que el probador puede tardar minutos u horas en calcularla. Los dos tipos principales de pruebas de validez que se utilizan en la cadena de bloques son los zk-SNARKs (argumentos de conocimiento sucintos, no interactivos y de conocimiento cero) y los zk-STARKs (argumentos de conocimiento transparentes, escalables y de conocimiento cero). Las pruebas de validez proporcionan finalidad inmediata: una vez que una prueba se verifica y acepta en la capa base, las transacciones correspondientes se confirman irrevocablemente. Esto contrasta con las pruebas de fraude (utilizadas por Optimistic Rollups), que presuponen que las transacciones son válidas y solo las cuestionan si alguien detecta fraude durante un período de disputa. El aspecto de "conocimiento cero" implica que las pruebas pueden verificar el cálculo sin revelar los datos subyacentes de la transacción, lo que permite aplicaciones que preservan la privacidad. Las pruebas de validez se consideran una de las tecnologías más prometedoras para escalar las cadenas de bloques, al tiempo que heredan las garantías de seguridad de la cadena de capa 1 subyacente.
Origen e Historia
| Fecha | Eventos |
| 1985 | Goldwasser, Micali y Rackoff introducen el concepto de pruebas de conocimiento cero en su artículo fundamental “La complejidad del conocimiento de los sistemas de pruebas interactivos”. |
| 1992 | Las bases teóricas para las pruebas sucintas se establecen con el teorema PCP (Pruebas Probabilísticamente Comprobables) |
| 2012 | Bitansky et al. definen formalmente los SNARK (argumentos de conocimiento sucintos y no interactivos). |
| 2016 | Zcash se lanza como la primera criptomoneda importante que utiliza zk-SNARKs para transacciones privadas |
| 2018 | Eli Ben-Sasson y el equipo de StarkWare presentan zk-STARKs: configuración transparente, pruebas de validez resistentes a la computación cuántica |
| 2019 | Surge el concepto de ZK-Rollups: utilizar pruebas de validez para escalar Ethereum verificando el cálculo fuera de la cadena por lotes. |
| 2020 | Loopring y zkSync lanzan las primeras implementaciones de ZK-Rollup en la red principal de Ethereum para transferencias de tokens |
| 2021-2023 | StarkNet (que usa STARKs) y zkSync Era (que usa SNARKs) lanzan ZK-Rollups de propósito general con soporte de contratos inteligentes |
| 2023 | Se lanzan Polygon zkEVM, Scroll y Linea, lo que hace realidad los ZK-Rollups equivalentes a EVM |
| 2024-2025 | Las pruebas de validez se extienden más allá de las acumulaciones a la verificación entre cadenas, demostrando el cálculo en diferentes cadenas de bloques. |
Las pruebas de validez nos permiten comprimir semanas de computación en una única afirmación matemática verificable al instante. Este es el futuro del escalado de blockchain. — Eli Ben-Sasson, cofundador de StarkWare
Cómo Funciona
“` Prueba de validez en un ZK-Rollup =================================
FUERA DE CADENA (Secuenciador/Probador de Rollup) ┌───────────────────────────────────────┐ │ │ │ 1. Recopilar transacciones (TX1…TX5000)│ │ │ │ 2. Ejecutar todas las transacciones │ │ Estado_antiguo ──► Estado_nuevo │ │ │ │ 3. Generar prueba de validez │ │ ┌─────────────────────┐ │ │ │ PROVER (trabajo pesado) │ │ │ │ │ │ │ │ Entradas: │ │ │ │ – Estado_antiguo │ │ │ │ – Transacciones │ │ │ │ – Estado_nuevo │ │ │ │ │ │ │ │ Salida: │ │ │ │ π (prueba) │ │ │ │ ~200-500 bytes │ │ │ └─────────────────────┘ │ │ │ │ 4. Enviar a L1: {State_new, π} │ └──────────────────────────────────────────┘ │ ▼ EN CADENA (Ethereum L1) ┌────────────────────────────────────────┐ │ │ │ 5. Verificar prueba │ │ ┌──────────────────────┐ │ │ │ VERIFICADOR (trabajo rápido) │ │ │ │ │ │ │ │ Comprobación: π demuestra que │ │ │ │ Estado_antiguo + TXs = │ │ │ │ Estado_nuevo correctamente │ │ │ │ │ │ │ │ Costo: ~200K-500K de gas │ │ │ │ Tiempo: milisegundos │ │ │ └──────────────────────┘ │ │ │ │ 6. Si es válido → Aceptar Estado_nuevo │ │ LA FINALIDAD ES INMEDIATA │ └───────────────────────────────────────────┘
Prueba de validez vs. prueba de fraude:
Prueba de validez (ZK-Rollup) ─────────────────────────── Lote TX ──► Demostrar que es correcto ──► Enviar prueba ──► Finalidad inmediata Tiempo: Generación de prueba (~10-30 min) + Confirmación L1
A prueba de fraude (Acumulación optimista) ───────────────────────────────── Lote TX ──► Asumir correcto ──► Ventana de desafío de 7 días ──► Tiempo de firmeza: 7 días (a menos que se cuestione) “`
| Elemento | ZK-snarks | zk-STARK |
| Tamaño de prueba | Muy pequeño (~200 bytes) | Más grande (~50-200 KB) |
| Tiempo de verificación | Muy rápido (~10ms) | Rápido (~50-100ms) |
| Tiempo de prueba | Moderado a alto | Alto |
| Configuración de confianza | Requerido (ceremonia) | No requerido (transparente) |
| Resistencia cuántica | No (se basa en curvas elípticas) | Sí (basado en hash) |
| Usado por | zkSync, Polígono zkEVM, Desplazamiento | StarkNet, StarkEx |
| Fundación de Matemáticas | Pares de curvas elípticas | Funciones hash, protocolo FRI |
En términos simples
- Un recibo matemáticoImagina que has resuelto un rompecabezas de 10,000 piezas. En lugar de pedirle a alguien que lo verifique reconstruyendo todo el rompecabezas (repitiendo todas las transacciones), le entregas un pequeño recibo que demuestra matemáticamente que el rompecabezas está completo. Ese recibo es la prueba de validez: minúsculo, pero concluyente.
- Comprimir miles en uno:Una prueba de validez comprime la verificación de miles de transacciones en una única y pequeña prueba que Ethereum Puede verificar en una sola operación. En lugar de que Ethereum procese 5,000 transacciones individualmente, verifica una sola prueba y confía en que las 5,000 sean correctas.
- Probar sin mostrarLa propiedad de "conocimiento cero" significa que puedes demostrar que un cálculo se realizó correctamente sin revelar los datos reales. Por ejemplo, puedes demostrar que tienes fondos suficientes para una transacción sin revelar tu saldo exacto, como demostrar que eres mayor de 21 años sin mostrar tu fecha de nacimiento.
- Finalidad instantánea vs. período de esperaCon las pruebas de validez, una vez verificadas en Ethereum, las transacciones son definitivas de inmediato. Esto contrasta con los Optimistic Rollups, donde se debe esperar 7 días para un período de impugnación. Las pruebas de validez reemplazan la confianza con las matemáticas.
- Difícil de crear, fácil de comprobarGenerar una prueba de validez requiere importantes recursos computacionales (servidores potentes, minutos u horas de procesamiento). Pero verificar la prueba es facilísimo: un contrato inteligente de Ethereum puede comprobarla en una fracción de segundo. Esta asimetría es lo que hace que la tecnología sea tan potente.
Ejemplos del mundo real
| Escenario | Implementación | Resultado |
| Escalado de ZK-Rollup | zkSync Era procesa las transacciones de Ethereum fuera de la cadena y envía pruebas de validez a la red principal de Ethereum. | Los usuarios pagan tarifas entre 5 y 10 veces más bajas que en Ethereum L1 y heredan las garantías de seguridad de Ethereum mediante pruebas matemáticas. |
| Transacciones privadas | Zcash utiliza zk-SNARKs para demostrar que las transacciones son válidas sin revelar el remitente, el receptor o el monto. | Transacciones de criptomonedas totalmente privadas que aún son verificables por los nodos de la red, lo que resuelve el problema de la discrepancia entre privacidad y transparencia. |
| Puentes de cadenas cruzadas | Succinct Labs y Polymer utilizan pruebas de validez para verificar el estado de una cadena de bloques en otra. | Comunicación entre cadenas sin depender de multifirmas ni comités: la prueba garantiza matemáticamente el estado de la cadena de origen |
| Identidad descentralizada | Los usuarios generan pruebas de validez de que cumplen determinados criterios (edad, rango de puntuación crediticia) sin revelar datos personales | KYC que preserva la privacidad y verificación de identidad que satisface los requisitos de cumplimiento sin exponer información confidencial |
Ventajas
| La Ventaja | Mareas Ideales para Lecciones |
| Finalidad inmediata | Las transacciones son definitivas tan pronto como se verifica la prueba en L1; no hay un período de impugnación de 7 días como en Optimistic Rollups |
| Seguridad matemática | La seguridad se basa en las matemáticas (suposiciones criptográficas), no en incentivos económicos o suposiciones de mayoría honesta. |
| Compresión de datos | Las pruebas de validez pueden verificar el cálculo sin que el verificador necesite todos los datos de transacciones subyacentes, lo que permite una compresión extrema. |
| Capacidad de privacidad | La propiedad de conocimiento cero permite transacciones privadas y divulgación selectiva: demostrar que algo es cierto sin revelar por qué |
| Escalabilidad organizacional | Una sola prueba puede dar fe de millones de transiciones de estado, lo que teóricamente permite un rendimiento ilimitado fuera de la cadena. |
Desventajas y riesgos
| Supervisión | Mareas Ideales para Lecciones |
| Centralización de comprobadores | La generación de pruebas de validez requiere hardware especializado y costoso, lo que lleva a la centralización de los nodos de prueba. |
| Costo Computacional | La generación de pruebas consume muchísimos recursos, lo que añade latencia y costos de infraestructura a los operadores de rollup. |
| Configuración de confianza (SNARKs) | Los zk-SNARK requieren una ceremonia de configuración confiable única; si se ven comprometidos, se podrían generar pruebas falsas de forma indetectable. |
| Complejidad y riesgo de auditoría | Los circuitos ZK y los sistemas de prueba son matemáticamente complejos, lo que dificulta la auditoría y aumenta el riesgo de errores sutiles. |
| Desafíos de compatibilidad de EVM | Generando pruebas de validez para casos arbitrarios EVM La ejecución es técnicamente difícil; muchos ZK-Rollups aún no son totalmente equivalentes a EVM |
Consejos de gestión de riesgos:
- Al utilizar plataformas ZK-Rollup, verifique que el sistema de pruebas haya sido sometido a múltiples auditorías de seguridad independientes.
- Comprenda si el paquete acumulativo utiliza SNARK (se requiere configuración confiable) o STARK (transparente, sin configuración confiable)
- Monitorear la descentralización del probador: una sola entidad probadora crea riesgos de censura y actividad
- Tenga en cuenta que la tecnología ZK está evolucionando rápidamente; las primeras implementaciones pueden tener limitaciones que se resuelven en versiones posteriores.
Preguntas Frecuentes
P: ¿Cuál es la diferencia entre una prueba de validez y una prueba de fraude?
A: Una prueba de validez demuestra matemáticamente que un lote de transacciones se ejecutó correctamente antes de su aceptación. Una prueba de fraude presupone que el lote es correcto y otorga a cualquier persona 7 días para presentar evidencia de fraude. Las pruebas de validez ofrecen certeza inmediata, pero su generación es computacionalmente costosa. Las pruebas de fraude son más económicas, pero requieren un largo período de espera y dependen de que al menos una parte honesta supervise la cadena.
P: ¿Las pruebas de validez son lo mismo que las pruebas de conocimiento cero?
R: No exactamente. Todas las pruebas de conocimiento cero son pruebas de validez (demuestran que el cálculo es correcto), pero no todas las pruebas de validez son de conocimiento cero. La propiedad de "conocimiento cero" significa específicamente que la prueba no revela nada sobre los datos subyacentes más allá del hecho de que la afirmación es verdadera. Una prueba de validez puede verificar la corrección sin dejar de revelar los datos de la transacción.
P: ¿Por qué los zk-SNARK necesitan una configuración confiable pero los zk-STARK no?
A: Los zk-SNARK se basan en criptografía de curva elíptica, que requiere generar parámetros secretos durante una "ceremonia" inicial. Si alguien guarda estos parámetros secretos, podría falsificar pruebas. Las ceremonias de computación multipartita mitigan este riesgo. Los zk-STARK utilizan funciones hash y técnicas algebraicas que no requieren parámetros secretos, lo que los hace "transparentes"; no se necesitan suposiciones de confianza.
P: ¿Cuánto tiempo se tarda en generar una prueba de validez?
A: El tiempo de generación de pruebas varía según el sistema y el tamaño del lote. Para un ZK-Rollup que procesa unos miles de transacciones, la generación de pruebas suele tardar entre 5 y 30 minutos utilizando hardware especializado de GPU o FPGA. Se está trabajando activamente para reducir este tiempo a segundos mediante mejores algoritmos y aceleradores de hardware dedicados.
P: ¿Se pueden aplicar pruebas de validez fuera de la cadena de bloques?
R: Sí. Las pruebas de validez (en particular las pruebas de conocimiento cero) tienen aplicaciones en la verificación de identidad (demostrar la edad sin revelar la fecha de nacimiento), la integridad de la cadena de suministro (demostrar la autenticidad del producto sin revelar secretos comerciales), los sistemas de votación (demostrar que un voto se contó correctamente sin revelar el voto) y el aprendizaje automático (demostrar que un modelo se entrenó correctamente con datos válidos).
Fuentes
- Goldwasser, Micali, Rackoff — “La complejidad del conocimiento de los sistemas de prueba interactivos” (1985)
- Ben-Sasson et al. — “Integridad computacional segura, escalable, transparente y poscuántica” (artículo zk-STARKs, 2018)
- Fundación Ethereum: Hoja de ruta centrada en la acumulación y especificaciones de prueba de validez
- Vitalik Buterin — “Una guía incompleta sobre los rollups” (2021)
- L2Beat — Análisis del sistema de seguridad y pruebas ZK-Rollup
Consejo de UPay: Al elegir entre soluciones de Capa 2 , los rollups basados en pruebas de validez (ZK-Rollups) ofrecen retiros más rápidos a Ethereum en comparación con los rollups optimistas, que requieren un período de verificación de 7 días. Si transfiere activos con frecuencia entre L1 y L2, la validez inmediata de las pruebas de validez puede ahorrarle un tiempo de espera considerable y mejorar la eficiencia de su capital.
Aviso legal: Este contenido es solo para fines educativos y no constituye asesoramiento financiero. Siempre investigue por su cuenta y consulte con asesores financieros cualificados antes de tomar decisiones de inversión.
UPay : Creando una enciclopedia de criptomonedas
