Glosario cripto
Coprocesador ZK
Un coprocesador ZK ejecuta cálculos pesados fuera de la cadena, a menudo con datos históricos, y devuelve una prueba que un contrato puede verificar.
Los contratos inteligentes están limitados en lo que pueden calcular y ver: no pueden recorrer con poco coste miles de transacciones pasadas ni leer el saldo que tenía una cuenta hace un año. Un coprocesador ZK cubre ese hueco. Un contrato o un usuario solicita un cálculo, el coprocesador lee los datos necesarios a partir de cabeceras de bloque y pruebas de estado, ejecuta el cálculo fuera de la cadena y devuelve el resultado con una prueba que lo vincula a la cadena canónica.
Entre sus usos están recompensar a traders según su volumen histórico, comprobar la elegibilidad para un airdrop por la actividad pasada, calcular precios medios ponderados en el tiempo de largo plazo, verificar la participación en la gobernanza o ejecutar modelos de aprendizaje automático o de riesgo cuyo resultado acepta un protocolo DeFi. Varios equipos ofrecen coprocesadores, a menudo construidos sobre zkVM.
A diferencia de un oráculo, la respuesta de un coprocesador puede verificarse criptográficamente en lugar de aceptarse por confianza, pero solo en la medida en que los circuitos y el sistema de pruebas sean correctos. Las pruebas añaden retraso, de segundos a minutos, y coste, así que el enfoque encaja en cálculos que serían prohibitivos en cadena, no en consultas sencillas.
Ejemplo
Un DEX usa un coprocesador ZK para demostrar el volumen total de cada trader en los últimos seis meses y paga reembolsos de comisiones desde un contrato que verifica la prueba, sin fiarse de una base de datos externa.