Составитель: Алекс Лю, Форсайт Новости

Ethereum преуспел в создании процветающей экосистемы приложений для децентрализации, но его проблемы с масштабируемостью также растут. Разработчики стоят перед сложным выбором: ограничить функциональность и богатство данных своих приложений или смириться с высокими сборами за газ и лимитами использования газа. Что, если бы у разработчиков был способ обойти эти ограничения?

Steel, соединяющий RISC Zero и Ethereum

RISC Zero является одним из основных разработчиков zkVM, и если вы слышали о zkEVM, но не знаете, что такое дословная zkVM, вы можете обратиться к этой статье. Последним выпуском RISC Zero является Steel, библиотека proof-of-call на основе Alloy, которая революционизирует способ взаимодействия разработчиков с Ethereum L1 или другими цепочками EVM. Используя zk-SNARKs и RISC Zero zkVM, Steel позволяет разработчикам выполнять вызовы просмотра масштабируемым, безопасным и экономичным способом, а также доказуемо считывать и вычислять состояние Ethereum.

Удобство Solidity, мощь ZK

Steel устраняет разрыв между разработкой приложений Ethereum и технологией нулевого разглашения, облегчая разработчикам использование возможностей ZK в своих смарт-контрактах. В сочетании с возможностями RISC Zero zkVM Steel позволяет разработчикам создавать более безопасные, масштабируемые и эффективные приложения на Ethereum L1 или любом эквиваленте EVM в блокчейне.

С помощью Steel разработчики могут:

• Выполняйте смарт-контракты Solidity непосредственно в zkVM, совместимые с более сложной логикой в блокчейне
• Доступ к историческому состоянию Ethereum в zkVM
• Вычисления выполняются с использованием продолжений, независимо от размера блока и транзакции
• Убедитесь, что вычисления вне блокчейна так же безопасны и надежны, как и выполняются в блокчейне
• Используйте первую готовую к использованию zkVM, которая была тщательно протестирована и использована партнерами
• Частное вычисление состояния Ethereum
• Поддерживайте гибкость с помощью кодовой базы открытого исходного кода, которая не зависит от поставщика

Бесшовная интеграция и экономия средств

При использовании Steel вызов представления так же прост, как указание требуемого метода Solidity. Независимо от того, идет ли речь о получении всего, от ERC-20 Токен балансов (примеров) до доступа к Ethereum состоянию, Steel оптимизирует процесс, обеспечивая безопасность и эффективность за счет бесшовной интеграции с RISC Zero zkVM. Тестирование показало, что Steel способен обрабатывать более 100 тыс. операций SLOAD за один вызов представления, экономя k долларов на расходах на Газ на Основная сеть. Мы можем доказать это примерно за 15 минут с помощью бонсай, для которого требуется не менее 210 млн газа, что в 7 раз больше, чем предел блока.

Пример: ERC20 balanceOf

В следующем фрагменте кода демонстрируется процесс подтверждения баланса контракта ERC-20, развернутого на Ethereum по определенному адресу с помощью Steel. В этом примере показано, как разработчик может использовать Steel для взаимодействия с Ethereum в блокчейне данными в zkVM. Полный код можно посмотреть здесь.

Определение сигнатуры функции представления

Во-первых, используйте sol! макрос для определения сигнатуры функции balanceOf для ERC-20. Это проанализирует синтаксис Solidity для генерации соответствующей структуры Rust, которая реализует типаж SolCall и может быть использована для вызова метода balanceOf, который принимает счет Адрес и возвращает связанный ERC-20 Токен balance.

Готов позвонить

Затем настройте вызов, создав экземпляр структуры balanceOfCall с целевым счет Адрес. В то же время определите константы для адреса контракта, который вы хотите запросить, и адреса вызывающего абонента.

Позвонить в Main

Основная функция выполняется в zkVM, генерируя zk-SNARKs. Сначала он считывает входную среду, а затем создает объект ViewCallEnv, чтобы убедиться, что текущее состояние соответствует ожидаемому корню состояния. После того, как соответствующие Блок хеш и номер отправлены, выполняется вызов просмотра, и баланс распечатывается.

Как это работает

Steel упрощает выполнение, проверяя код Solidity в RISC Zero zkVM в три этапа:

1. Предтестовая фаза: Инициирование предтестовой проверки путем вызова представления к Ethereum remote procedure call Узел кэширует необходимые слоты хранения и заполняет базу данных EVM только данными, необходимыми для запроса. Все слоты автоматически обнаруживаются и извлекаются на основе вызовов просмотра.
2. Проверка хранилища: Выполните проверку целостности хранилища, чтобы убедиться, что данные в базе данных EVM соответствуют корню состояния блокчейна, чтобы подтвердить его легитимность.
3. Solidity Execution: запустите заданную функцию Solidity на EVM внутри RISC Zero zkVM.

Чем это отличается от Proof of Storage?

При традиционном доказательстве хранения разработчики должны вручную выбирать слоты хранения, используемые их смарт-контрактами, и заново реализовывать логику смарт-контрактов. При использовании Steel все слоты хранения автоматически обнаруживаются и извлекаются на основе вызовов представления. Это экономит разработчикам много времени и снижает вероятность ошибок реализации, что снижает вероятность нарушения безопасности.

Получить верифицированный Блок хеш

При валидации с помощью Код операции blockhash в Ethereum смарт-контракты проверенное обязательство должно ссылаться не более чем на 256 Блок старых Блок хеш. Учитывая, что среднее время блока составляет 12 секунд, это устанавливает узкие временные рамки около 50 минут для завершения создания подтверждения и подтверждения того, что транзакция проверки включена в блок.

Когда вам нужно получить верифицированный Блок хеш старше 256 Блок в в блокчейне, вы можете использовать одну из нескольких стратегий:

• Если вы заранее знаете, какие Блок хеш потребуются (например, при инициировании предложения по управлению), вы можете сохранить этот Блок хеш в состоянии контракта.
• Другой подход заключается в использовании RISC Zero для доказательства хеш цепочки от Блок запроса до одного из последних 256 Блок Блок.

Будущее приложений в блокчейне

Представьте себе будущее, в котором вычисления вне блокчейна будут легко интегрированы с проверкой в блокчейне. Steel вносит свой вклад в это видение, позволяя разработчикам надежно получать доступ и вычислять полную историю Ethereum в zkVM, что позволяет создавать следующее поколение богатых данными и более мощных приложений в блокчейне.