¿En qué se diferencia el modelo "cálculo off-chain y verificación on-chain" de Brevis?

Autor: Blue Fox Notes; Fuente: X, @lanhubiji

Al ver a Vitalik mencionar a Brevis, parece que se le da mucha importancia a la escalabilidad de L1. En la hoja de ruta de Ethereum, hay un concepto: el modo de “cálculo fuera de la cadena y verificación en la cadena”. Eigenlayer, Succinct y Zksync han tenido ideas similares, lo que indica que hay un consenso en la industria. Para realmente escalar L1 de manera descentralizada, se pueden aprovechar las ventajas fuera de la cadena; Brevis también utiliza este modo, entonces, ¿qué tiene de diferente Brevis?

¿Qué es el modelo de “cálculo fuera de la cadena y verificación en la cadena”? Para que más usuarios comunes puedan entenderlo, se puede hacer una comparación simplificada: “cálculo fuera de la cadena y verificación en la cadena” se puede ver como “concentrar” hechos fuera de la cadena (resultados de cálculo o datos) en una prueba o resumen conciso, y luego verificarlo en la cadena. En cierto modo, su pensamiento es similar al de L2 Rollup en un nivel abstracto; L2 Rollup agrupa múltiples transacciones en un lote y lo envía a L1 para su verificación y ejecución. Aunque los mecanismos específicos son diferentes, esto ayuda a entender la filosofía de diseño de ZkVM de Brevis: “concentrar y verificar”. A través de las matemáticas, se comprimen grandes cantidades de trabajo de cálculo fuera de la cadena en pequeñas piezas de información, logrando un procesamiento eficiente en la cadena, que es costoso y tiene un bajo rendimiento, resolviendo así el problema de escalabilidad de la blockchain.

El mecanismo central de Brevis es realizar cálculos eficientes fuera de la cadena, generando pruebas ZK, y luego completar la verificación en la cadena de forma rápida y a bajo costo, sin necesidad de volver a ejecutar todo el cálculo complejo. Esto no es nuevo, pero lo que diferencia a Brevis es:

La combinación de versatilidad y optimización específica

La pila tecnológica de Brevis es un diseño modular, donde Pico zkVM es su motor de cálculo verificable universal, que soporta la generación de pruebas ZK para cualquier cálculo. Los desarrolladores escriben código en Rust, sin necesidad de conocimientos especializados en ZK, la plataforma maneja automáticamente la generación de pruebas, reduciendo la barrera para que los desarrolladores construyan aplicaciones criptográficas complejas (la tecnología abstrae la complejidad de ZK, permitiendo a los desarrolladores construir aplicaciones como si escribieran código normal). Su arquitectura modular soporta la adición de coprocesadores específicos, además de la liquidación general, también puede optimizar cálculos complejos para escenarios específicos, logrando mejoras más específicas.

Tiene un procesador de protocolo integrado llamado ZK Data Coprocessor, diseñado para el análisis de datos históricos de blockchain, que puede resolver el problema de “amnesia” de los contratos inteligentes (la incapacidad de acceder a datos históricos de manera económica). Está en

Búsqueda y análisis de datos fuera de la cadena, proporcionando resultados y pruebas, asegurando la existencia de datos y la corrección de cálculos. Por ejemplo, pancakeswap puede utilizar el gancho Brevis para implementar descuentos en tarifas según el volumen de transacciones de los usuarios; uniswap utiliza Brevis para reembolsos de gas. Ellos logran funciones complejas a través del Procesador de Coprocesamiento de Datos zK mientras ahorran una gran cantidad de costos.

Proporcionar “aceleradores” para Ethereum L1

Pico Prism es una de las tecnologías clave de Brevis, que ha logrado avances en clústeres de GPU de múltiples servidores, admitiendo la “prueba en tiempo real” de Ethereum L1. Esta “prueba en tiempo real” se puede entender como que cada bloque de Ethereum L1 (una página de registros de transacciones) puede ser confirmado como correcto con un “sello” criptográfico en cuestión de segundos, sin que todos tengan que volver a calcular para verificar su confiabilidad.

