¿Qué es Brevis (BREV)? Guía completa sobre la capa de computación infinita ZK diseñada para Web3

El consenso en blockchain exige que cada validador repita el mismo cálculo, lo que hace que la computación on-chain sea costosa y limitada. Por esta razón, los contratos inteligentes encuentran dificultades para procesar grandes volúmenes de datos históricos de transacciones, generando un cuello de botella computacional persistente.

Brevis soluciona este problema al “probar el trabajo en vez de repetirlo”, permitiendo que los resultados de la computación off-chain se verifiquen on-chain en milisegundos. Así, establece una base computacional escalable y confiable para DeFi, aplicaciones basadas en datos y casos de uso de IA.

¿Qué es Brevis? ¿Por qué se le conoce como la “capa de computación ilimitada” de Web3?

Brevis es una plataforma de computación verificable que traslada los cálculos complejos fuera de la cadena y utiliza pruebas de conocimiento cero para garantizar la integridad de los resultados. Los validadores on-chain no repiten la ejecución, sino que verifican una prueba concisa de que “el cálculo se realizó correctamente”, lo que reduce de forma significativa los costes frente a la computación directa.

La denominación de “capa de computación ilimitada” responde a los límites computacionales on-chain: redes como Ethereum limitan el cálculo por transacción, dificultando análisis complejos, inferencia de modelos o agregación cross-chain en la cadena. Ejecutar off-chain y verificar on-chain desacopla la escala computacional del límite de gas del bloque.

En resumen, Pico zkVM y ZK Data Coprocessor gestionan la computación, coChain aporta confianza, y Pico Prism, Vera y ProverNet permiten pruebas en tiempo real, procedencia de contenido y suministro de pruebas.

¿Cómo funciona el ZK Coprocessor de Brevis?

Los contratos inteligentes son casi “ciegos al historial”: leer y procesar grandes volúmenes de transacciones históricas on-chain resulta muy costoso. Para permitir que los contratos decidan en función del comportamiento on-chain a largo plazo de un usuario, se requiere un mecanismo que no implique reproducir todos los datos en la cadena.

El ZK Data Coprocessor responde a esta necesidad: accede a datos históricos o cross-chain y realiza cálculos off-chain, devolviendo “resultados más una prueba criptográfica de que los datos existen y se calcularon correctamente”. Los contratos inteligentes pueden verificar y confiar en el resultado on-chain en milisegundos.

El flujo de datos de computación verificable tiene cuatro pasos: la app envía una solicitud; el coprocesador calcula off-chain usando datos on-chain reales; se genera una prueba ZK de cálculo correcto; y el contrato inteligente verifica y acepta el resultado.

Figura 1. Flujo de datos de computación verificable de Brevis: solicitud de la aplicación → cálculo off-chain (Pico zkVM y ZK Data Coprocessor usando datos on-chain reales) → generación de prueba ZK → el verificador on-chain valida y devuelve el resultado.

¿Qué papel juega Pico zkVM en la arquitectura de Brevis?

Pico zkVM es la máquina virtual de conocimiento cero modular y de código abierto de Brevis. Permite a los desarrolladores escribir cualquier lógica de computación en Rust y generar pruebas. Como capa de ejecución de propósito general para computación verificable, Pico zkVM une la “escritura de programas” y la “prueba de ejecución correcta” en una sola herramienta.

Su arquitectura “glue-and-coprocessor” utiliza un núcleo RISC-V de propósito general como “pegamento” para ejecutar programas Rust, mientras que operaciones comunes como hashing Keccak-256, verificación de firmas e inferencia de machine learning se derivan a “precompilados” específicos para aceleración. Según Brevis, este diseño puede aumentar la velocidad de prueba entre 10x y 80x.

¿Cómo garantizan coChain y el modelo de seguridad criptoeconómica una computación confiable?

Brevis ofrece dos modelos de seguridad: pure-ZK y OP / coChain. La diferencia clave es “qué hace confiable el resultado”: pure-ZK depende solo de pruebas criptográficas, mientras que OP / coChain suma una capa criptoeconómica. Con el SDK de Brevis puedes escribir la lógica de negocio una vez y desplegarla bajo cualquiera de los modelos.

coChain es una blockchain PoS con staking y slashing sobre Ethereum. Los validadores generan resultados usando datos de nodos archivo de la cadena, alcanzan consenso PoS y envían una firma agregada como “propuesta” a la cadena de solicitud, entrando en una “ventana de desafío de la aplicación”.

Si alguien desafía con éxito un resultado incorrecto durante la ventana usando una prueba ZK, el stake del validador se slashea en Ethereum. Si no hay desafío, el resultado puede ser usado por la dApp sin coste de prueba. coChain planea integrar EigenLayer para ajustar dinámicamente el nivel de seguridad.

En resumen, pure-ZK es ideal cuando se requiere máximo determinismo, mientras que coChain aporta flexibilidad en costes y rendimiento. Ambos pueden usarse por separado o en conjunto.

¿Para qué sirve el token BREV en el ecosistema Brevis?

BREV es el token nativo de utilidad y gobernanza de la red Brevis, que impulsa la economía de oferta de pruebas. Sus funciones se agrupan en tres categorías: pago, colateral y gobernanza, directamente vinculadas a incentivos para Provers y slashing, como se explica en BREV Token y coChain.

Estas tres funciones forman un ciclo cerrado: los usuarios pagan por pruebas, los Provers hacen staking para aceptar tareas y la comunidad gobierna los parámetros, lo que une la calidad de las pruebas y la seguridad de la red.

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

