Arbitrum has published an update on bringing zero-knowledge proving into its settlement architecture. The core objective is to add another validation path alongside the existing optimistic model and shorten the time users and protocols may wait for L1 settlement. The roadmap describes a path away from relying only on the traditional seven-day challenge window toward a model where a valid ZK proof can reduce settlement from days to hours.
The work has moved beyond a research concept. Arbitrum says its prover can take a real mainnet block and prove correct execution by running the same Arbitrum state transition function inside SP1. The proving path also supports Stylus contracts, while the validator has been rebuilt as a standalone Rust service so standard block validation and proof generation can sit behind a common interface.
Another milestone is the connection to BoLD, Arbitrum's settlement protocol on Ethereum. BoLD has been extended to accept ZK proofs: when a valid proof arrives and the planned fast-confirmation process attests to the same result, an assertion can be confirmed without waiting for the full challenge period. The optimistic dispute system remains underneath, so the existing settlement path still works if no ZK proof is available.
The feature is not fully deployed yet. Arbitrum is still working on proving cost and latency, moving the implementation into the main Nitro codebase and completing end-to-end verification of the L1 message inbox. Enabling ZK settlement on Arbitrum One would also require a governance proposal, so the update describes technical progress and a production direction rather than an already activated mainnet change.