El reto fundamental de la computación confiable on-chain radica en establecer por qué el resultado es confiable. Las pruebas criptográficas proporcionan el máximo determinismo, pero su generación exige hardware especializado y hashrate, lo que limita la eficiencia e incrementa los costes. Para equilibrar determinismo y rendimiento, Brevis (BREV) introduce el modelo de seguridad criptoeconómica coChain, que aprovecha mecanismos de staking y slashing de Proof-of-Stake (PoS) para ofrecer una fuente alternativa y confiable de resultados optimistas sujetos a desafío.
En este esquema, BREV es el activo de pago, colateral y gobernanza. Sus propiedades, junto con el flujo operativo de coChain, constituyen el pilar de la seguridad criptoeconómica de Brevis.
¿Qué es el token BREV?
BREV es el token nativo de utilidad y gobernanza de la red Brevis. Más que un simple token de comisiones, es un instrumento económico que vincula directamente la calidad del suministro de pruebas con la seguridad de la red.
En el ecosistema Brevis, BREV conecta a tres actores clave: el solicitante de la computación, el Prover que genera pruebas de conocimiento cero y el validador encargado de mantener el consenso de coChain. Los solicitantes pagan por las pruebas, mientras que Provers y validadores deben bloquear BREV como colateral para garantizar la ejecución. Si incumplen, se aplica slashing, integrando la circulación de BREV con la actividad de la red.
¿Qué usos tiene BREV?
BREV cumple tres funciones principales: pago, colateral y gobernanza. Estas funciones sustentan la economía de suministro de pruebas en Brevis, respaldando el objetivo de producir cálculos precisos y penalizar conductas incorrectas.
| Función |
Rol |
Descripción |
| Pagar comisiones de pruebas |
Solicitante |
Usar BREV para pagar la computación off-chain y la generación de pruebas |
| Colateral de staking del Prover |
Prover |
Bloquear BREV como colateral de staking para recibir tareas; se aplica slashing en caso de incumplimiento |
| Gobernanza del protocolo |
Holder |
Participar en las decisiones de gobernanza sobre parámetros críticos del protocolo |
Estas utilidades forman un ciclo cerrado: los solicitantes pagan comisiones en BREV, los Provers ponen en staking BREV para aceptar tareas y convertir su compromiso en una promesa exigible, y los holders ajustan los parámetros del protocolo para que la red evolucione con seguridad.
Figura 1. Las tres utilidades principales del token BREV: pago de comisiones de pruebas, colateral de staking del Prover y gobernanza del protocolo.
¿Qué es coChain y por qué es necesario?
coChain es el modelo de seguridad criptoeconómica de Brevis: una blockchain PoS con staking y slashing sobre Ethereum, diseñada para ofrecer computación verificable de baja latencia, eficiente y con mínima confianza.
coChain se creó para superar las limitaciones del modelo ZK puro. En un esquema ZK puro, cada resultado debe ir acompañado de una prueba de conocimiento cero antes de entregarse, lo que maximiza el determinismo pero implica costes elevados de hardware, hashrate y latencia, especialmente en operaciones complejas y aplicaciones en tiempo real. La capa de ejecución generalista Pico zkVM respalda este proceso de generación de pruebas.
coChain resuelve este reto mediante un enfoque de propuesta optimista y desafío: los validadores presentan resultados que se consideran confiables por defecto, y solo se exigen pruebas de conocimiento cero si hay un desafío. Así, normalmente se eliminan los costes de generación de pruebas, manteniendo un respaldo criptográfico para la corrección de errores. Este modelo, igual que la diferencia entre Brevis y los oráculos, prioriza la computación verificable on-chain sobre la transmisión de datos externos, anclando la confianza en el staking y el slashing.
¿Cómo funciona el modelo de seguridad criptoeconómica de coChain?
El modelo coChain opera en tres etapas: propuesta, desafío y slashing. Este proceso ancla la confianza de los resultados en el colateral susceptible de slashing, comenzando con computación off-chain y finalizando con la resolución en Ethereum.
- Los validadores de coChain generan resultados de coprocesador usando datos brutos de nodos de archivo—siguiendo la lógica de los coprocesadores de datos ZK que acceden y computan datos off-chain—y alcanzan consenso por PoS.
- Los validadores presentan el resultado y las firmas de quórum agregadas como propuesta a la cadena solicitante, activando dos temporizadores: la ventana de desafío configurable por la aplicación y la ventana de slashing de coChain a nivel de sistema.
- Durante la ventana de desafío, cualquier parte puede presentar una prueba de conocimiento cero para impugnar una propuesta errónea. Si el desafío es válido, el staking del validador se somete a slashing en Ethereum; si no hay desafío, la dApp adopta el resultado sin coste adicional de prueba.
Brevis también planea integrar EigenLayer, permitiendo a los desarrolladores ajustar dinámicamente los niveles de seguridad en la etapa de propuesta, combinando incentivos criptoeconómicos y pruebas de conocimiento cero para ofrecer flexibilidad de seguridad y costes según el caso de uso.
Figura 2. Flujo de seguridad criptoeconómica de coChain: resultado PoS → propuesta (con firmas de quórum agregadas) → ventana de desafío → el desafío ZK activa slashing en Ethereum, o el resultado es adoptado por la dApp si no es impugnado.
¿Cómo elegir entre los modelos ZK puro y coChain (OP)?
La diferencia clave entre ZK puro y coChain es el mecanismo de confianza: ZK puro depende solo de pruebas criptográficas, mientras que coChain añade incentivos criptoeconómicos mediante staking y slashing. No son excluyentes; cada uno cubre necesidades distintas de determinismo y costes.
| Dimensión |
ZK puro |
coChain (Modelo OP) |
| Fuente de confianza |
Prueba criptográfica |
Staking, slashing y desafío ZK opcional |
| Latencia del resultado |
Espera de prueba |
Usable tras la ventana de desafío |
| Coste de computación |
Prueba requerida siempre |
Sin coste de prueba si no hay desafío |
| Nivel de seguridad |
Garantizado por prueba ZK |
Ajustable dinámicamente vía EigenLayer |
| Casos de uso |
Máximo determinismo |
Escenarios sensibles a coste y latencia |
En síntesis: ZK puro ofrece máxima simplicidad y determinismo, pero con mayor coste y latencia; coChain utiliza propuestas optimistas para reducir latencia y coste, con seguridad dependiente del proceso de desafío y del staking. El SDK de Brevis permite a los desarrolladores implementar la lógica de negocio una sola vez y desplegarla en ambos modelos.
¿Cómo aseguran el staking y slashing de BREV el desempeño del Prover?
El staking y slashing de BREV garantiza que los Provers entreguen pruebas puntualmente. Para aceptar una tarea, los Provers deben bloquear BREV como colateral, haciendo que su compromiso de entrega a tiempo sea una obligación económicamente exigible.
Este mecanismo funciona en ProverNet, el mercado descentralizado de pruebas ZK de Brevis, disponible en la red principal y basado en un rollup dedicado de Brevis Chain para coordinar subastas. Los Provers ponen en staking BREV para participar en subastas de tareas de prueba.
La clave es el plazo límite: si un Prover no cumple el plazo o no entrega una prueba válida, su BREV en staking se somete a slashing. Así, la fiabilidad del suministro de pruebas queda ligada al colateral real, incentivando a los Provers a aceptar solo tareas que puedan completar a tiempo y manteniendo la calidad del mercado de pruebas.
¿Cuáles son las ventajas, riesgos y limitaciones de tener o usar BREV?
El valor de BREV reside en su utilidad en la red: como activo de liquidación, colateral y gobernanza de la economía de pruebas, su demanda se vincula directamente al uso real de la computación verificable de Brevis. Según el blog oficial de Brevis (2025), la red ha generado más de 340 millones de pruebas, abarcando más de 50 protocolos en más de 8 blockchains, con una base operativa robusta.
Las limitaciones principales son propias del diseño del mecanismo. La seguridad de coChain depende de challengers activos y del staking suficiente de los validadores; si faltan challengers o el staking es bajo, la capacidad de corrección de errores de las propuestas optimistas se reduce. Parámetros críticos como la duración de la ventana de desafío y los ratios de slashing los define la gobernanza, y su adecuación afecta directamente a la seguridad.
Entre los riesgos figuran la dependencia de BREV respecto a la adopción en el ecosistema Brevis y la demanda de pruebas, el suministro de ProverNet ligado a la participación de Provers y posibles fallos en contratos inteligentes e integraciones de SDK. Son limitaciones objetivas del mecanismo y no constituyen asesoramiento de inversión ni previsiones de precio.
Resumen
BREV, el token nativo de utilidad y gobernanza de la red Brevis, vincula la calidad del suministro de pruebas y la seguridad de la red a través de tres funciones clave: pago de comisiones de pruebas, colateral de staking del Prover y gobernanza del protocolo. coChain, una blockchain PoS con staking y slashing en Ethereum, ofrece una vía de propuesta optimista y desafío: las propuestas erróneas activan slashing en Ethereum, mientras que los resultados no impugnados evitan costes de prueba. Ambos modelos pueden desplegarse con el SDK de Brevis, formando un marco de seguridad flexible que equilibra determinismo y eficiencia.
Preguntas frecuentes
¿Cuáles son los casos de uso del token BREV?
BREV, como token nativo de utilidad y gobernanza de la red Brevis, tiene tres usos principales: los solicitantes pagan comisiones de pruebas con BREV, los Provers bloquean BREV como colateral de staking para recibir tareas y están sujetos a slashing por incumplimientos, y los holders participan en la gobernanza del protocolo.
¿Cuál es la diferencia entre coChain y ZK puro?
ZK puro se basa únicamente en pruebas criptográficas para la confianza, exigiendo una prueba de conocimiento cero para cada resultado, lo que garantiza máximo determinismo pero implica mayores costes y latencia. coChain añade una capa de incentivos mediante staking y slashing, con propuestas optimistas y un mecanismo de desafío para reducir costes y latencia si no hay impugnaciones.
¿Cómo previene el modelo de seguridad criptoeconómica de coChain la mala conducta de los validadores?
coChain exige que los validadores hagan staking en Ethereum y presenten resultados de computación como propuestas a la cadena solicitante, activando una ventana de desafío. Cualquier usuario puede presentar una prueba de conocimiento cero para impugnar una propuesta defectuosa durante esta ventana; si el desafío prospera, el staking del validador se somete a slashing en Ethereum, desincentivando el comportamiento malicioso.
¿Cuándo se somete a slashing el BREV en staking de un Prover?
Los Provers ponen en staking BREV en ProverNet para obtener tareas de prueba. Si un Prover no cumple el plazo o no entrega una prueba de conocimiento cero válida a tiempo, su BREV en staking se somete a slashing, garantizando la entrega confiable en el mercado descentralizado de pruebas.
