Pruebas ZK mas alla de los rollups: Inferencia de IA verificable en Ethereum
Engineering Team
Lo que las pruebas ZK permiten mas alla del escalado
Las pruebas de conocimiento cero han sido sinonimo de escalabilidad blockchain desde 2021. zkSync, StarkNet, Scroll y Polygon zkEVM las utilizan para comprimir miles de transacciones en una sola prueba verificada en Ethereum L1. Pero el escalado es solo la primera aplicacion. El verdadero poder de las pruebas ZK es la computacion verificable — la capacidad de demostrar que un programa arbitrario se ejecuto correctamente sin volver a ejecutarlo.
Este encuadre importa: ZK no es una tecnologia de escalado que casualmente tiene otros usos. ZK es una tecnologia de computacion verificable de proposito general que encontro su primer mercado a gran escala en el escalado blockchain.
En 2026, las aplicaciones ZK mas emocionantes no son rollups:
- zkML — demostrar que un modelo de machine learning produjo una salida especifica sin revelar los pesos del modelo
- Coprocesadores ZK — ejecutar calculos pesados off-chain y publicar una prueba sucinta on-chain
- Credenciales verificables — demostrar atributos de identidad (edad, ciudadania, puntuacion crediticia) sin revelar los datos subyacentes
- Proteccion MEV — cifrar la intencion de transaccion y demostrar validez sin revelar detalles a los block builders
zkML: Inferencia de IA verificable
zkML — aplicar pruebas de conocimiento cero a la inferencia de machine learning — resuelve un problema real: como confiar en que un modelo de IA produjo una salida especifica?
El problema de confianza
Imagine un protocolo de prestamos DeFi que usa un modelo de IA para la puntuacion crediticia. Surgen tres problemas de confianza:
- Integridad del modelo — Como sabe el prestatario que se uso el modelo declarado?
- Integridad de entrada — Como demuestra el protocolo que uso los datos on-chain correctos?
- Integridad de ejecucion — Como verifica alguien que el calculo fue correcto?
Sin pruebas ZK, la respuesta es “confiar en el operador”. Con zkML, la respuesta es: “verificar la prueba.”
Como funciona zkML
1. Cuantizacion del modelo: Convertir pesos de punto flotante a punto fijo
2. Compilacion de circuito: Traducir cada capa de red neuronal
a restricciones aritmeticas
3. Generacion de testigo: Ejecutar el modelo con la entrada real
4. Generacion de prueba: Usar sistema de prueba (Halo2, Plonky3, SP1)
5. Verificacion: Smart contract en Ethereum verifica la prueba en O(1)
Limites actuales
| Tamano del modelo | Tiempo de prueba | Tamano de prueba | Gas de verificacion | Practico? |
|---|---|---|---|---|
| Diminuto (100K params) | 5-30 seg. | 256 bytes | ~300K gas | Si |
| Pequeno (1M params) | 1-5 min. | 256 bytes | ~300K gas | Si, tareas async |
| Mediano (10M params) | 15-60 min. | 256 bytes | ~300K gas | Viable con GPU |
| Grande (100M+ params) | Horas a dias | 256 bytes | ~300K gas | Solo investigacion |
| Escala LLM (1B+ params) | Impracticable | — | — | Aun no |
Casos de uso zkML
1. Puntuacion crediticia on-chain — Protocolo DeFi ejecuta modelo de scoring. La prueba zkML garantiza: modelo correcto, datos correctos, calculo correcto.
2. Moderacion de contenido verificable — Plataforma social descentralizada demuestra aplicacion consistente del clasificador IA.
3. Machine learning privado — Protocolo de salud demuestra resultado de diagnostico sin revelar datos del paciente.
Coprocesadores ZK: Calculo off-chain, verificacion on-chain
Por que no simplemente un oraculo?
| Propiedad | Oraculo | Coprocesador ZK |
|---|---|---|
| Modelo de confianza | Confiar en operador | Confiar en matematicas |
| Fuente de datos | APIs externas | Estado blockchain (verificable) |
| Calculo | Agregacion simple | Programas arbitrarios |
| Costo | Tarifa por solicitud | Gas de verificacion |
| Latencia | Segundos | Minutos (tiempo de prueba) |
Proyectos lideres
Axiom — primer coprocesador ZK para Ethereum, enfocado en consultas de estado historico.
Brevis — coprocesador ZK de proposito general con calculo personalizado.
Lagrange — especializado en pruebas de estado cross-chain.
Comparacion de sistemas de prueba: SP1 vs RISC Zero vs Jolt
| Caracteristica | SP1 | RISC Zero | Jolt |
|---|---|---|---|
| ISA | RISC-V | RISC-V | RISC-V |
| Sistema de prueba | Plonky3 (STARK) | STARK + Groth16 wrapper | Lasso/Surge (sumcheck) |
| Lenguaje | Rust | Rust | Rust |
| Gas de verificacion | ~270K | ~250K | ~300K |
| Velocidad de prueba | Rapida (1x) | Media (1,5x mas lenta) | Rapida (0,9x) |
| Aceleracion GPU | Si (CUDA) | Si (CUDA, Metal) | Si (CUDA) |
| Madurez | Produccion (2025+) | Produccion (2024+) | Beta (2025+) |
Preguntas frecuentes
Cual es la diferencia entre pruebas ZK y ZK rollups?
Los ZK rollups son una aplicacion de las pruebas ZK. Las pruebas ZK son una herramienta criptografica general.
Necesito entender criptografia para construir con ZK?
Con zkVMs modernos (SP1, RISC Zero, Jolt), no. Se escribe codigo Rust estandar.
Cuanto cuesta la verificacion de pruebas ZK en Ethereum?
Una verificacion Groth16 cuesta 250-300K gas ($0,50-1,50).
Pueden las pruebas ZK garantizar la seguridad de la IA?
No. Las pruebas ZK garantizan integridad computacional, no que el modelo sea seguro o justo.
Cuando funcionaran las pruebas ZK para grandes modelos de lenguaje?
No en 2026. La aceleracion por hardware (ASICs) podria hacer factibles los LLMs medianos para 2028-2029.