Brevis está intentando abordar un viejo problema en Web3 desde una dirección interesante: la computación en la cadena es demasiado cara.

Este proyecto se posiciona como la "capa de computación infinita en Web3", con una idea central bastante sencilla: mover los cálculos fuera de la cadena y luego usar pruebas de conocimiento cero para verificar los resultados en la chain. De esta forma, se puede reducir el costo sin sacrificar la seguridad.

Para ser más específico, los puntos problemáticos que Brevis busca resolver incluyen tres áreas. Primero, ejecutar lógica compleja en la chain requiere gastar Gas, lo cual es extremadamente costoso. Segundo, que los contratos inteligentes accedan a datos históricos o datos entre cadenas es muy difícil, y generalmente dependen de oráculos o servicios de indexación centralizados, lo que introduce riesgos de confianza. Tercero, las soluciones existentes no son lo suficientemente flexibles y dificultan el soporte para aplicaciones DeFi basadas en datos, validaciones entre cadenas o IA verificable, entre otros escenarios avanzados.

Desde un punto de vista técnico, la base de Brevis está compuesta por dos componentes clave. Uno es Pico zkVM, una máquina virtual de conocimiento cero universal, que adopta un diseño arquitectónico de "co-procesador de pegamento". Puede manejar cálculos convencionales mediante flujos de trabajo universales y también incluye circuitos aceleradores dedicados para escenarios específicos, soportando lenguajes de programación principales. Lo más interesante es que han lanzado Pico-GPU, que puede acelerar la generación de pruebas en 10 a 20 veces, lo cual es crucial para el rendimiento en producción y el control de costos.

El otro componente es ProverNet, una red descentralizada de generadores de pruebas. Esta red utiliza un mecanismo de subasta TODA para distribuir las solicitudes de cálculo, ofreciendo una capacidad de cómputo escalable para pruebas, especialmente adecuada para escenarios multi-cadena y altas demandas de concurrencia.

En cuanto a la facilidad para desarrolladores, Brevis ha diseñado un SDK programable, donde el proceso de integración consta de solo tres pasos: acceso a datos, cálculo fuera de la cadena y verificación en la chain. Esto significa que los desarrolladores no necesitan tener conocimientos profundos en criptografía para integrar rápidamente capacidades ZK en sus aplicaciones.

El proyecto en sí también muestra varias ventajas evidentes. A nivel técnico, el rendimiento de Pico zkVM supera a productos similares líderes en el mercado, y su arquitectura modular permite adaptarse a diferentes necesidades comerciales. En términos de funcionalidad, los desarrolladores pueden acceder de forma segura a datos históricos completos de múltiples cadenas, soportar cálculos complejos y validaciones entre cadenas, desbloqueando así muchos escenarios que antes eran difíciles de realizar. En la fase de implementación, una experiencia de desarrollo simplificada reduce significativamente los costos y barreras para las aplicaciones ZK.

Si esta solución logra implementarse con éxito, en teoría, podría abrir muchas posibilidades para DeFi, ecosistemas entre cadenas y razonamiento de IA en la cadena.