Entrevista exclusiva con el CEO de Brevis, Michael: la expansión con zkVM es mucho más eficiente que con L2

En un entorno de hardware de consumo, 64 GPU completaron el 99,6% de las pruebas de bloques L1 en 12 segundos—Pico Prism, la máquina virtual de conocimiento cero (zkVM) multi-GPU lanzada por Brevis, ha logrado un gran avance en el rendimiento.

Este hito también ha atraído una gran atención de la comunidad central de Ethereum. Vitalik Buterin, fundador de Ethereum, comentó públicamente: "Me alegra ver que Pico Prism de Brevis entra oficialmente en el campo de la verificación ZK-EVM. Es un paso importante para la velocidad y diversidad de las pruebas ZK-EVM".

“Los datos hablan por sí solos.” Michael, cofundador y CEO de Brevis, afirmó: “Hemos construido una infraestructura capaz de manejar la producción de bloques en tiempo real de Ethereum, utilizando hardware de consumo. Este rendimiento es la mejor respuesta al objetivo de descentralización de Ethereum”.

Michael, cofundador y CEO de Brevis—doctor en Ciencias de la Computación por la UIUC, experto en sistemas distribuidos y redes de alto rendimiento—ha emprendido varias veces en Silicon Valley con éxito, y sus investigaciones han sido adoptadas por muchas empresas tecnológicas, incluyendo Google. En 2018, fundó Celer Network (con un valor máximo de más de 2 mil millones de dólares). Ahora, lidera al equipo de Brevis para combinar pruebas de conocimiento cero con computación verificable, con la esperanza de crear una infraestructura que realmente pueda soportar las necesidades de computación a gran escala del ecosistema de Ethereum.

Para comprender mejor cómo Brevis logró este avance y lo que significa para el ecosistema de Ethereum, BlockBeats conversó en profundidad con Michael, cofundador y CEO de Brevis.

Exploramos tres cuestiones clave:

·La misión y posicionamiento de Brevis

·El valor práctico que la computación verificable puede aportar a las aplicaciones

·Los próximos pasos de Brevis en su alineación profunda con el ecosistema de Ethereum

Esto no es solo una conversación sobre tecnología, sino también una reflexión prospectiva sobre la confianza en la computación del futuro.

¿Qué es Brevis?: De la visión al posicionamiento

BlockBeats: ¿Podría presentarnos Brevis en palabras sencillas? ¿Qué tipo de proyecto es y qué problema busca resolver?

Michael:Posicionamos a Brevis como una Capa de Computación Infinita (Infinite Computing Layer), que sirve tanto a Web3 como a escenarios de aplicación más amplios. El objetivo principal es proporcionar a las aplicaciones on-chain una capacidad de cómputo casi infinita, manteniendo la descentralización y la seguridad, y resolver la contradicción estructural de largo plazo entre alto rendimiento/funcionalidad compleja y la minimización de la confianza. Aunque la expansión L2 ha mejorado significativamente el rendimiento en los últimos años, sigue habiendo limitaciones para cálculos complejos (como procesamiento de grandes volúmenes de datos históricos, agregación cross-chain, inferencia algorítmica/IA, etc.), lo que dificulta la implementación de muchas funciones avanzadas.

La solución de Brevis es computación off-chain y verificación on-chain. El cálculo pesado se traslada fuera de la cadena y se genera una prueba de conocimiento cero (ZK Proof); el contrato on-chain solo necesita verificar la validez de la prueba a un costo muy bajo, sin necesidad de repetir todo el cálculo. Así, el contrato obtiene una especie de “plugin” garantizado criptográficamente, expandiendo significativamente la capacidad y los límites funcionales sin sacrificar la descentralización ni la seguridad. Actualmente, los contratos inteligentes no son realmente inteligentes, pero con Brevis, pueden volverse verdaderamente inteligentes.

BlockBeats: Brevis es llamado la capa de computación infinita de Web3. ¿De dónde surge este concepto? ¿En qué se diferencia esencialmente de la computación o escalabilidad tradicional on-chain?