Brevis y los oráculos resuelven capas diferentes: los oráculos llevan datos off-chain a on-chain, mientras que Brevis se centra en computar y probar la corrección de datos on-chain e históricos. Entender la diferencia entre “transporte de datos” y “computación verificable” es clave para diferenciar Brevis de los oráculos.

Los oráculos suelen requerir confianza en nodos o proveedores de datos; Brevis usa pruebas de conocimiento cero para que los actores on-chain verifiquen la corrección de forma directa. Frente a otros ZK coprocessors, Brevis destaca por su Pico zkVM de propósito general, ZK Data Coprocessor y modelo dual pure-ZK/coChain.

¿Cuáles son los escenarios de aplicación reales (Real Adoption) de Brevis?

La “Real Adoption” de Brevis se centra en desplegar computación verificable en usos empresariales prácticos. Según el blog oficial de Brevis (2025), se han generado más de 340 millones de pruebas, cubriendo más de 50 protocolos en 8+ blockchains, con incentivos y recompensas asociados por más de 300 millones de dólares.

Los incentivos basados en datos son un caso de uso frecuente: los protocolos pueden distribuir recompensas según el historial real on-chain de los usuarios (por ejemplo, volumen de trading, duración de la tenencia), con pruebas ZK que aseguran la inviolabilidad de estas recompensas. ProverNet es un mercado descentralizado de pruebas en la red principal, donde los Provers hacen staking de BREV para participar y se les aplica slashing si incumplen.

Pico Prism proporciona pruebas de bloque en tiempo real para Ethereum. Según Brevis, logra un 99,8 % de cobertura en tiempo real en 16 GPU y cumple el objetivo de hardware de 100 000 $ de la Ethereum Foundation. La iniciativa On-Prem Proving Initiative (Ethproof) de la fundación seleccionó a Brevis como uno de los cuatro equipos en marzo de 2026. Vera utiliza pruebas ZK para verificar la autenticidad y procedencia de medios, abordando la trazabilidad de contenido en la era de los deepfakes.

Figura 2. Resumen del stack tecnológico y ecosistema de Brevis: división de funciones entre Pico zkVM, ZK Data Coprocessor, Pico Prism, Vera, ProverNet, coChain y el token BREV.

¿Cuáles son las ventajas, riesgos y limitaciones de usar Brevis?

Brevis destaca en escalabilidad y confianza: la ejecución off-chain con verificación on-chain desacopla la computación del límite de gas y las pruebas ZK permiten verificar resultados sin necesidad de terceros. El SDK permite escribir una vez y desplegar en varios modelos para una ingeniería flexible.

Las limitaciones provienen principalmente de la computación ZK: generar pruebas requiere hardware especializado y hashrate, y la prueba de propósito general sigue siendo más costosa que la ejecución nativa. La complejidad y latencia de lógicas avanzadas siguen siendo restricciones estructurales.

Los riesgos incluyen que la seguridad de coChain depende de challengers activos y suficiente staking; posibles errores de implementación en contratos inteligentes y la integración del SDK; y que el suministro de pruebas en ProverNet depende de la participación de Provers. Estas son limitaciones de mecanismo y no constituyen asesoramiento de inversión.

Resumen

Brevis es una plataforma de computación verificable para Web3 que implementa el principio de “probar el trabajo en vez de repetirlo”, trasladando la computación costosa off-chain y permitiendo la verificación on-chain de pruebas concisas en milisegundos. Su stack se apoya en Pico zkVM y ZK Data Coprocessor para la computación, proporciona confianza mediante modelos pure-ZK y coChain, y conecta tarifas, staking y gobernanza a través del token BREV, con despliegues reales como Pico Prism, Vera y ProverNet.

Preguntas frecuentes

¿Qué es Brevis (BREV)?

Brevis es una plataforma de computación verificable impulsada por pruebas de conocimiento cero, presentada como la capa de computación ilimitada de Web3. Ejecuta cálculos complejos off-chain y permite la verificación on-chain de pruebas concisas, eliminando la necesidad de que los validadores repitan el mismo cálculo.

¿Cuál es la diferencia entre el ZK Data Coprocessor y un oráculo?

Los oráculos llevan datos off-chain a on-chain y requieren confiar en la fuente de datos. El ZK Data Coprocessor realiza cálculos off-chain usando datos on-chain o históricos reales y adjunta pruebas criptográficas, de modo que la corrección se puede verificar directamente en la cadena.

¿Por qué Pico zkVM mejora la velocidad de las pruebas?

Pico zkVM utiliza una arquitectura “glue-and-coprocessor”: el núcleo RISC-V de propósito general ejecuta programas Rust, mientras que las operaciones comunes se derivan a circuitos precompilados específicos para aceleración. Según Brevis, esto puede aumentar la velocidad de prueba entre 10x y 80x.

¿Cómo elegir entre los modelos pure-ZK y coChain?

pure-ZK se basa solo en pruebas criptográficas, ofreciendo máximo determinismo pero requiriendo una prueba para cada cálculo. coChain garantiza la seguridad mediante staking, slashing y ventanas de desafío en Ethereum, y puede eliminar costes de prueba si no hay desafío. Ambos pueden escribirse una vez y desplegarse según necesidad con el SDK de Brevis.

¿Para qué se usa el token BREV?

BREV es el token nativo de utilidad y gobernanza de la red Brevis, utilizado principalmente para pagar tarifas de prueba, como colateral para Provers (bloqueado para recibir tareas, slashing si incumplen) y para la gobernanza de parámetros del protocolo.