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

Autor: Lan Hu Biji; Fuente: X, @lanhubiji

Al ver a Vitalik mencionar a Brevis, parece que se da mucha importancia a la escalabilidad de L1. En la hoja de ruta de Ethereum, hay un concepto: el modelo 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 modelo, entonces, ¿qué hace a Brevis diferente?

¿Cómo entender de manera sencilla 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” puede considerarse como “concentrar” hechos fuera de la cadena (resultados de cálculos o datos) en una prueba o resumen conciso, y luego verificarlo en la cadena. En cierto sentido, su enfoque es similar al de los L2 Rollup en un nivel abstracto, ya que los L2 Rollup agrupan múltiples transacciones en un lote y lo envían a L1 para su verificación y ejecución. Aunque los mecanismos específicos son diferentes, esto ayuda a comprender la filosofía de diseño de ZkVM de Brevis: “concentrar y verificar”. A través de las matemáticas, se comprime una gran cantidad de trabajo de cálculo fuera de la cadena en pequeños bloques de información, permitiendo un procesamiento eficiente en la cadena, que es costosa y tiene un bajo rendimiento, y así resolviendo el problema de escalabilidad de blockchain.

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

Combinación de versatilidad y optimización específica

La pila tecnológica de Brevis es de diseño modular, donde Pico zkVM es su motor de computación 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 permite agregar 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 dirigidas.

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 (incapacidad para acceder de manera económica a los datos históricos). Está en

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

Proporcionar un “acelerador” 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, apoyando 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 en cuestión de segundos mediante un “sellado” criptográfico, sin que todos tengan que recalcular y verificar su fiabilidad.

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

Los datos anteriores parecen muy profesionales, pero para un usuario promedio, estos datos pueden ser indiferentes.

Para una comprensión simple, se puede simplificar la analogía diciendo que Pico Prism es un acelerador instalado en Ethereum L1. Anteriormente, Ethereum necesitaba que todos los nodos recalcularan cada bloque, pero con una tecnología como Pico Prism, significa que puede “concentrar” (generar rápidamente una prueba, comprimir el resumen de manera super eficiente), lo que permite que la red valide en solo unos segundos, sin que cada nodo tenga que recalcular. En otras palabras, 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, 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 ha evolucionado a un automóvil.

Este efecto de aceleración puede desbloquear más escenarios, como préstamos DeFi impulsados por IA en tiempo real, juegos en cadena, votación anónima, etc.

Escenario DeFi: En el antiguo L1 de Ethereum, los contratos inteligentes solo podían ver el saldo para pedir prestado, sin poder analizar la solidez del usuario según sus datos de transacciones históricas (porque el análisis de grandes volúmenes de datos históricos no era posible). Con este acelerador, se puede soportar el análisis en tiempo real de grandes volúmenes de datos históricos en L1 (con pruebas 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 de crédito, ofreciendo tasas de interés personalizadas. Además, para escenarios de alta frecuencia, como los préstamos relámpago, pedir prestado/invertir/pagar se realizan en un solo bloque, y la AI optimiza la ruta en tiempo real, evitando 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 cadena: anteriormente, L1 quería construir un juego multijugador (como Axie Infinity en cadena), con confirmación de bloque cada 12 segundos, lo que causaba retrasos en los jugadores y un aumento de los costos; a través de Pico Prism se apoya el “juego simulado en tiempo real”, donde un servidor fuera de la cadena calcula el daño y otros valores, y cada ronda se liquida en L1 con una prueba ZK, simulando un juego “en tiempo real” para lograr una mejor experiencia de juego.

Escenario de votación anónima en la cadena: actualmente, la votación en L1 es transparente, fácil de rastrear o manipular, y el costo de estadística compleja es alto y la velocidad es lenta. A través de Pico Prism se logra “cálculo de privacidad de conocimiento cero”, ejecutando aplicaciones de privacidad de alta frecuencia en L1, lo que permite votaciones anónimas 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 a la sedimentación de L1, generar más transacciones y liquidez, y una mayor actividad.

En cuanto a qué escenarios podrán surgir en el futuro, aún es necesario verificarlo en la práctica concreta.

Implementación gradual

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