Michael:Llamamos a Brevis la capa de computación infinita de Web3 porque su objetivo es romper el límite de cómputo de la blockchain. Las soluciones de escalabilidad tradicionales (como Layer 2 Rollup) mejoran principalmente el rendimiento de las transacciones, pasando de decenas de TPS a cientos o miles de TPS, pero aún existe un techo y no resuelven si cualquier cálculo complejo puede realizarse on-chain: normalmente, la cadena solo puede manejar transacciones y operaciones de contrato relativamente simples. Cuando la complejidad del cálculo aumenta, la cadena no puede modelarlo ni soportarlo, por ejemplo, en el procesamiento de grandes volúmenes de datos, inferencia de IA o algoritmos complejos.

El punto de partida de Brevis es diferente: no solo queremos que ciertos tipos de transacciones sean más rápidas, sino que la blockchain pueda aceptar y soportar el resultado de cualquier cálculo, manteniendo la seguridad y la ausencia de confianza. Esto corresponde a un nuevo paradigma de computación verificable (Verifiable Computing): siempre que el cálculo off-chain pueda producir una prueba matemática de conocimiento cero, la cadena puede confirmar su validez y seguridad a un costo muy bajo.

Para los desarrolladores, Brevis es como una nube de computación verificable: pueden escalar la capacidad de cómputo bajo demanda como en la computación en la nube, realizar cálculos complejos off-chain y luego enviar la prueba para verificación on-chain, manteniendo el mismo modelo de seguridad y confianza que los contratos on-chain nativos. Por eso definimos a Brevis como la capa de computación infinita: ofrece un espacio de cálculo casi ilimitado en términos de rendimiento y usabilidad, y mantiene la misma confianza y seguridad que la blockchain.

BlockBeats: La computación verificable (Verifiable Computing) suena abstracta. ¿Puede explicar de forma más intuitiva su función en Brevis?

Michael:La limitación fundamental de la blockchain es que, al garantizar la seguridad y la ausencia de confianza, la capacidad de cómputo es limitada. Ethereum y otras cadenas públicas son sistemas de consenso, donde muchos nodos de la red calculan la misma transacción o ejecución de contrato por separado y, tras llegar a un acuerdo, producen un nuevo bloque. Este mecanismo es seguro pero ineficiente, similar a que toda la clase resuelva el mismo problema desde cero para confirmar la respuesta.

La idea de la computación verificable es desacoplar el cálculo y la verificación, reduciendo el coste de la repetición. Por ejemplo, para el problema de gallinas y conejos en una jaula: resolverlo requiere plantear ecuaciones y deducir, pero verificar si una respuesta dada es correcta solo requiere sustituir los valores en la ecuación, lo cual es mucho más barato que resolverlo de nuevo. El cálculo y la verificación son problemas diferentes en teoría de la computación, siendo el segundo generalmente más ligero. Las pruebas de conocimiento cero lo extienden a cualquier cálculo, desde operaciones simples como 1+1=2 hasta inferencias de modelos grandes, permitiendo generar una prueba concisa tras el cálculo para que otros puedan verificar rápidamente y a bajo costo, sin revelar detalles del cálculo.

En Brevis, los cálculos pesados se ejecutan off-chain y generan una ZK Proof; on-chain solo se verifica la prueba, sin repetir todo el cálculo. Este es el valor central de la computación verificable: al separar completamente el cálculo y la verificación, se ahorra enormemente el coste de repetir el mismo objetivo innumerables veces.

¿Por qué hacerlo así?: Arquitectura técnica y enfoque central

BlockBeats: A nivel técnico, Brevis consta de dos módulos principales: ZK Data Coprocessor (en adelante zkCoprocessor) y Pico zkVM. ¿Cuál es la relación entre ambos? ¿Qué problemas resuelve cada uno?