Según el marco de referencia de pruebas en tiempo real de la Fundación Ethereum, para el bloque L1 actual con un límite de 45M de gas, se logra una cobertura del 99.6% (prueba en <12 segundos) y una cobertura en tiempo real del 96.8% (prueba en <10 segundos); el tiempo medio de prueba para bloques de 36M de gas es de 6.04 segundos, y para bloques de 45M de gas es de 6.9 segundos; el hardware consiste en 64 GPU RTX 5090, con un costo de 128K dólares.

Los datos de arriba parecen muy profesionales, pero para el usuario promedio, estos datos pueden ser irrelevantes.

Para una comprensión sencilla, se puede simplificar la analogía a que Pico Prism es como un acelerador instalado en Ethereum L1. Antes, Ethereum necesitaba que todos los nodos recalcularan cada bloque, pero con tecnologías como Pico Prism, significa que puede “concentrar” (generar rápidamente una prueba, supercomprimir un resumen), permitiendo que la red verifique en solo unos segundos, sin que cada nodo tenga que recalcular. Es decir, esto significa que Ethereum L1 se volverá más rápido, más barato y más eficiente, y podrá manejar implementaciones más complejas, todo sin sacrificar la descentralización y la seguridad. Si el antiguo Ethereum era similar a una bicicleta antigua, con la tecnología Pico Prism de Brevis, Ethereum se ha actualizado a un automóvil.

El efecto de esta aceleración puede desbloquear más escenarios, como el préstamo DeFi impulsado por IA en tiempo real, juegos en cadena, votación anónima, etc.

Escenario DeFi: Antes, los contratos inteligentes en Ethereum L1 solo podían ver el saldo para pedir prestado dinero, sin poder analizar el grado de estabilidad del usuario basado en su historial de transacciones (porque el análisis de grandes volúmenes de datos históricos no era viable). Con este acelerador, se puede soportar el análisis en tiempo real de grandes datos históricos en L1 (prueba en segundos), lo que permite construir un “robot de préstamos AI”. El contrato, basado en el historial de transacciones DeFi del usuario, genera un puntaje crediticio y ofrece tasas de interés personalizadas. Además, para escenarios de alta frecuencia, como los préstamos relámpago, pedir dinero/invertir/pagar se completan en un solo bloque, y la IA optimiza la ruta en tiempo real para evitar pérdidas por “slippage”. Es similar a un Robinhood descentralizado. También puede haber subastas de alta frecuencia, donde se pueden completar cientos o miles de pujas por minuto.

Juegos en la cadena: Antes L1 quería construir un juego multijugador (como Axie Infinity en la cadena), la confirmación de bloques era cada 12 segundos, los jugadores experimentaban retrasos y los costos se disparaban; a través de Pico Prism se apoya un juego “simulado en tiempo real”, el servidor fuera de la cadena calcula daños y otros valores, y cada ronda se utiliza una prueba ZK para liquidar en L1, simulando un juego “en tiempo real” para lograr una mejor experiencia de juego.

Escenarios de votación en una cadena anónima: Actualmente, la votación en L1 es transparente, lo que facilita su rastreo o manipulación, y los costos de estadística compleja son altos y la velocidad es lenta. A través de Pico Prism se logra el “cálculo de privacidad de conocimiento cero”, permitiendo aplicaciones de privacidad de alta frecuencia en L1, lo que puede hacer posible la votación anónima de alta frecuencia para la gobernanza de DAO, con resultados en tiempo real.

¿Qué significa la escena anterior para Ethereum? Puede desbloquear más DeFi y otros escenarios de aplicación, traer más activos al L1, generar más transacciones y liquidez, y aumentar la actividad.

En cuanto a qué escenarios pueden surgir en el futuro, aún necesita ser verificado en la práctica concreta.

Implementación gradual

Según información pública, Brevis se está desplegando gradualmente, generando 147.5 millones de pruebas ZK; con más de 190,000 usuarios independientes; soportando 5 blockchains; y con más de 20 socios principales (como Metamask, Linea, entre otros). Actualmente, está integrado en aplicaciones ya en funcionamiento, como a través de la tecnología de Brevis, la Plataforma Incentra otorga recompensas anuales; PancakeSwap implementa descuentos basados en datos de volumen de transacciones; Linea distribuye 1,000 millones de tokens LINEA basados en la contribución de los usuarios.