Arbitrum продвигает ZK расчеты, вывод L1 может сократиться с нескольких дней до нескольких часов

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

Текущий прогресс включает: возможность запуска тех же функций преобразования состояния в SP1 zkVM, что и в оптимистическом исполнении, для генерации ZK-доказательств реальных блоков основной сети; контракты Stylus на WASM могут быть доказаны вместе с контрактами Solidity; команда представила независимый валидатор на Rust, что делает ZK-доказательства равноправными с стандартными валидациями; протокол расчетов BoLD теперь поддерживает прием ZK-доказательств и подтверждается комитетом быстрого подтверждения, прежние спорные игры остаются в качестве резервного пути, формируя многоуровневую архитектуру с ZK-доказательствами, комитетом доказательств и доказательствами мошенничества.

Команда заявила, что продолжает снижать стоимость доказательств и постепенно интегрирует соответствующий код в основной производственный путь Nitro. Следующий шаг включает дальнейшую оптимизацию доказательств и переход к исполнению на основе Reth, завершение доказательства почтового ящика сообщений L1, а также интеграцию возможностей ZK-расчетов в конфигурацию узлов для активации по мере необходимости для каждой цепи.