Michael:Se puede entender Brevis como una estructura en capas: la base, Pico zkVM, es un motor de cómputo general (Virtual Machine), al que se le puede encargar cualquier cálculo y generar una zk Proof; una de sus características clave es la alta modularidad, permitiendo conectar múltiples coprocesadores. zkCoprocessor es el coprocesador orientado a escenarios de datos blockchain, que puede verse como un plugin o extensión. Actualmente, zkCoprocessor funciona como el sistema de memoria de zkVM, permitiendo que los contratos inteligentes vean y comprendan lo que ha ocurrido históricamente en la cadena (como transacciones de usuarios, saldos, posiciones, etc.).

En concreto, zkVM resuelve el problema general de hacer verificable cualquier cálculo; zkCoprocessor es un coprocesador de aplicación personalizado para blockchain. Los contratos inteligentes viven “en el presente”, solo pueden acceder al contexto limitado del bloque actual y no pueden leer ni calcular directamente estados históricos o cross-chain de largo plazo; zkCoprocessor, mediante pruebas de conocimiento cero, “da ojos” a los contratos, permitiéndoles recuperar y resumir datos históricos relevantes off-chain y generar pruebas de que estos datos son auténticos y provienen del estado on-chain, dotando a los contratos de memoria e inteligencia basada en memoria, manteniendo la minimización de la confianza.

BlockBeats: zkCoprocessor permite que los contratos inteligentes “vean el pasado”, lo cual suena revolucionario. ¿Puede explicar cómo lo logran?

Michael:Pongamos como ejemplo el descuento dinámico de comisiones basado en el volumen histórico de operaciones en PancakeSwap:

Primero, zkCoprocessor lee el historial de transacciones del usuario en la blockchain, resume el volumen de operaciones según las reglas (por ejemplo, los últimos 30 días) y genera una prueba de conocimiento cero;

Luego, Pico zkVM, tras recibir el registro verificado, realiza una agregación y cálculo adicional (por ejemplo, combinar el volumen de diferentes pares de trading en un solo indicador) y genera una prueba del proceso de cálculo;

Finalmente, el resultado + la prueba se envían on-chain, y el contrato verifica ambas pruebas de una vez para confirmar si la dirección ha alcanzado el umbral VIP y aplicar automáticamente el descuento de tarifas en el siguiente ciclo de liquidación.

De este modo, el contrato no necesita leer ni calcular repetidamente grandes volúmenes de datos históricos on-chain, obteniendo la capacidad de “ver el pasado” y manteniendo la ausencia de confianza y el control de costes.

BlockBeats: Ustedes desarrollaron Pico zkVM en lugar de adoptar soluciones de otros proyectos zkVM. ¿Por qué? ¿En qué se diferencia Brevis de otros proyectos zk?

Michael:Es una pregunta clave. Es cierto que ya existen varios proyectos zkVM en el mercado, entonces ¿por qué Brevis decidió crear su propio Pico zkVM desde cero? La razón principal es simple: creemos que la mayoría de los zkVM existentes siguen en fase experimental y no están realmente diseñados para aplicaciones a gran escala y del mundo real; en términos de rendimiento, coste y escalabilidad, aún están lejos de ser aptos para uso comercial masivo. En otras palabras, son más pruebas de concepto que sistemas de producción capaces de soportar millones de llamadas.

Brevis afrontó desde el principio escenarios de demanda muy reales. Protocolos DeFi líderes como PancakeSwap, Euler, Linea, Usual, etc., necesitan generar millones de zk Proofs cada día. Si el zkVM subyacente no cumple con los estándares de rendimiento, el sistema no puede lanzarse. Esto nos obligó a reconstruir un motor de cálculo zk realmente apto para producción: Pico zkVM.

