¿En qué se diferencia Brevis de los oráculos y de otros coprocesadores ZK?

La distinción esencial entre los oráculos y los ZK coprocessors como Brevis radica en la dirección de los datos: los oráculos están diseñados para introducir datos externos y off-chain en la blockchain, mientras que los ZK coprocessors como Brevis se dedican a cálculos verificables sobre datos históricos on-chain, devolviendo resultados que pueden validarse matemáticamente. Como plataforma de computación verificable orientada a Web3, Brevis (BREV) responde a la cuestión de “cómo calcular datos on-chain y probar su corrección”, mientras que los oráculos abordan “cómo llevar datos off-chain a on-chain”.

Los contratos inteligentes en blockchain no pueden acceder directamente a datos externos y enfrentan grandes dificultades para reproducir grandes volúmenes de transacciones históricas on-chain. Estas limitaciones han impulsado el desarrollo de oráculos y ZK coprocessors: los oráculos permiten que datos externos entren en la blockchain, mientras que los ZK coprocessors facilitan la computación confiable sobre datos históricos on-chain. Comprender esta diferencia es crucial para decidir qué infraestructura emplear o cómo combinar ambas para casos de uso específicos.

Figura 1. Comparación entre Brevis ZK Coprocessor y Oracle en cuatro dimensiones: dirección de datos, modelo de confianza, computación y verificación.

¿Qué es un oráculo y qué problemas resuelve?

Un oráculo actúa como puente de datos entre blockchains y el mundo externo, con la función principal de entregar datos off-chain o externos de forma segura a contratos inteligentes on-chain. Los casos de uso habituales incluyen feeds de precios, generación de números aleatorios, reporte de resultados de eventos y sincronización de estados entre sistemas.

En un entorno cerrado y determinista, los contratos inteligentes no pueden acceder directamente a API off-chain ni a datos del mundo real. Los oráculos emplean redes de nodos para recolectar, agregar y registrar datos on-chain, permitiendo que contratos dependientes de condiciones de mercado externas—como liquidaciones de préstamos y de derivados—funcionen correctamente.

La confianza en los oráculos se basa en la integridad de las redes de nodos, esquemas multifirma, mecanismos de agregación de datos y incentivos económicos. La precisión de los datos depende de la honestidad de los nodos reportadores y la robustez del proceso de agregación, no de pruebas matemáticas on-chain.

¿Qué son los ZK coprocessors como Brevis?

Los ZK coprocessors como Brevis están diseñados para procesar datos históricos y entre cadenas ya presentes on-chain, ejecutando cálculos complejos off-chain y devolviendo resultados junto con pruebas de conocimiento cero. Estas pruebas permiten que los contratos inteligentes verifiquen matemáticamente la corrección de los cálculos on-chain. Los ZK data coprocessors acceden a datos auténticos de nodos de archivo off-chain, realizan cálculos y luego devuelven resultados y pruebas on-chain, estableciendo un flujo completo de “cálculo off-chain, verificación on-chain”.

Brevis opera mediante un ZK data coprocessor y Pico zkVM, bajo dos modelos de seguridad: pure-ZK (puro conocimiento cero) o el modelo coChain (OP) descrito en BREV Token y coChain. El modelo pure-ZK se basa en pruebas criptográficas, mientras que el modelo coChain incorpora staking y slashing en Ethereum para mayor seguridad criptoeconómica.

A diferencia de los oráculos, los ZK coprocessors no dependen de reportes honestos de datos. Permiten que el proceso de cálculo sea verificable: mientras la prueba sea válida, el contrato puede confirmar la existencia y corrección de los datos y cálculos relevantes on-chain, minimizando los requisitos de confianza.

¿Cómo difieren las fuentes de datos y los modelos de confianza?

En fuentes de datos, los oráculos incorporan datos externos y off-chain (precios, eventos, datos de API), mientras que los ZK coprocessors utilizan datos existentes on-chain (transacciones históricas, balances, estados entre cadenas).

En modelos de confianza, los oráculos dependen de nodos reportadores confiables o esquemas multifirma, respaldados por incentivos económicos—confianza en los reportadores de datos, un modelo de confianza social y económica. Los ZK coprocessors, en cambio, se basan en la verificabilidad matemática de pruebas de conocimiento cero—confianza en el cálculo mismo, un modelo de confianza criptográfica.

Ningún modelo es categóricamente superior. Los datos externos no pueden ser probados verdaderos solo mediante criptografía, y que los precios on-chain coincidan con los precios del mercado real requiere una fuente confiable. Sin embargo, los cálculos sobre datos on-chain existentes pueden verificarse directamente mediante pruebas ZK.

¿Cómo difieren sus capacidades de computación?

En cuanto a capacidades de computación, los oráculos se encargan principalmente del “transporte de datos”: transmiten y agregan datos externos para uso on-chain, sin realizar análisis complejos de datos on-chain. Los ZK coprocessors, por el contrario, ejecutan “computación intensiva”, realizando estadísticas a gran escala, agregación e incluso inferencia de modelos sobre datos históricos off-chain.

Los contratos inteligentes tienen acceso limitado a datos históricos, y reproducir extensos historiales de transacciones on-chain es demasiado costoso. Los ZK coprocessors trasladan esos cálculos off-chain y proporcionan pruebas concisas, permitiendo una verificación rápida on-chain y superando las limitaciones del Gas de bloque en escala computacional.

Tabla: diferencias clave entre Brevis, oráculos y otros ZK coprocessors

