Curso 5: AI × Blockchain | Módulo 4 de 12

ZK-PROOFS Y PRIVACIDAD

Demostrar sin revelar: el poder de las pruebas de conocimiento cero

zk-SNARKs zk-STARKs zkML
Piensa así: un ZK-proof es como mostrarle a un guardia de seguridad tu credencial sin sacarla de la cartera. Él ve que tienes acceso, pero no ve tu foto, tu nombre, ni tu fecha de nacimiento. Pruebas que sabes algo sin revelar qué sabes.

Objetivos de este módulo

Intuición

Los ZK-proofs permiten a una parte (prover) probar a otra (verifier) que una afirmación es cierta sin revelar información adicional. En AI × Blockchain, permiten verificar modelos de ML sin exponer datos privados ni el modelo mismo.

Paso a paso

1. El prover tiene un secreto (ej: una edad). 2. Genera una prueba ZK de que cumple una condición (mayor de 18). 3. Envía la prueba al verifier. 4. El verifier la valida sin conocer el secreto. 5. El verifier acepta o rechaza.

Ejemplo concreto

zkML: un AI agent prueba que ejecutó un modelo correctamente sin revelar los datos de entrada ni el modelo. zk-Rollups: Polygon zkEVM, zkSync — millones de transacciones comprimidas en una prueba ZK verificada en Ethereum.

Error común

Pensar que ZK-proofs son solo para privacidad. También sirven para escalabilidad (zk-rollups pueden procesar 2000+ tx/s), integridad de cálculos (verificar que un AI agent ejecutó correctamente un modelo), y compliance (probar KYC sin exponer datos).

Relevancia actual

zk-Rollups procesan $10B+ semanales en Ethereum L2. zkML es la frontera: permite verificar inferencias de AI sin revelar datos. Proyección: para 2027, 50% de las transacciones on-chain usarán ZK-proofs de alguna forma.

Conexión

ZK-proofs se conectan con privacidad (05), DIDs (06) para identidad, AI agents (02) para verificar cálculos, y post-quantum (07) para seguridad futura.

Cómo dominar ZK-Proofs

1
Entiende el concepto

Prover → Prueba → Verifier: demostrar sin revelar.

2
Explora tipos

zk-SNARKs (tamaño fijo, trusted setup), zk-STARKs (sin trusted setup, más grandes).

3
Descubre zkML

Zero-knowledge Machine Learning: verificar inferencias de AI sin revelar datos.

4
Simula verificación

Genera y verifica una prueba ZK de que conoces un secreto.

5
Responde el quiz

2 de 3 correctas = insignia de ZK Privacy Architect.

Tipos de ZK-Proofs

zk-SNARKs
Pruebas pequeñas (~200 bytes), trusted setup requerido.
zk-STARKs
Sin trusted setup, resistentes a quantum, pruebas más grandes.
zkML
Pruebas de que un modelo de ML se ejecutó correctamente.
zk-Rollups
Escalabilidad: miles de tx comprimidas en una prueba ZK.

zk-SNARKs

Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. Pruebas muy pequeñas (~200 bytes) que se verifican en milisegundos. Requieren un trusted setup. Usadas por zCash, zkSync, y Polygon zkEVM. Ideales para verificar transacciones privadas y escalabilidad.

Simulador de Verificación ZK

Demuestra que conoces un número secreto sin revelarlo:

Secreto: 42 (oculto del verifier)Condición: ¿El secreto es par?
Genera una prueba ZK para comenzar.
Prueba: —Tiempo: —

Mini Quiz

Explora los tipos de ZK-proofs y simula la verificación de una prueba.

Resumen del módulo

Menú