Brevis: Inicia la era de cálculo ilimitado en blockchain

Brevis: desbloqueando la era de cálculo ilimitado en blockchain

Autor original:律动BlockBeats

Fuente original:

Reproducción: 火星财经

En noviembre de 2025, en Devconnect Argentina, el investigador de la Fundación Ethereum Justin Drake demostró un proceso de validación de bloques diferente, en el que su nodo de validación utilizaba el cliente zkLighthouse, completando la validación de la validez del bloque únicamente con pruebas de conocimiento cero de protocolos como Pico zkVM de Brevis. Esto probablemente marque la dirección futura de la escalabilidad de Ethereum. Demuestra una cosa: la cadena de bloques no necesita ejecutar todos los cálculos repetidamente, basta con verificar las pruebas generadas externamente.

¿Qué es Brevis? La capa de cálculo verificable que está siendo adoptada por protocolos y el núcleo de Ethereum

El enfoque de Brevis no es solo una aplicación concreta, sino una capa de cálculo verificable. Como capa de cálculo infinito (Infinite Compute Layer), permite que cálculos complejos se realicen fuera de la cadena y que los resultados se traigan a la cadena mediante pruebas de conocimiento cero, siendo verificados por contratos inteligentes a un costo muy bajo. Esto es importante porque el modelo de seguridad predeterminado de Ethereum depende esencialmente de recalcular toda la red: cada nodo de validación, al recibir un nuevo bloque, suele volver a ejecutar las transacciones para confirmar que el resultado de la ejecución es correcto. Aunque esto garantiza la precisión, también implica que la potencia de cálculo y los recursos consumidos aumentan con la carga. Brevis está reescribiendo esta parte del cálculo pesado, de modo que se realiza una sola vez, y toda la red verifica esa prueba, realizando el cálculo fuera de la cadena y generando la prueba, mientras que en la cadena y los nodos solo se verifica una prueba muy pequeña.

A diferencia de muchas aplicaciones zk que solo se centran en la privacidad o en la escalabilidad, Brevis aborda problemas estructurales en la industria Web3. Cuando los cálculos en la cadena se vuelven cada vez más complejos y frecuentes, ¿es necesario que cada nodo repita toda la ejecución para mantener la confianza? La estrategia de Brevis es trasladar el cálculo fuera de la cadena, que lo ejecute zkVM y genere la prueba, y que los contratos en la cadena solo verifiquen esa prueba, permitiendo que los contratos puedan confiar en datos históricos, estados entre cadenas o resultados de algoritmos complejos, sin introducir hipótesis de confianza adicionales. Para lograr esto, actualmente, ZK Data Coprocessor, Pico zkVM y ProverNet conforman sus tres principales tecnologías clave.

Superando los límites de los contratos inteligentes: el superpoder que trae ZK Data Coprocessor

El primer avance técnico de Brevis fue ZK Data Coprocessor. Permite que los contratos inteligentes consulten datos históricos en la cadena, realicen cálculos fuera de la cadena y generen pruebas de conocimiento cero, proporcionando resultados confiables como entrada para los contratos. ZK Data Coprocessor puede consultar y calcular el volumen de transacciones históricas o comportamientos de usuarios en la cadena, y generar pruebas de conocimiento cero para que los contratos las verifiquen. Esto permite que contratos que originalmente solo podían acceder a los datos del bloque actual, ahora puedan usar datos de ventanas temporales largas y estados entre cadenas.

Tras la creación del prototipo de Coprocessor en 2023, Brevis continuó iterando hasta lanzar la versión 2 en enero de 2025 y ponerla en la red principal. Los cambios clave de v2, sin preocuparse por el nombre del sistema de pruebas específico, se pueden resumir en tres puntos: más rápido (misma tarea con menos recursos y en menos tiempo), más versátil (cubrir más tipos de datos y cálculos), y más fácil de usar (simplificar el proceso, encapsular la complejidad).

Mirando atrás a la hoja de ruta técnica de Brevis antes de 2025, en realidad seguía una línea principal: primero entender los límites de rendimiento del sistema de pruebas, luego convertir el cálculo fuera de la cadena y la verificación en un Coprocessor usable, y continuar con iteraciones de ingeniería, explorando formas más sistemáticas de operación. Lo que también destaca es la base del equipo: conocen la criptografía y la ingeniería de sistemas a gran escala, no solo con teoría en papel, sino con experiencia práctica. Desde el inicio, identificaron los puntos débiles de la industria y se comprometieron a una adopción tecnológica a gran escala.

Cuando la capacidad de prueba entra en la capa de sistema: Pico zkVM y ProverNet

En 2025, Brevis completó otras dos piezas clave de sus tres pilares: por un lado, el motor de ejecución de pruebas más versátil y orientado a producción, Pico zkVM; por otro, ProverNet, una red de pruebas abierta y escalable para la generación de pruebas, que pasa de ser una capacidad demostrable a una oferta continua y a gran escala.