Pico tiene tres características destacadas. Primero, el rendimiento extremo. Pico es actualmente el zkVM más potente del mundo; nuestro último lanzamiento, Pico Prism, ya puede completar la prueba en tiempo real del 99,6% de los bloques de la mainnet de Ethereum en 64 GPU 5090 (en 12 segundos), y el 96,8% de los bloques incluso en 10 segundos, lo que supone una mejora de 3–4 veces en rendimiento y una reducción del 50% en el coste de hardware. Es decir, si Ethereum funcionara hoy en Pico, la eficiencia de verificación global se multiplicaría por diez, logrando una verdadera prueba en tiempo real.

En segundo lugar, la arquitectura modular única. Pico es el único zkVM que soporta coprocesadores externos; otros zkVM suelen ser estructuras cerradas y solo hacen cálculo general, mientras que Pico puede montar diferentes módulos según el escenario. Por ejemplo, para acceder a datos históricos, verificar registros on-chain cruzados o ejecutar lógica financiera compleja, los coprocesadores de Pico pueden conectarse como plugins para acelerar tareas específicas. Así, Pico combina versatilidad y alto rendimiento especializado, cubriendo desde DeFi en Web3 hasta computación de IA en Web2.

Por último, la facilidad para desarrolladores. No queremos que los desarrolladores deban ser expertos en criptografía o ZK para usar Pico. Solo necesitan saber Rust para llamar directamente y escribir aplicaciones ZK como programas normales. Esto reduce enormemente la barrera y oculta la complejidad de ZK en la capa inferior. En resumen, no somos un zkVM experimental, sino un motor de cálculo ZK para el mundo real y casos de uso reales.

BlockBeats: Recientemente, anunciaron que Pico Prism logró el 99,6% de pruebas en tiempo real en hardware de consumo. ¿Puede hablar sobre el avance técnico detrás de este logro y lo que significa para el límite de rendimiento de zkVM?

Michael: Primero, quiero explicar la importancia de esto. La mejora del rendimiento no es solo una optimización técnica, sino que afecta la escalabilidad y el desarrollo futuro del ecosistema de Ethereum. La arquitectura actual de Ethereum requiere que cada nodo repita el mismo cálculo, lo que es seguro y confiable, pero la escalabilidad está cerca del límite. El siguiente paso es adoptar un nuevo paradigma: un solo nodo realiza el cálculo pesado y genera una ZK Proof, y los demás solo verifican. Con este enfoque de cálculo único y verificación múltiple, se puede aumentar el rendimiento en un orden de magnitud, incluso igualar o superar a Solana, manteniendo el tamaño necesario de nodos descentralizados.

La Ethereum Foundation propuso este año un objetivo a dos años: lograr pruebas en tiempo real del 99% de los bloques usando hardware de consumo por menos de 100 mil dólares. Una vez logrado, se puede obtener una escalabilidad casi infinita sumando la potencia de hardware común. Sin embargo, hasta ahora, esto era solo una posibilidad teórica: la mayoría de las soluciones zkVM aún están lejos de ese estándar en cobertura, coste y velocidad; muchas ni siquiera alcanzan el 90% de cobertura en tiempo real.

Pico Prism es el primer sistema que realmente cruza esa línea de rendimiento. En nuestras pruebas, usando solo 64 GPU 5090 (unos 120 mil dólares), logramos que el 99,6% de los bloques de Ethereum fueran probados en 12 segundos, y el 96,8% en 10 segundos, con un tiempo promedio de prueba de solo 6,9 segundos.

En comparación con otros protocolos, Pico mejora el rendimiento en un 70% y reduce el coste en un 50%. Es decir, no solo es más rápido, sino también más barato, y estamos muy cerca del objetivo fijado por la Ethereum Foundation.

BlockBeats: Por funcionalidad y objetivo, ¿Brevis es más una capa de aceleración ZK para Ethereum o una nube de computación verificable multi-chain?

Michael:Por funcionalidad y objetivo, ambas posiciones no son excluyentes. A corto plazo, Brevis es más una capa de aceleración ZK para Ethereum y sus L2. Estamos alineados con la Ethereum Foundation: lograr una expansión de 10 a 100 veces en la mainnet mediante pruebas de conocimiento cero; además, la capacidad de pruebas en tiempo real mejorará significativamente la interactividad de los Rollup L2, acelerando el cross-chain, aumentando la eficiencia, reduciendo costes y promoviendo la unificación de estado y liquidez.

