Brevis demuestra una solución de prueba de conocimiento cero para la escalabilidad de Ethereum

iconBlockbeats
Compartir
Share IconShare IconShare IconShare IconShare IconShare IconCopy
AI summary iconResumen

expand icon
Brevis, una capa de cálculo verificable, ha demostrado una solución de prueba de conocimiento cero para Ethereum, permitiendo que Ethereum valide bloques sin volver a ejecutar cálculos. En el Devconnect 2025 en Argentina, Justin Drake, investigador de la Fundación Ethereum, presentó un proceso de validación utilizando Pico zkVM de Brevis. Este sistema respalda cálculos fuera de la cadena y verificación en la cadena, lo que podría redefinir las noticias del ecosistema de Ethereum en torno a la escalabilidad. La infraestructura de Brevis incluye el Coprocesador de Datos ZK, Pico zkVM y ProverNet, lo que permite a los contratos inteligentes acceder a datos históricos y realizar cálculos complejos de manera eficiente. En 2025, las mejoras de rendimiento de Pico-GPU y Pico Prism redujeron los tiempos de generación de pruebas. El proyecto ha generado más de 280 millones de pruebas, impulsado $2.5 mil millones en TVL y distribuido $230 millones en recompensas. Proyectos como PancakeSwap Infinity, Usual y Linea han adoptado Brevis para mejorar sus capacidades mientras preservan la descentralización.

En noviembre de 2025, durante Devconnect en Argentina, Justin Drake, investigador de la Fundación Ethereum, demostró un proceso diferente de validación de bloques. Su nodo de validación utilizó el cliente zkLighthouse y, basándose únicamente en pruebas de conocimiento cero proporcionadas por protocolos como Pico zkVM de Brevis, determinó la validez de un bloque. Esto posiblemente marca una dirección futura para la escalabilidad de Ethereum. Demostró algo crucial: las blockchains no tienen que repetir todos los cálculos; basta con verificar pruebas generadas externamente.


1 Brevis es una capa de cálculo verificable utilizada en protocolos y por el núcleo de Ethereum.


2 La posición de Brevis no se limita a una aplicación específica, sino que actúa como una capa de cálculo verificable. Como una Capa de Cálculo Infinita (Infinite Compute Layer), permite la ejecución de cálculos complejos fuera de la cadena y devuelve los resultados a la blockchain mediante pruebas de conocimiento cero, donde los contratos inteligentes pueden verificarlos a un costo muy bajo. Esto es importante porque el modelo de seguridad predeterminado de Ethereum se basa esencialmente en la recalculación completa por parte de toda la red. Cada nodo de validación, al recibir un nuevo bloque, debe volver a ejecutar las transacciones en dicho bloque para confirmar que el resultado de la ejecución es correcto. Aunque esto garantiza la corrección, también significa que el consumo de recursos y poder de cómputo aumenta con la carga. Brevis está transformando este proceso de recálculo obligatorio en un cálculo único con validación por toda la red, realizando el cálculo fuera de la cadena y generando una prueba que solo necesita ser verificada en la blockchain y por los nodos.


3 A diferencia de muchas aplicaciones de zk que se centran únicamente en privacidad o escalabilidad, Brevis aborda problemas estructurales en la industria Web3. ¿Es necesario que el sistema dependa de la ejecución repetida por cada nodo para mantener la confianza cuando los cálculos en la cadena se vuelven más complejos y frecuentes? Brevis propone una solución trasladando los cálculos fuera de la cadena, ejecutándolos en un zkVM que genera pruebas y haciendo que los contratos en la cadena solo verifiquen dichas pruebas. Esto permite que los contratos utilicen de manera confiable datos históricos, estados entre cadenas o resultados de algoritmos complejos sin introducir suposiciones de confianza adicionales. Para lograr este objetivo, las tecnologías clave de Brevis están compuestas por el ZK Data Coprocessor, Pico zkVM y ProverNet.


4 Expandir los límites de los contratos inteligentes: las supercapacidades que aporta el ZK Data Coprocessor.


5 El primer avance técnico de Brevis fue el ZK Data Coprocessor. Permite que los contratos inteligentes consulten cualquier dato histórico en la cadena, realicen cálculos fuera de la cadena y generen pruebas de conocimiento cero para proporcionar resultados de cálculo como entradas confiables a los contratos. El ZK Data Coprocessor puede consultar y calcular datos históricos de transacciones en la cadena o comportamientos de usuarios, generando pruebas de conocimiento cero para que los contratos las verifiquen. Esto hace que los contratos, que antes solo podían acceder al bloque actual, ahora puedan utilizar datos de ventanas temporales más largas y estados entre cadenas.


