jakiro
Autor: Notas de Blue Fox; Fuente: X, @lanhubiji
Al ver a Vitalik mencionar a Brevis, parece que le da gran importancia a la expansión de L1. En la hoja de ruta de Ethereum, hay un concepto: modelo de «computación fuera de la cadena y verificación dentro de la cadena».Eigenlayer, Succinct y Zksync tienen ideas similares, lo que indica que existe un consenso en la industria de que si realmente se desea descentralizar la expansión L1, se pueden aprovechar las ventajas fuera de la cadena; Brevis solo ha utilizado este modelo, entonces, ¿en qué se diferencia Brevis?
Primero, comprendamos brevemente qué es el modelo de “cálculo fuera de la cadena y verificación dentro de la cadena”. Para que los usuarios más comunes lo comprendan, se puede utilizar una metáfora simplificada.El «cálculo fuera de la cadena y la verificación dentro de la cadena» pueden verse como «condensar» hechos fuera de la cadena (resultados o datos del cálculo) en una prueba o resumen conciso, y luego verificarlos en la cadena.Hasta cierto punto, su idea es similar a L2 Rollup a nivel abstracto. L2 Rollup empaqueta y condensa múltiples transacciones en un lote y las envía a L1 para su verificación y ejecución. Aunque el mecanismo específico es diferente, es útil comprender la filosofía de diseño ZkVM de Brevis: «condensación y verificación».A través de las matemáticas, una gran cantidad de trabajo informático fuera de la cadena se comprime en pequeños fragmentos de información, lo que permite un procesamiento eficiente en cadenas costosas y de bajo rendimiento, resolviendo así el problema de escalabilidad de la cadena de bloques.
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 rápidamente y a bajo costo sin volver a ejecutar todo el cálculo complejo.Esto no es nuevo, lo que hace diferente a Brevis es:
Una combinación de optimización de propósito general y especializada
La pila de tecnología de Brevis es un diseño modular, en el que Pico zkVM es su motor de cálculo universal verificable, que admite la generación de pruebas ZK para cualquier cálculo. Los desarrolladores escriben código en Rust sin experiencia en ZK.La plataforma maneja automáticamente la generación de pruebas, lo que reduce el umbral para que los desarrolladores creen aplicaciones de cifrado complejas (la tecnología abstrae la complejidad de ZK y permite a los desarrolladores crear aplicaciones como escribir código normal).Su arquitectura modular admite la adición de coprocesadores específicos. Además de la liquidación general, también se puede optimizar para cálculos complejos en escenarios específicos para lograr mejoras más específicas.
Tiene un procesador de protocolo incorporado llamado ZK Data Coprocessor, que está diseñado para el análisis de datos históricos de blockchain y puede resolver el problema de la «amnesia» de los contratos inteligentes (la incapacidad de acceder a datos históricos de forma económica).esta en
Recupere y analice datos fuera de la cadena, proporcione resultados y pruebas, y garantice la existencia de los datos y la precisión de los cálculos.Por ejemplo, pancakeswap puede utilizar ganchos Brevis para lograr descuentos en las tarifas según el volumen de transacciones del usuario;uniswap utiliza Brevis para reembolsos de gasolina.Realizan funciones complejas a través del coprocesador de datos zK y ahorran muchos costos.
Proporcionar un «acelerador» para Ethereum L1
Pico Prism es una de las tecnologías clave de Brevis. Ha logrado avances en clústeres de GPU de servidores múltiples y admite la «prueba en tiempo real» de Ethereum L1.Esta «prueba en tiempo real» puede entenderse como cada bloque (una página de registros de transacciones) en Ethereum L1, que puede «sellarse» criptográficamente para confirmar su exactitud en unos pocos segundos.No es necesario volver a calcularlo para verificar si es confiable.
Según el marco de referencia actual del marco de prueba en tiempo real de la Fundación Ethereum, para el bloque L1 actual con un límite de gas de 45 millones, se logra una cobertura del 99,6% (<12 segundos de prueba) y una cobertura en tiempo real del 96,8% (<10 segundos); el tiempo de prueba promedio es de 6,04 segundos para bloques de gas de 36 millones y de 6,9 segundos para bloques de gas de 45 millones; el hardware consta de 64 GPU RTX 5090 y cuesta 128.000 dólares.
Los datos anteriores parecen muy profesionales, pero para los usuarios comunes, estos datos pueden no ser relevantes.
Para facilitar la comprensión, la analogía se puede simplificar como Pico Prism instalando un acelerador para Ethereum L1. En el pasado, Ethereum requería que todos los nodos volvieran a calcular cada bloque al procesar cada bloque.A través de tecnología como Pico Prism, significa que puede «condensarse» (generar rápidamente un resumen supercomprimido de prueba), lo que permite que la red se verifique en solo unos segundos, sin la necesidad de cálculos repetidos por parte de cada nodo.En otras palabras, esto significa que Ethereum L1 será más rápido, más barato, más eficiente y podrá manejar implementaciones más complejas sin sacrificar la descentralización y la seguridad.Si el Ethereum anterior era similar a una bicicleta antigua, con la tecnología Pico Prism de Brevis, Ethereum se ha actualizado para convertirse en 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, votaciones anónimas, etc.
Escenario DeFi: los contratos inteligentes anteriores en Ethereum L1 solo podían pedir prestado dinero en función del saldo y no podían analizar la estabilidad del usuario en función de los datos históricos de transacciones del usuario (porque no se podía realizar un análisis masivo de datos históricos). Con este acelerador, se puede respaldar a L1 para que analice datos históricos masivos en tiempo real (prueba de unos pocos segundos), construyendo así un «robot de préstamos de IA».El contrato calcula una puntuación crediticia basada en el historial de transacciones DeFi del usuario y ofrece una tasa de interés personalizada.Además, para escenarios de alta frecuencia, como préstamos rápidos, pedir prestado/invertir/devolver dinero se completa en un solo bloque, y la IA optimiza el camino en tiempo real para evitar pérdidas por «deslizamiento».Similar al Robinhood descentralizado. También puede haber subastas de alta frecuencia, en las que se pueden completar cientos o miles de ofertas por minuto.
Juegos en cadena: anteriormente, L1 quería crear un juego multijugador (como Axie Infinity en la cadena), pero la confirmación del bloque tomó 12 segundos, los jugadores se quedaron atascados y las tarifas se dispararon;Pico Prism admite juegos «simulados en tiempo real», y los servidores fuera de la cadena calculan el daño y otros valores, y utilizan la prueba ZK para liquidar la liquidación en L1 en cada ronda, simulando juegos «en tiempo real» para lograr una mejor experiencia de juego.
Escenario de votación anónima en cadena: actualmente, la votación L1 es transparente, fácil de rastrear o manipular, y las estadísticas complejas son costosas y lentas.A través de Pico Prism para realizar una «computación de privacidad de conocimiento cero», L1 puede ejecutar aplicaciones de privacidad de alta frecuencia, que pueden realizar votaciones anónimas de alta frecuencia en la gobernanza de DAO y producir resultados en tiempo real.
Lo que el escenario anterior significa para Ethereum es que puede desbloquear más DeFi y otros escenarios de aplicaciones, traer más activos a L1, generar más transacciones y liquidez, y mayor actividad.
En cuanto a qué escenarios se pueden ejecutar en el futuro, aún es necesario probarlos en prácticas específicas.
Implementado gradualmente
Según información pública, Brevis se está implementando gradualmente y se generaron 147,5 millones de certificados ZK; más de 190.000 usuarios independientes; compatible con 5 cadenas de bloques; Más de 20 socios importantes (como Metamask, Linea, etc.) y actualmente está integrado en aplicaciones que ya se están ejecutando, como a través de la tecnología Brevis, la plataforma Incentra emite recompensas anuales; PancakeSwap implementa descuentos basados en el volumen de transacciones y otros datos; Linea distribuye mil millones de LINEA en función de las contribuciones de los usuarios, tokens, etc.