La siguiente tabla compara ZK coprocessors como Brevis, otros ZK coprocessors y oráculos en cuatro dimensiones: dirección de datos, modelo de confianza, capacidad de computación y método de verificación.

Puntos clave: los oráculos y los ZK coprocessors ocupan extremos opuestos del flujo de datos. “Otros ZK coprocessors”, como infraestructura similar, realizan diferentes concesiones en acceso a datos, sistemas de pruebas y modelos de seguridad. Brevis destaca por su Pico zkVM de propósito general y modelos duales pure-ZK/coChain. Esta tabla es una visión categórica y no concluye sobre proyectos de terceros no confirmados.

¿Qué tipo debe usarse en cada escenario?

La elección depende de si la aplicación necesita “datos externos on-chain” o “cálculo de datos históricos on-chain”. Los oráculos son preferidos para precios de activos en tiempo real, resultados de eventos off-chain o números aleatorios. Los ZK coprocessors son más adecuados para incentivar usuarios según comportamiento on-chain a largo plazo, control de riesgos o agregación entre cadenas.

Los escenarios de datos-on-chain suelen ser gestionados por oráculos, como precios de liquidación de préstamos, liquidación de derivados y activación de eventos de seguros. Los escenarios de cálculo de datos históricos son mejor atendidos por ZK coprocessors, como recompensas por volumen real de trading, cálculo de lealtad por duración de tenencia o agregación de activos entre cadenas para control de riesgos. En la práctica, ambos suelen usarse juntos: una aplicación DeFi podría emplear oráculos para precios externos y ZK coprocessors para evaluar contribuciones históricas on-chain—son complementarios, no intercambiables.

Figura 2. Selección de escenarios: oráculos para datos externos on-chain, ZK coprocessors como Brevis para computación verificable histórica on-chain; ambos pueden combinarse.

¿Cuáles son las limitaciones y consideraciones en estas comparaciones?

Los límites terminológicos no son absolutos: “oráculo” y “ZK coprocessor” son categorías funcionales, pero los productos reales suelen integrar múltiples capacidades y estos límites pueden difuminarse a medida que los diseños evolucionan. “Otros ZK coprocessors” debe entenderse como una categoría general—evita sacar conclusiones definitivas sobre proyectos de terceros sin confirmación pública.

Las soluciones híbridas son cada vez más comunes: cierta infraestructura combina entrada de datos externos con computación verificable, o utiliza pruebas de conocimiento cero para aumentar la integridad de los datos de oráculos. Elegir estrictamente entre uno u otro puede pasar por alto estos modelos híbridos.

El costo y la latencia también son factores importantes. Generar pruebas ZK requiere hardware especializado y tiene mayor sobrecosto para computación de propósito general respecto a la ejecución nativa. Los oráculos se ven afectados por la frecuencia de actualización, cobertura de nodos y latencia de agregación. Las comparaciones deben ser específicas para cada escenario, no basadas en un solo criterio.

Resumen

Oráculos y ZK coprocessors como Brevis abordan desafíos distintos en extremos opuestos del flujo de datos en blockchain: los oráculos introducen datos externos on-chain, basándose en suposiciones de confianza e incentivos económicos; los ZK coprocessors permiten computación verificable sobre datos históricos on-chain, confiando en la integridad matemática de las pruebas de conocimiento cero. Cada uno cumple un rol único en dirección de datos, modelo de confianza y capacidad de computación, y sus límites no son absolutos. En la práctica, se emplean enfoques híbridos para máxima efectividad.

Preguntas frecuentes

¿Pueden los oráculos y los ZK coprocessors sustituirse entre sí?

No, no pueden sustituirse directamente. Los oráculos se encargan de introducir datos externos y off-chain en la blockchain, mientras que los ZK coprocessors realizan cálculos verificables sobre datos históricos existentes on-chain. Operan en puntos distintos del flujo de datos y suelen usarse colaborativamente o combinados en una misma aplicación.

¿Cuál es la diferencia principal entre Brevis y los oráculos?

La diferencia principal está en la dirección de datos y el modelo de confianza. Los oráculos introducen principalmente datos externos on-chain, con confianza basada en nodos/multifirma e incentivos económicos. Brevis y otros ZK coprocessors calculan datos históricos on-chain y devuelven pruebas de conocimiento cero, permitiendo la verificación matemática de resultados directamente on-chain.

¿Por qué los ZK coprocessors se consideran trust-minimized?

Los ZK coprocessors hacen que el proceso de cálculo sea verificable: mientras la prueba de conocimiento cero on-chain sea válida, confirma que los datos relevantes existen y que el cálculo se ejecutó correctamente—no es necesario confiar en terceros para el reporte de datos o el cálculo. Por eso se consideran trust-minimized.

¿Usan los oráculos pruebas de conocimiento cero?

Algunas soluciones de oráculos utilizan pruebas de conocimiento cero para mejorar la integridad de los datos o la privacidad, pero su función principal sigue siendo introducir datos externos on-chain. En los oráculos, las pruebas de conocimiento cero suelen ser un complemento, mientras que en los ZK coprocessors son el mecanismo central para verificar la corrección computacional.

¿Puede una aplicación usar tanto oráculos como ZK coprocessors?

Sí. Por ejemplo, una aplicación DeFi puede usar oráculos para obtener precios de activos en tiempo real y ZK coprocessors para calcular incentivos o control de riesgos según el historial on-chain real de los usuarios, resolviendo tanto necesidades de “datos externos on-chain” como de “cálculo de datos históricos on-chain”.