A más largo plazo y desde una perspectiva más amplia, Brevis no se limita a Ethereum. Nuestra arquitectura soporta multi-chain de forma nativa; ya colaboramos con socios del ecosistema como BNB Chain (por ejemplo, PancakeSwap) y avanzamos en proyectos de contratos perpetuos fuera de Ethereum; también mantenemos alineación con ecosistemas L2/multi-chain como Arbitrum, Base, Avalanche, etc. En general, queremos que Brevis sea la nube de computación verificable para todas las aplicaciones blockchain.

Nuestro objetivo es que en los próximos 3–5 años, cualquier contrato inteligente, sin importar en qué cadena esté desplegado, pueda usar fácilmente este servicio de computación; a más largo plazo, la mayoría de los cálculos de las aplicaciones blockchain ocurrirán off-chain y serán garantizados por ZK, y Brevis será la capa de confianza computacional unificada de todo el sistema descentralizado.

¿Cómo se implementa?: Aplicaciones y casos reales

BlockBeats: Muchos DeFi como PancakeSwap, Euler o Linea ya usan la tecnología de Brevis. ¿Puede dar un ejemplo concreto de cómo funciona en estos escenarios?

Michael:Sí, nuestros escenarios de aplicación actuales se dividen en varias categorías, siendo DeFi la más típica. PancakeSwap es un caso estándar: no queremos que la experiencia del usuario en un DEX sea siempre igual para todos—ya seas un trader común o un gran operador, la interfaz y las tarifas son idénticas. Queremos que los DEX evolucionen como los CEX, ofreciendo experiencias diferenciadas según el usuario. También exploramos aplicaciones innovadoras, como colaborar con proyectos SocialFi para que los usuarios puedan probar su influencia y tenencias reales sin exponer su wallet principal.

También avanzamos en escenarios casi completamente off-chain. Por ejemplo, en sistemas de trading perpetuo como Hyperliquid, la información de posiciones y apalancamiento de los usuarios suele ser pública, lo que facilita ataques de otros traders. Queremos reconstruir estos sistemas con ZK, permitiendo que todas las órdenes y registros de posiciones estén cifrados y ocultos, pero que la coincidencia y la seguridad del sistema sigan garantizadas con ZK Proof. Así, se logra una experiencia fluida similar a una plataforma centralizada, manteniendo la seguridad y privacidad de blockchain.

BlockBeats: A nivel de producto, Incentra es una aplicación importante que han lanzado y ya gestiona más de 300 millones de dólares en incentivos. ¿Cómo funciona este sistema?

Michael:El punto de partida de Incentra es simple: la distribución de incentivos es clave para el crecimiento de cualquier ecosistema, pero históricamente, los mecanismos de entrega han tenido problemas de seguridad, cumplimiento y transparencia.

El mecanismo central de Incentra es que los usuarios generan una ZK Proof basada en su comportamiento real on-chain o dentro del protocolo, y la verificación y el reclamo de incentivos se realiza directamente en el contrato on-chain, sin depender de una entrega centralizada. En comparación con los métodos tradicionales, este modelo tiene tres ventajas: primero, seguridad: los fondos se liquidan en el contrato según reglas preestablecidas, reduciendo el riesgo de custodia y operación centralizada; segundo, cumplimiento y auditabilidad: las reglas de incentivos y las pruebas de elegibilidad son rastreables on-chain, evitando presiones regulatorias por transferencias a entidades desconocidas; tercero, equidad y transparencia: cualquier reclamo puede ser verificado externamente respecto a la contribución real y el proceso de cálculo, eliminando la distribución opaca. Actualmente, este sistema ya se ha implementado en escenarios de crecimiento e incentivos en BNB Chain, MetaMask, OpenEden, Usual, entre otros. Tanto en ecosistemas de stablecoins como en sistemas de incentivos on-chain, esta solución permite una distribución segura, conforme y transparente.