Pico zkVM puede entenderse como el motor de pruebas general de Brevis. Lleva las pruebas de conocimiento cero desde circuitos especializados y adaptaciones manuales a una forma más parecida a la ingeniería de software: los desarrolladores escriben lógica con métodos familiares, y la capa inferior la convierte en resultados verificables. Lo más importante es que Pico, desde el principio, está orientado a la capacidad de procesamiento y costos en escenarios reales de negocio. Bajo los mismos estándares, las comparaciones muestran que Pico tiene ventajas de rendimiento claras frente a zkVMs convencionales, además de poder hacer cálculos específicos más eficientes mediante componentes o coprocesadores plug-in.

En junio de 2025, Brevis lanzó Pico-GPU, llevando la generación de pruebas en tiempo real a un punto crítico, no solo para el protocolo, sino para toda la industria. Pico-GPU traslada de forma sistemática el proceso central de generación de pruebas a GPUs en paralelo, logrando una mejora reportada de 10 a 20 veces, un salto cualitativo respecto a soluciones anteriores.

En octubre, lanzaron Pico Prism, que lleva esta dirección a un umbral muy directo: en una configuración de 64 GPUs de consumo, logra que un bloque de Ethereum de 45 millones de gas tenga el 99.6% de las pruebas en 12 segundos, y el 96.8% en 10 segundos, con un tiempo medio de prueba de aproximadamente 6.9 segundos, acercándose mucho a la meta de la Fundación Ethereum. La velocidad de generación en tiempo real casi iguala por primera vez la velocidad de producción de bloques de Ethereum, y en comparación con competidores, usa menos recursos.

Estos avances también recibieron respuestas directas de la comunidad principal de Ethereum. Vitalik mencionó en un tuit que la entrada de Pico Prism en la carrera de pruebas ZK-EVM es un paso importante para la velocidad y diversidad de pruebas. Justin Drake, en un tuit anterior, calificó con claridad el progreso de Pico Prism en pruebas en tiempo real como extraordinario: en mayo de ese año, SP1 Hypercube necesitaba 160 RTX 4090 para probar aproximadamente el 94% de los bloques L1 en 12 segundos. La velocidad de prueba en tiempo real, con esta diferencia abismal, hace que Pico Prism de Brevis sea la solución más destacada.

Tras desarrollar con éxito una zkVM general y tecnología de pruebas en tiempo real, Brevis comenzó a abordar el problema del suministro de pruebas. En noviembre de 2025, anunció la visión de ProverNet, un mercado para la oferta de pruebas, donde cualquier aplicación puede enviar tareas de prueba y, mediante subastas, encontrar nodos probadores en el mercado. En diciembre, la red principal en beta se lanzó como producto usable, permitiendo que el mercado funcione continuamente, las solicitudes de prueba se envíen directamente, y los probadores puedan registrarse y comenzar a pujar por trabajos, eliminando la necesidad de que las aplicaciones construyan su propia infraestructura de pruebas.

Con estos tres pilares, Brevis transforma la capacidad de prueba de una herramienta a una infraestructura, con motores de prueba escalables y redes abiertas de suministro de pruebas, permitiendo a las aplicaciones acceder a cálculos verificables según sus necesidades. Su significado no solo es para Ethereum: este paradigma de cálculo fuera de la cadena y verificación en la cadena se extenderá a toda Web3, e incluso a otros sectores como IA y juegos.

El protocolo no miente: lo que importa es que funcione

El valor técnico de Brevis se refleja finalmente en aplicaciones reales. No es solo un concepto para mostrar en materiales promocionales, sino que se integra en el funcionamiento diario del protocolo: cómo se obtienen los datos, cómo se calculan los indicadores, cómo se distribuyen las recompensas, cómo se ajustan las tarifas. Estas tareas que antes no se podían hacer o solo mediante scripts centralizados, ahora siguen un camino más protocolizado. En este proceso, Brevis ya ha generado más de 280 millones de pruebas, distribuido más de 230 millones de dólares en recompensas y ha impulsado de forma segura un crecimiento de TVL de 25 mil millones de dólares.

La forma más sencilla de entender Brevis es a través de las transacciones que los usuarios conocen mejor. Brevis puede, garantizando la privacidad y la veracidad de los datos, dotar a los DEX de funciones similares a las de los CEX, mejorando la experiencia de los usuarios en intercambios descentralizados. PancakeSwap Infinity, mediante hooks, permite tarifas escalonadas, donde comportamientos históricos como la tenencia de tokens o volumen de transacciones afectan la tarifa de una operación. Pero estas decisiones dependen de datos históricos agregados, que son caros en la cadena o generan confianza si se hacen fuera de ella. Brevis hace lo que antes no podía: calcula fuera de la cadena los comportamientos históricos, y luego usa pruebas para traer los datos a la cadena, permitiendo que las tarifas diferenciadas se escriban en contratos, en lugar de en scripts internos como en los CEX.

