Arbitrum описал прогресс по внедрению zero-knowledge proving в свою систему settlement. Ключевая цель — добавить к существующей optimistic-модели еще один путь подтверждения состояния, который может заметно сократить ожидание L1-выводов. В опубликованной дорожной карте команда говорит о переходе от традиционного семидневного challenge window к сценарию, где валидное ZK-доказательство способно сократить settlement с дней до часов.
Техническая база уже вышла за рамки концепта. По данным Arbitrum, prover может взять реальный mainnet-блок и доказать корректность его исполнения, запуская ту же state transition function внутри SP1. Поддержка также распространяется на Stylus-контракты, а валидатор переработан в отдельный Rust-сервис, чтобы стандартная проверка блока и генерация доказательства проходили через единый интерфейс.
Еще один важный шаг — интеграция с BoLD, который Arbitrum использует для settlement на Ethereum. BoLD теперь может принимать ZK proofs: если доказательство поступает и подтверждается предусмотренным комитетом быстрой финализации, assertion можно подтвердить без полного ожидания challenge window. При этом optimistic dispute-механизм остается под системой, поэтому отсутствие ZK proof не ломает текущий способ settlement.
Работа еще не завершена. Команда продолжает снижать стоимость и задержку proving, переносит компоненты в основной Nitro-код и планирует закрыть end-to-end проверяемость L1 message inbox. Для Arbitrum One переход потребует отдельного governance-предложения, поэтому публикация описывает направление и готовность компонентов, а не уже включенную на mainnet функцию.