6 Después de desarrollar un prototipo de Coprocessor en 2023, Brevis iteró hasta lanzar la versión v2 en mainnet en enero de 2025. Los cambios clave en v2, sin entrar en detalles técnicos específicos, pueden resumirse en tres aspectos: más rápido (realización de las mismas tareas con menos recursos y en menos tiempo), más generalizado (cubriendo más tipos de datos y necesidades de cálculo) y más fácil de usar (simplificación de procesos encapsulando la complejidad).


7 Al observar el camino técnico de Brevis hasta 2025, hay una línea clara: primero explorar los límites de rendimiento de los sistemas de pruebas, luego desarrollar el Coprocessor que permite cálculos fuera de la cadena y verificaciones en la cadena, y finalmente iterar en ingeniería para buscar formas de operación más sistemáticas. 8 Lo más destacable es que el equipo combina un profundo conocimiento de criptografía con experiencia en ingeniería de sistemas a gran escala, sin depender únicamente de modelos teóricos. Desde el inicio del proyecto, identificaron puntos críticos en la industria y se comprometieron con la adopción masiva de la tecnología.


9 Cuando la capacidad de prueba entra en el nivel del sistema: Pico zkVM y ProverNet.


10 En 2025, Brevis completó las otras dos piezas clave de su tridente tecnológico. La primera es un motor de ejecución de pruebas más general y orientado a entornos de producción llamado Pico zkVM. La segunda, ProverNet, convierte la generación de pruebas en un suministro abierto y escalable, avanzando del simple hecho de ser demostrable a una generación de pruebas sostenible y a gran escala.


11 Pico zkVM puede entenderse como el motor de pruebas general de Brevis. Lleva las pruebas de conocimiento cero más allá de los circuitos dedicados y adaptados manualmente, hacia un modelo más cercano a la ingeniería de software, donde los desarrolladores escriben lógica en formas familiares y el sistema subyacente la convierte en resultados verificables. Lo más importante es que Pico fue diseñado desde el principio para manejar el rendimiento y los costos de operaciones reales. Bajo un mismo estándar, Brevis demuestra que Pico tiene una clara ventaja de rendimiento en comparación con otros zkVM principales, y además, puede realizar cálculos más eficientes mediante componentes enchufables o coprocesadores.


12 En junio de 2025, Brevis lanzó Pico-GPU, logrando un punto de inflexión clave en la velocidad de generación de pruebas en tiempo real, lo que no solo beneficia a los protocolos, sino a toda la industria. 13 Pico-GPU trasladó sistemáticamente el núcleo del proceso de generación de pruebas al paralelismo en GPUs. Según datos oficiales, se logró una mejora de 10 a 20 veces en comparación con soluciones anteriores, representando un avance cualitativo.


14 El lanzamiento de Pico Prism en octubre llevó esta dirección a un nivel sorprendentemente tangible: con una configuración de 64 GPUs de consumo, se logró que el 99.6% de los bloques de 45M gas de Ethereum fueran probados en 12 segundos, el 96.8% en 10 segundos, con un tiempo medio de prueba de aproximadamente 6.9 segundos, acercándose al objetivo de la Fundación Ethereum. 15 Por primera vez, la velocidad de generación de pruebas en tiempo real se acercó casi a la perfección con la velocidad de creación de bloques de Ethereum, utilizando menos recursos en comparación con las soluciones competidoras.


Esta clase de avances también ha recibido una respuesta directa de la comunidad central de Ethereum. Vitalik mencionó directamente en un tuit que la entrada de Pico Prism en la pista de pruebas ZK-EVM es un paso importante hacia la velocidad y diversidad de las pruebas. En un tuit anterior, Justin Drake evaluó el progreso en pruebas en tiempo real de Pico Prism como algo extraordinario. Cabe señalar que en mayo de este año, SP1 Hypercube necesitó 160 tarjetas RTX 4090 para demostrar aproximadamente el 94% de los bloques L1 en 12 segundos. Este liderazgo abrumador en velocidad de pruebas en tiempo real ha convertido a Pico Prism de Brevis en la solución más destacada.


