Uno de los principales desafíos del sector en la actualidad es su limitación inherente de capacidad de computación. Para garantizar la Descentralización y la seguridad, todos los nodos de la red deben ejecutar los mismos cálculos de forma repetida, lo que resulta en altos costos y baja eficiencia.

—————————————————————————

Para resolver esta contradicción, @brevis_zk se posiciona como una capa de cálculo infinito, con el objetivo de proporcionar poder de cálculo a través de un método de cálculo verificable de "cálculo fuera de la cadena, verificación en la cadena", manteniendo al mismo tiempo su seguridad sin necesidad de confianza.

El núcleo de Brevis es "cálculo verificable", que desacopla el proceso de cálculo del proceso de verificación. Las tareas de cálculo intensivo se ejecutan fuera de la cadena y generan una prueba ZK concisa, mientras que el contrato inteligente en la cadena solo necesita validar la corrección de esa prueba a un costo muy bajo, sin necesidad de repetir todo el proceso de cálculo.

En el proceso de implementación, Brevis utiliza principalmente una arquitectura híbrida única, que incluye dos módulos centrales: Pico zkVM y zkCoprocessor.

Pico zkVM (Máquina Virtual de Conocimiento Cero General)

Un motor de cálculo universal que puede generar pruebas ZK para el proceso de ejecución de cualquier programa. Los desarrolladores, incluso si no tienen conocimientos de criptografía, pueden construir un entorno de aplicación ZK. Pico zkVM utiliza un diseño altamente modular, que permite la integración de coprocesadores externos para acelerar tareas específicas.

zkCoprocessor (Procesador de co-datos ZK)

Coprocesador diseñado específicamente para escenarios de datos en blockchain. Los contratos inteligentes no pueden acceder o calcular directamente el estado histórico. zkCoprocessor lee y agrega datos históricos fuera de la cadena (como transacciones de usuarios, saldos, posiciones, etc.) y genera pruebas para comprobar la veracidad de estos datos.

La arquitectura de "zkVM universal + coprocesador dedicado", combinando flexibilidad y alto rendimiento, permite a @brevis_zk manejar de manera eficiente una variedad de tareas, desde el análisis de datos DeFi hasta la verificación de algoritmos complejos.

Con la continua mejora del rendimiento de Pico zkVM y la expansión constante de los escenarios de aplicación de zkCoprocessor, Brevis está avanzando de la escalabilidad a la verificabilidad.