Arbitrum описал прогресс в ZK-доказательствах и интеграции с BoLD

Arbitrum описал этапы работы над использованием доказательств с нулевым разглашением (ZK) для Arbitrum One и блокчейнов, созданных на Arbitrum Platform. В публикации говорится о проверке блоков, поддержке Stylus, новом валидаторе и подключении ZK-доказательств к протоколу BoLD.

Система способна взять реальный блок основной сети Arbitrum и сгенерировать доказательство его корректного исполнения. Для этого внутри zkVM SP1 от Succinct запускается фактическая функция перехода состояния Arbitrum. В публикации подчёркивается, что используется тот же код, что и оптимистическим прувером Arbitrum, а не отдельная повторная реализация протокола.

Отдельная часть работы связана с Arbitrum Stylus. Реализация прувера на базе WASM была расширена и теперь может доказывать выполнение контрактов Stylus наряду с контрактами Solidity. Stylus расширяет EVM поддержкой Rust, C/C++, Move и других языков, которые компилируются в WASM.

Arbitrum также описал новый валидатор, созданный как самостоятельный сервис на Rust. Валидаторы повторно исполняют блокчейн и проверяют обновления состояния; новый валидатор завершил первые раунды контроля качества. В архитектуре Nitro стандартная валидация и создание доказательств должны работать через общий интерфейс.

BoLD был расширен для приёма ZK-доказательств. Согласно описанной схеме, утверждение о новом состоянии может быть подтверждено после появления действительного ZK-доказательства и аттестации со стороны нового Fast Confirmation Committee, без ожидания периода оспаривания. При отсутствии доказательства сохраняется механизм разрешения споров с помощью интерактивной игры.

В рамках дальнейшей работы Arbitrum оптимизирует конвейер доказательств для исполнения WASM, сокращает накладные расходы прувера и переносит интенсивные криптографические операции в оптимизированные предкомпилированные функции zkVM. Среди следующих задач названы дальнейшее снижение стоимости и задержки, проверка входящих сообщений L1 и подключение настройки ZK-расчётов к узлу. Offchain также намерена внести в DAO предложение об обновлении Arbitrum One до ZK-расчётов.