BlockBeats: A diferencia de muchos proyectos ZK que siguen en fase experimental, Brevis ya ha logrado una implementación a gran escala. ¿Por qué cree que han avanzado más rápido?

Michael:Creo que la razón principal es que, desde el primer día, no nos vimos como un laboratorio de investigación ZK, sino como una empresa de infraestructura orientada a aplicaciones reales. Nuestra ruta tecnológica no fue crear primero el motor y luego buscarle uso, sino al revés: partimos de las necesidades de la aplicación y diseñamos la arquitectura base en consecuencia.

Esto marca la diferencia fundamental de Brevis. Muchos proyectos ZK desarrollan primero un zkVM “perfecto” a puerta cerrada y luego piensan dónde aplicarlo; nosotros partimos de los problemas reales de los socios, entendimos sus necesidades y luego diseñamos gradualmente la arquitectura modular del zkVM y el zkCoprocessor enchufable.

En otras palabras, la evolución técnica de Brevis no fue planificada en el vacío, sino impulsada paso a paso por usuarios y socios reales. Este enfoque orientado a problemas nos permite iterar rápidamente, y cada mejora responde a un caso de uso verificable. Así, nuestro sistema fue desde el principio estable y escalable a nivel de producción, no solo código para papers.

Otra razón más simple: nuestro equipo entiende tanto de criptografía como de ingeniería de sistemas a gran escala. Nunca nos quedamos en la teoría, sino que optimizamos el rendimiento y verificamos la estabilidad en entornos de producción. Hasta ahora, Brevis ha generado más de 100 millones de pruebas de conocimiento cero en mainnet, ha atendido a unos 190 mil usuarios y ha gestionado más de 300 millones de dólares en incentivos reales para protocolos socios. Todo esto en aplicaciones reales—incluyendo Linea, Euler, Usual, OpenEden, entre otros—no demos ni testnets.

¿A dónde vamos?: Escenarios abiertos y visión futura

BlockBeats: Además de DeFi, ¿en qué otras áreas cree que el modelo de computación off-chain y verificación on-chain tendrá impacto en el futuro, como IA, mercados de datos o juegos?

Michael:Fuera de DeFi, este modelo tendrá impacto continuo en IA verificable, puentes de datos e identidad de Web2 a Web3, mercados de datos privados, y juegos y redes sociales. Primero, en IA verificable, los modelos actuales son cajas negras. Con pruebas de conocimiento cero, se puede generar evidencia matemática verificable del proceso de inferencia, demostrando que un modelo específico produce una salida dada una entrada, y asegurando que el modelo y el proceso no han sido alterados. Segundo, en puentes de Web2 a Web3, los usuarios pueden llevar sus credenciales o comportamientos de plataformas centralizadas a aplicaciones on-chain en forma de pruebas, por ejemplo, mapear la actividad de trading en una CEX a descuentos de tarifas en un DEX, sin revelar identidad ni detalles de cuenta. Por último, en juegos y redes sociales, los usuarios pueden probar logros históricos, tenencias de activos o acciones clave para obtener acceso, emparejamiento o incentivos, sin exponer su wallet o información sensible.

A largo plazo, este sistema redefinirá los límites de confianza del mundo digital. Queremos, a través de Web3 y pruebas de conocimiento cero, reconstruir la forma en que la sociedad entiende la computación confiable, permitiendo que cada cálculo sea verificable y confiable. Brevis quiere ser la base de todo esto: la nueva capa de confianza computacional.

BlockBeats: Vimos que Brevis lanzó el 13 de octubre la nueva actividad Brevis Proving Grounds. ¿Puede compartir el contenido central de esta actividad y qué pueden experimentar realmente los usuarios?