Tras desarrollar con éxito zkVM universal y tecnología de pruebas en tiempo real, Brevis comenzó a abordar el problema del suministro de pruebas. En noviembre de 2025, Brevis presentó la visión de ProverNet, que busca comercializar las capacidades de prueba, permitiendo que cualquier aplicación presente tareas de prueba y las haga coincidir con nodos prover a través de un mecanismo de subasta. El lanzamiento de la red Beta en diciembre transformó esta visión en un producto funcional, donde el mercado funciona continuamente: las solicitudes de prueba pueden presentarse directamente, los nodos prover pueden registrarse para comenzar a ofertar y las aplicaciones ya no necesitan construir su propia infraestructura de pruebas.


A través de su "triple motor", Brevis convirtió la capacidad de prueba de una herramienta en una infraestructura. Esto incluye un motor de pruebas escalable, una red de suministro de pruebas abierta y la posibilidad de que las aplicaciones obtengan cálculos verificables según sus necesidades. Su impacto no se limita a Ethereum: este paradigma de computación fuera de la cadena y verificación en la cadena se extenderá a todo Web3 e incluso a otras industrias como IA y videojuegos.


Los protocolos no mienten: lo que se usa es lo que cuenta.


El valor técnico de Brevis se refleja finalmente en las aplicaciones reales. No es un concepto mostrado como material de promoción, sino que está integrado en el funcionamiento diario de los protocolos: cómo se obtienen los datos, cómo se calculan los indicadores, cómo se distribuyen las recompensas y cómo se ajustan las tarifas. Estas tareas que antes eran imposibles o dependían de scripts centralizados ahora tienen una solución más protocolaria. En este proceso, Brevis ya ha generado más de 280 millones de pruebas para usuarios, distribuido más de 230 millones de dólares en recompensas y gestionado con seguridad un crecimiento de TVL de 2500 millones de dólares.



La forma más directa de entender Brevis es a través de las transacciones, lo que los usuarios conocen mejor. Brevis permite a los DEX ofrecer funciones similares a los CEX mientras garantiza la privacidad y la veracidad de los datos, mejorando así la experiencia de los usuarios de DEX. PancakeSwap Infinity utiliza hooks para hacer posible tarifas escalonadas, donde el historial de acciones como la tenencia de tokens o el volumen de operaciones afecta la tarifa aplicada en cada transacción. Sin embargo, estos cálculos dependen de la agregación de datos históricos, lo cual es demasiado costoso en la cadena y genera problemas de confianza fuera de ella. Lo que hace Brevis es calcular el historial fuera de la cadena y llevar los datos a la cadena mediante pruebas, permitiendo que las tarifas diferenciadas se escriban directamente en los contratos, en lugar de en scripts de backend como ocurre en los CEX.


Si PancakeSwap representa una experiencia personalizada más parecida a los CEX, Usual muestra un mecanismo de crecimiento a largo plazo, transformando los incentivos de airdrops únicos en CPI continuos. Las recompensas están vinculadas a largo plazo a la tenencia de tokens, las interacciones y otros comportamientos, y Brevis convierte estos indicadores en entradas verificables, automatiza la asignación y permite la auditoría sin necesidad de que la comunidad confíe en hojas operativas o distribuidores centralizados. A través de Incentra, se estandarizó la emisión de recompensas, donde los protocolos pueden distribuir incentivos para LP, préstamos o tenencia usando cálculos fuera de la cadena y liquidaciones basadas en pruebas en la cadena. Un ejemplo es la actividad de Euler en Arbitrum: las recompensas no dependen de estadísticas manuales ni de emisores centralizados, sino de reglas respaldadas por pruebas para una distribución continua.


Al ampliar los escenarios a nivel ecosistémico, el Programa Ignition de Linea ilustra aún mejor el problema. La dificultad no radica sólo en la emisión de incentivos, sino en cómo hacerlo. Brevis permite realizar cálculos masivos de incentivos fuera de la cadena y llevar su verificación a la cadena, transformando los incentivos de acciones operativas centralizadas en capacidades sistemáticas reutilizables. Otro caso similar es el Programa de Reembolsos de Enrutamiento de Uniswap v4. El enrutamiento, el cálculo del consumo de gas y el monto de reembolso dependen de una cadena de datos, cálculos y liquidaciones. Brevis realiza los cálculos fuera de la cadena y genera pruebas para que el sistema de reembolsos se base en reglas y verificación, eliminando la necesidad de confiar en una entidad estadística.


Al observar estos casos en conjunto, las capacidades de Brevis para obtener datos, calcular indicadores y generar pruebas permiten que los protocolos escriban más lógica en la cadena sin sacrificar la descentralización. Esto expande las posibilidades de lo que pueden hacer los protocolos en la industria cripto, reabriendo el espacio de diseño.


¿Quién apoya las tecnologías a largo plazo?


