Puntos clave de la noticia:
- Arbitrum incorpora un modelo multi-proving con tecnología ZK que reduce los tiempos de retiro en su L1 de días a horas.
- El sistema integra pruebas ZK directamente en BoLD, el protocolo de liquidación de ARB hacia Ethereum, sin eliminar las fraud proofs existentes.
- El validador fue reescrito en Rust como servicio independiente y el código ZK se está fusionando al codebase principal de Arbitrum Nitro.
Arbitrum anunció avances en la implementación de un modelo multi-proving basado en tecnología zero-knowledge (ZK), con el objetivo de reducir los tiempos de liquidación de activos en L1 de siete días a pocas horas. La iniciativa forma parte de una hoja de ruta presentada a principios de 2026, orientada a establecer a la plataforma como infraestructura de referencia para productos financieros en la economía programable.
El anuncio fue publicado por el investigador Daniel Lumi, detalla seis logros técnicos ya alcanzados. El primero establece que los bloques de la red pueden ser probados mediante ZK: el sistema toma un bloque real de la mainnet y genera una prueba de conocimiento cero utilizando SP1, la zkVM desarrollada por Succinct, ejecutando la misma función de transición de estado que el prover optimista actual.
Arbitrum ZK y el Futuro de BoLD
Un punto central es la integración del sistema ZK con BoLD, el protocolo que ARB utiliza para liquidar hacia Ethereum. Bajo el esquema ampliado, una aserción puede confirmarse en cuanto una prueba ZK válida es presentada y un nuevo Fast Confirmation Committee la avala, sin necesidad de esperar el período de desafío completo. El juego de disputas de BoLD permanece activo como capa de respaldo: si no llega ninguna prueba ZK, la cadena liquida exactamente como lo hace hoy. Pruebas ZK, atestaciones y fraud proofs operan en conjunto bajo un mismo mecanismo.
Otro avance crucial es la extensión del prover para cubrir contratos Stylus, que amplía el EVM con soporte para Rust, C/C++, Move y otros lenguajes que compilan a WASM. Arbitrum se presenta como el primer stack de producción en hacer ejecutables por ZK tanto contratos EVM como WASM.
Multi-Proving en Producción
El validador de la red fue reconstruido como un servicio independiente en Rust, eliminando la capa de Go que lo envolvía anteriormente. Esto permite que la validación estándar y generación de pruebas compartan una misma interfaz. Paralelamente, el código ZK está siendo migrado desde una rama experimental hacia el codebase principal de Arbitrum Nitro.
Los próximos pasos incluyen reducir costos y latencia mediante ejecución basada en Reth, probar el inbox de mensajes L1 para garantizar verificabilidad de extremo a extremo, y habilitar la configuración de ZK settlement como opción nativa en los nodos. Offchain Labs llevará una propuesta a la DAO para actualizar Arbitrum One bajo este nuevo esquema.
