Informe Brevis: Capa de cálculo confiable infinita de ZKVM y procesadores de datos.

Brevis ya ha construido una primera muralla en los extremos de “rendimiento reproducible” y “viabilidad comercial”, construyendo una infraestructura de computación verificable general basada en cálculos de conocimiento cero. (Resumen: Ethereum se enfrenta a críticas, “V神 elogia a Polygon” para apagar el fuego: contribuciones significativas a ZK, no solo finanzas aburridas) (Contexto adicional: V神 escribió un largo artículo: el protocolo de cifrado GKR puede probar rápidamente Ethereum, zk-ML está acelerando AI LLM) Brevis ha construido una primera muralla en los extremos de “rendimiento reproducible” y “viabilidad comercial”: Pico/Prism se ha consolidado en el primer grupo de la pista L1 RTP, mientras que zkCoprocessor abre escenarios comerciales reutilizables y de alta frecuencia. El paradigma de computación verificable (Verifiable Computing) de “cálculo off-chain + verificación on-chain” se ha convertido en el modelo de computación general del sistema de cadena de bloques. Esto permite que las aplicaciones de cadena de bloques obtengan prácticamente una libertad computacional ilimitada (computational freedom) mientras mantienen la descentralización y la seguridad de la minimización de la confianza (trustlessness). La prueba de conocimiento cero (ZKP) es el pilar central de este paradigma, y sus aplicaciones se centran principalmente en tres direcciones fundamentales: escalabilidad (Scalability), privacidad (Privacy) e interoperabilidad e integridad de datos (Interoperability & Data Integrity). Entre ellas, la escalabilidad es el escenario donde la tecnología ZK se implementó por primera vez, logrando una expansión confiable de alto TPS y bajo costo mediante la ejecución de transacciones off-chain y la verificación de resultados on-chain con pruebas breves. La evolución del cálculo confiable ZK se puede resumir como L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. En la primera etapa, L2 zkRollup trasladó la ejecución a la segunda capa y presentó pruebas de validez (Validity Proof) en la primera, logrando alta capacidad de procesamiento y expansión de bajo costo con el mínimo cambio. zkVM luego se expandió a una capa de computación verificable general, apoyando la verificación cross-chain, inferencia AI y cálculos encriptados (proyectos representativos: Risc Zero, Succinct, Brevis Pico). zkCoprocessor se desarrolló en paralelo como un módulo de verificación contextual, proporcionando servicios de cálculo y prueba plug-and-play para DeFi, RWA, gestión de riesgos, etc. (proyectos representativos: Brevis, Axiom). En 2025, el concepto zkEVM se extendió a pruebas en tiempo real (Realtime Proving, RTP) en L1, construyendo circuitos verificables a nivel de instrucciones EVM, integrando directamente la prueba de conocimiento cero en los procesos de ejecución y verificación de la mainnet de Ethereum, convirtiéndose en un mecanismo de ejecución nativo verificable. Este contexto refleja el salto técnico de la cadena de bloques de “escalable” a “verificable”, abriendo una nueva etapa de computación confiable. 1. El camino de escalabilidad de zkEVM de Ethereum: de L2 Rollup a pruebas en tiempo real en L1 El camino de escalabilidad de zkEVM de Ethereum ha pasado por dos etapas: Etapa uno (2022–2024): L2 zkRollup traslada la ejecución a la segunda capa, presentando pruebas de validez en la primera; reduce significativamente los costos y mejora el rendimiento, pero trae fragmentación de liquidez y estado, y L1 sigue estando sujeta a la reejecución N-of-N. Etapa dos (2025–): La prueba en tiempo real de L1 (Realtime Proving, RTP) reemplaza la reejecución con “1-of-N prueba + verificación ligera en toda la red”, mejorando el rendimiento sin sacrificar la descentralización, todavía en evolución. Etapa L2 zkRollup: equilibrio entre compatibilidad y rendimiento En 2022, en la etapa floreciente del ecosistema Layer2, el fundador de Ethereum, Vitalik Buterin, propuso cuatro categorías de ZK-EVM (Tipo 1–4), revelando sistemáticamente el compromiso estructural entre compatibilidad (compatibility) y rendimiento (performance). Este marco estableció coordenadas claras para la futura ruta tecnológica de zkRollup: Tipo 1 completamente equivalente: coincide con el bytecode de Ethereum, costo de migración más bajo, prueba más lenta. Taiko. Tipo 2 completamente compatible: muy pocas optimizaciones subyacentes, mayor compatibilidad. Scroll, Linea. Tipo 2.5 semi-compatible: pequeños cambios (gas/precompilaciones, etc.) cambian el rendimiento. Polygon zkEVM, Kakarot. Tipo 3 parcialmente compatible: cambios más grandes, puede ejecutar la mayoría de las aplicaciones pero difícilmente reutiliza completamente la infraestructura de L1. zkSync Era. Tipo 4 a nivel de lenguaje: renuncia a la compatibilidad del bytecode, se compila directamente desde un lenguaje de alto nivel a circuitos, rendimiento óptimo pero necesita reconstruir el ecosistema (representante: Starknet / Cairo). Actualmente, el modo L2 zkRollup se ha vuelto maduro: al trasladar la ejecución a la segunda capa y presentar pruebas de validez en la primera, reutiliza el ecosistema y herramientas de Ethereum con el mínimo cambio, convirtiéndose en la solución principal de escalabilidad y reducción de costos. Su objeto de prueba son los bloques L2 y la transferencia de estado, mientras que el asentamiento y la seguridad siguen anclados en L1. Esta arquitectura mejora significativamente el rendimiento y la eficiencia, manteniendo una alta compatibilidad para los desarrolladores, pero también trae fragmentación de liquidez y estado, y L1 sigue limitado por el cuello de botella de reejecución N-of-N. L1 zkEVM: pruebas en tiempo real reconfiguran la lógica de verificación ligera de Ethereum En julio de 2025, la Fundación Ethereum publicó un artículo titulado “Shipping an L1 zkEVM #1: Realtime Proving” que propuso oficialmente la ruta de L1 zkEVM. L1 zkEVM actualiza a Ethereum de la reejecución N-of-N a “1-of-N prueba + verificación rápida en toda la red”: unos pocos probadores generan pruebas cortas para toda la transferencia de estado de EVM, todos los validadores solo realizan validaciones en tiempo constante. Esta solución, sin sacrificar la descentralización, logra pruebas en tiempo real de nivel L1 (Realtime Proving), mejora el límite de gas de la mainnet y el rendimiento, y reduce significativamente el umbral de hardware para los nodos. Su plan de implementación es reemplazar el cliente de ejecución tradicional por un cliente zk, funcionando en paralelo inicialmente, y una vez que el rendimiento, la seguridad y los mecanismos de incentivos estén maduros, se convertirá gradualmente en la nueva norma de la capa de protocolo. Viejo paradigma N of N: todos los validadores ejecutan repetidamente toda la transacción para verificar, seguro pero limitado en rendimiento, costos altos en picos. Nuevo paradigma 1 of N: unos pocos probadores ejecutan toda la transacción y producen pruebas cortas; toda la red solo realiza validaciones en tiempo constante. El costo de verificación es mucho menor que la reejecución, lo que puede aumentar de forma segura el límite de gas de L1 y reducir los requisitos de hardware. Tres líneas principales en la hoja de ruta de L1 zkEVM Pruebas en tiempo real (Realtime Proving): completar toda la prueba dentro de un tiempo de ranura de 12 segundos, mediante paralelización y aceleración de hardware para comprimir la latencia; Integración de cliente y protocolo: estandarizar la interfaz de verificación de prueba, primero opcional, luego predeterminada; Incentivos y seguridad: establecer un mercado de Prover y modelo de costos, fortalecer la resistencia a la censura y la actividad en la red. La prueba en tiempo real L1 de Ethereum (RTP) utiliza zkVM para reejecutar toda la transacción off-chain y generar pruebas encriptadas, lo que permite que los validadores no tengan que recalcular, solo deben en 1…