Me tomé mi tiempo para profundizar en Brevis y ver por qué lograron un 99.6% de cobertura de prueba para bloques de Ether en menos de 12 segundos.

descubrió no solo eso, sino también;

> 37.5M+ Pruebas
> 23 dApps integrados
> 69k direcciones únicas
> recaudó $7.5M en una ronda semilla con inversores principales como Polychain Capital, YZi Labs, etc..

Está claro que han tenido un impacto sustancial con su solución, a juzgar por sus inversores.

Vamos a ponernos un poco técnicos y explorar la arquitectura que los impulsa:

➪ Entonces, ¿qué es exactamente Brevis?

Brevis es simplemente una red que permite a los contratos inteligentes verificar y computar datos desde cualquier lugar, utilizando pruebas de conocimiento cero para la verificación sin confianza.

Porque, sin confiar en oráculos, los contratos inteligentes no pueden acceder fácilmente ni computar grandes conjuntos de datos históricos, análisis complejos o datos fuera de la cadena.

Y eso limita DeFi, análisis on-chain, identidad, composabilidad y muchas aplicaciones del mundo real.

Brevis ahora intenta hacerlo permitiendo que las dApps descarguen cálculos pesados a un coprocesador ZK verificable y reciban una prueba criptográfica compacta de que el resultado es correcto.

➪ La Capa de Coprocesador ZK

Las capas de coprocesador ZK de Brevis actúan como un cerebro paralelo para las cadenas de bloques, manejando lógica compleja fuera de la cadena y luego regresando pruebas que pueden ser verificadas en la cadena.

Cómo interactúan las capas

1. Smart Contract: El contrato no calcula ni obtiene datos por sí mismo, sino que envía una consulta.

Por ejemplo,

“¿Cuál es el volumen de comercio de esta billetera en 5 cadenas?”

delegar la tarea al coprocesador.

2. Generación de Prueba: El coprocesador obtiene datos, realiza los cálculos pesados fuera de la cadena y genera una prueba de conocimiento cero que muestra que el cálculo fue correcto, sin revelar datos sensibles.

3. Datos entre cadenas:
A través de zkFabric, Brevis accede a raíces de estado verificadas de múltiples cadenas, asegurando que la computación se base en un historial en cadena auténtico, no en APIs o puentes de confianza.

4. Salida verificada: El coprocessor devuelve una prueba compacta + resultado al contrato inteligente.

El contrato verifica la prueba en la cadena, confiando instantáneamente en el resultado sin rehacer el cálculo.

➪ Sus Componentes Principales

1. Pico (zkVM) → El cerebro: hace que cualquier cálculo sea verificable.

2. Capa de coprocesador ZK → La memoria: proporciona a los contratos inteligentes conciencia histórica y entre cadenas.

3. zkFabric → El asesino de puentes: reemplaza multisigs y relayers con pura criptografía.

4. Red de Proveedores + Agregación → descentraliza la prueba, comprime miles de pruebas en una, y mantiene la verificación en cadena barata.

Eso será todo por ahora, nos vemos en la próxima.