El equipo central de Brevis está formado por investigadores provenientes de instituciones académicas de élite y por ingenieros de sistemas líderes en la industria. Su principal característica es su capacidad para abordar profundamente los sistemas de pruebas y los algoritmos a largo plazo, al mismo tiempo que llevan estas tecnologías complejas al entorno de producción real, refinándolas hasta que la funcionalidad, la estabilidad y los costos alcancen estándares de despliegue escalable. Más importante aún, no son simplemente un equipo académico centrado en tecnología: también tienen un profundo entendimiento de cómo opera la industria cripto. Comprenden las necesidades reales de los protocolos, el ritmo de colaboración ecológica y cuentan con acumulación a largo plazo en términos de capital y comunidad. Esto les permite transformar rutas de ingeniería en relaciones sostenibles de asociación y dinamismo para desarrolladores.


Esto se refleja en el apoyo a largo plazo que recibe Brevis del capital y la comunidad. En noviembre de 2024, Brevis completó su ronda de financiación inicial liderada por instituciones de primera línea como Polychain y Yzi Labs, asegurando fondos para seguir avanzando en zkVM, redes de pruebas y la implementación de productos. Al mismo tiempo, en 2025, la comunidad de Brevis experimentó un crecimiento significativo gracias a iniciativas como Proving Grounds, sistemas de roles y mecanismos de tareas que atrajeron la participación continua de desarrolladores y usuarios. Sumando el respaldo público de Vitalik y el interés de Justin Drake de la Fundación Ethereum en experimentos y debates relacionados, todo esto conforma el respaldo externo y la credibilidad que Brevis necesita para expandirse como infraestructura.


De Ethereum a un mundo más amplio.


La expansión de Ethereum ha estado atrapada durante mucho tiempo en un dilema estructural: o se obliga a todos los nodos a repetir los cálculos para garantizar seguridad y eliminar la necesidad de confianza, pero esto limita el rendimiento y los costos debido a la repetición de cálculos en toda la red; o se externalizan los cálculos para mejorar la eficiencia, pero esto implica confiar adicionalmente en un tercero encargado de realizar los cálculos. Brevis intenta ofrecer una tercera vía: llevar los cálculos complejos fuera de la cadena, luego utilizar pruebas para devolver la confiabilidad y verificar en la cadena, transformando el sistema desde la repetición de cálculos hacia un modelo de división de trabajo que verifica los resultados. Su valor no radica únicamente en un punto de producto específico, sino en desbloquear todo un proceso de cálculo verificable.


Brevis no es la única solución para el problema de expansión de Ethereum, pero demuestra el valor significativo de una capa de cálculo verificable, separando cálculo y verificación, lo que garantiza seguridad y descentralización mientras alivia la presión sobre la ejecución en la cadena. Más importante aún, la función de esta capa de cálculo ilimitado no solo afecta a Ethereum. Para toda la industria criptográfica, esto significa que más aplicaciones en la cadena pueden alcanzar niveles de complejidad y experiencia similares a los de Web2 sin sacrificar la seguridad. En el mundo tradicional más amplio, los cálculos verificables, que primero calculan y luego verifican, ofrecen una nueva forma de colaboración: cuando múltiples partes necesitan compartir resultados pero no pueden compartir confianza, las pruebas pueden convertirse en un lenguaje común. A medida que redes abiertas de pruebas como ProverNet maduren, lo que Brevis construye no será solo una mejora en la capacidad de una cadena específica, sino un suministro de cálculo confiable que puede ser utilizado por múltiples ecosistemas e industrias.



Haz clic para conocer las vacantes de empleo de BlockBeats.


Únete al grupo oficial de la comunidad BlockBeats:

Grupo de suscripción en Telegram: https://t.me/theblockbeats

Grupo de discusión en Telegram: https://t.me/BlockBeats_App

Cuenta oficial de Twitter: https://twitter.com/BlockBeatsAsia

Descargo de responsabilidad: La información contenida en esta página puede proceder de terceros y no refleja necesariamente los puntos de vista u opiniones de KuCoin. Este contenido se proporciona solo con fines informativos generales, sin ninguna representación o garantía de ningún tipo, y tampoco debe interpretarse como asesoramiento financiero o de inversión. KuCoin no es responsable de ningún error u omisión, ni de ningún resultado derivado del uso de esta información. Las inversiones en activos digitales pueden ser arriesgadas. Evalúa con cuidado los riesgos de un producto y tu tolerancia al riesgo en función de tus propias circunstancias financieras. Para más información, consulta nuestras Condiciones de uso y la Declaración de riesgos.