Michael:En el último tiempo, hemos dedicado mucho esfuerzo a la verificación de aplicaciones y la aprobación de documentación. Ahora tenemos más de veinte socios con aplicaciones reales y utilizables directamente por los usuarios, y los datos y la retención de usuarios de estos proyectos son excelentes.

Pero descubrimos que, en el mundo blockchain, muchas cosas avanzan porque la percepción del usuario impulsa el desarrollo. Es decir, cuando los usuarios realmente entienden el valor de una nueva tecnología, sus comentarios y necesidades impulsan a los desarrolladores a implementar más funciones. Por eso queremos involucrar realmente a los usuarios, que no sean solo espectadores, sino que puedan experimentar y verificar por sí mismos. Ese es el objetivo central de The Brevis Proving Grounds.

La actividad se divide en dos fases. La primera es de educación del usuario: queremos que más personas entiendan qué hacen nuestros socios y qué problemas concretos resuelve ZK en estos proyectos. Esta fase es más de divulgación y comprensión, para que todos entiendan la lógica y el significado detrás de la tecnología.

La segunda fase es de experiencia real: los usuarios pueden usar directamente las aplicaciones ya implementadas y sentir los cambios que trae la integración con Brevis. A diferencia de otros proyectos, cuyas actividades suelen ser solo tareas simples para obtener recompensas y carecen de funciones innovadoras reales, nuestros socios ya tienen aplicaciones reales y valiosas, y los usuarios no están jugando una simulación, sino usando productos profundamente integrados con la tecnología Brevis.

Esperamos que así los usuarios puedan experimentar el valor y la fluidez que aporta la tecnología ZK y entender por qué el modelo de computación off-chain y verificación on-chain permite aplicaciones seguras y eficientes. Más importante aún, queremos que los usuarios sean impulsores del ecosistema: cuando más usuarios entiendan y exijan que los productos que usan adopten este mecanismo, la innovación en toda la industria se activará aún más.

BlockBeats: Además de esta actividad, ¿qué otros planes tiene Brevis actualmente? ¿Pueden los usuarios participar?

Michael:Seguiremos lanzando planes de ecosistema participativos, incluyendo el despliegue de una red descentralizada de nodos de prueba para crear una infraestructura de prueba y verificación más abierta. Los canales de participación estarán abiertos a la comunidad y socios del ecosistema, y los detalles y fechas se anunciarán próximamente.

BlockBeats: A largo plazo, ¿qué tipo de infraestructura espera que sea Brevis? ¿Qué papel quiere desempeñar finalmente en el mundo Web3?

Michael: Nuestra visión es que Brevis se convierta en la capa de computación infinita de Web3, la fuente de computación confiable global. Así como Ethereum reconstruyó la lógica de confianza de activos y finanzas con contratos inteligentes, Brevis busca reconstruir la lógica de confianza de la computación: ya no elegir entre calcular uno mismo o confiar en el resultado de otros, sino garantizar la seguridad y corrección de los resultados mediante computación verificable, sin repetir la ejecución.

De cara al futuro, las aplicaciones on-chain evolucionarán de simples ejecuciones de transacciones y transferencias de activos a sistemas más inteligentes y complejos, que incluyan algoritmos avanzados, interacción de datos, experiencias personalizadas y pruebas de comportamiento social. Para lograr una adopción masiva, se necesita tanto una gran capacidad de cómputo como una seguridad completa. Queremos que esta computación basada en pruebas sea universal, fácil y de bajo costo, para que cada aplicación Web3 pueda integrarla naturalmente, sin reinventar la rueda.

En cuanto a arquitectura, queremos añadir una nueva capa de confianza—la capa de computación infinita—por encima de la capa de consenso, la de datos y la de ejecución. Será la cuarta infraestructura básica de blockchain, proporcionando confianza y verificación computacional unificada para todo el mundo descentralizado. Así, todos los cálculos inteligentes, complejos e incluso cross-chain podrán ser verificados y utilizados sin confianza previa. Eso es lo que entendemos por computación infinita, y es la misión a largo plazo de Brevis.