Si PancakeSwap representa una experiencia más parecida a un CEX, Usual muestra un mecanismo de crecimiento a largo plazo, transformando las recompensas de un solo airdrop en un CPI continuo. Las recompensas y comportamientos como la tenencia y la interacción se vinculan a largo plazo, y Brevis convierte estos indicadores en entradas verificables, automatizando y auditando la distribución, sin que la comunidad tenga que confiar en tablas de operación o emisores centralizados. A través de Incentra, la emisión de recompensas se estandariza, y los protocolos que quieren distribuir LP, préstamos o recompensas por tenencia, dependen de cálculos fuera de la cadena y liquidaciones verificadas en la cadena. La actividad de Euler en Arbitrum es un ejemplo: las recompensas no se distribuyen manualmente ni mediante multisig, sino mediante reglas y pruebas que soportan una distribución continua.

Cuando estos escenarios se expanden a nivel de ecosistema, programas como Ignition de Linea ilustran aún más el punto: el desafío no es solo emitir incentivos, sino cómo hacerlo. Brevis permite que los cálculos masivos de incentivos se hagan fuera de la cadena, y que la confianza se traiga de vuelta a la verificación en la cadena, llevando los incentivos de operaciones centralizadas a capacidades de sistema reutilizables. De forma similar, el programa de reembolso de routing en Uniswap v4 también es un ejemplo: si se realiza enrutamiento, cómo se calcula el consumo de gas, cómo se calcula la devolución, todo en una cadena de datos, cálculos y liquidaciones. Brevis asume el cálculo y la generación de pruebas fuera de la cadena, permitiendo que el sistema de reembolsos funcione basado en reglas y verificaciones, en lugar de confiar en un tercero de confianza.

Al juntar estos casos, la obtención de datos, el cálculo de indicadores y la generación de pruebas de Brevis permiten que los protocolos, sin sacrificar la descentralización, puedan trasladar muchas lógicas que antes solo estaban en sistemas centralizados a la cadena. La industria de las criptomonedas puede hacer más, y el espacio de diseño se vuelve a abrir.

¿Quién apoya la tecnología a largo plazo?

El equipo central de Brevis está formado por investigadores de universidades de élite y ingenieros de sistemas de primera línea. Tienen un perfil distintivo: pueden abordar a largo plazo los sistemas de prueba y algoritmos, y también integrar tecnologías complejas en entornos productivos, perfeccionando rendimiento, estabilidad y costos hasta alcanzar estándares de despliegue escalable. Más importante aún, no son solo un equipo de laboratorio con conocimientos técnicos: conocen bien cómo funciona la industria de las criptomonedas, entienden las necesidades reales de los protocolos, el ritmo de colaboración en el ecosistema, y también tienen experiencia en capital y comunidad, capaces de convertir la hoja de ruta técnica en relaciones de colaboración y en impulsores de desarrolladores.

Esto se refleja en el apoyo a largo plazo de capital y comunidad a Brevis. En noviembre de 2024, completaron una ronda semilla liderada por Polychain y Yzi Labs, entre otras instituciones de primera línea, que les proporciona fondos para seguir desarrollando zkVM, redes de pruebas y productos. Al mismo tiempo, la comunidad de Brevis creció notablemente en 2025, con iniciativas como Proving Grounds, sistemas de roles y mecanismos de tareas que atraen a desarrolladores y usuarios. Sumando el reconocimiento público de Vitalik y la atención de Justin Drake en la Fundación Ethereum en discusiones y experimentos, estos factores constituyen un respaldo externo y una confianza en la expansión de Brevis como infraestructura.

De Ethereum a un mundo más amplio

La escalabilidad de Ethereum ha estado atrapada en un dilema estructural: o todos los nodos repiten cálculos para mantener la seguridad y la confianza, con un rendimiento y costo limitados por la recalculación global; o externalizan los cálculos para mejorar la eficiencia, pero deben confiar en un tercero. Brevis intenta ofrecer una tercera vía: realizar cálculos complejos fuera de la cadena, y traer la confianza de vuelta mediante pruebas verificables, avanzando desde la recalculación repetida hacia una división del trabajo en la verificación de resultados. Su valor no reside en un producto específico, sino en conectar toda la cadena de cálculo verificable.

Brevis no es la única solución para la escalabilidad de Ethereum, pero demuestra el valor de una capa de cálculo verificable, desacoplando cálculo y verificación, garantizando seguridad y descentralización, y liberando la carga en la ejecución en la cadena. Más importante aún, el potencial de la capa de cálculo ilimitado no solo se limita a Ethereum. Para toda la industria cripto, significa que más aplicaciones en la cadena pueden operar sin sacrificar seguridad, alcanzando una experiencia y complejidad similares a Web2; y en un contexto más amplio, el cálculo verificable posterior a la computación ofrece una nueva forma de colaboración: cuando varias partes necesitan compartir resultados sin poder compartir confianza, la prueba puede convertirse en un lenguaje universal. A medida que redes abiertas de pruebas como ProverNet maduren, lo que Brevis construye no será solo la capacidad de una cadena, sino una oferta de cálculo confiable interoperable entre ecosistemas y sectores.