Если Вы работаете с приложением on-chain, сопроцессор ZK - это ключевой инструмент, позволяющий Вам масштабировать логику on-chain, сохраняя при этом низкие затраты на газ. В этом посте мы рассмотрим, что такое сопроцессор, почему он важен, и как Вы можете использовать архитектуру сопроцессора Bonsai ZK для масштабирования Вашего приложения.

Вычислительные ограничения приложений для цепочки

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

Хитрость заключается в том, чтобы перенести вычисления за пределы цепи, резко сократив плату за газ и сделав Ваше приложение более привлекательным для пользователей. Традиционно это требует доверять вычислениям, выполняемым на централизованном сервере, жертвуя верифицируемой экосистемой Ethereum во имя экономии средств. К счастью, ZK-доказательства предоставляют возможность безопасно проверять эти результаты вне цепи, сохраняя основные ценности децентрализации, и при этом затрачивая меньше средств, чем при проверке на цепи.

Вход в чат: Сопроцессор Bonsai ZK

Архитектура сопроцессора Bonsai ZK расширяет возможности приложений на цепочке за счет программируемых & верифицируемых вычислений вне цепочки. Вместо того, чтобы создавать собственную инфраструктуру ZK, Вы можете загрузить программу и попросить Bonsai генерировать доказательства по требованию.

Сопроцессорная архитектура Bonsai ZK работает благодаря соединению нашего zkVM и Bonsai с Ethereum с помощью нашего ETH Relay. Это позволяет нам расширить функциональность смарт-контрактов Ethereum, позволяя приложениям переносить логику в Rust и выполнять ее вне цепи на Bonsai.

Bonsai: Сопроцессор ZK для Ethereum

Создано компанией RISC Zero, с использованием RISC Zero zkVM

Использование ZK для того, чтобы сделать Ваши приложения для цепочки более компактными и дешевыми

- RISC Zero(@RiscZero) 7 июля 2023 г.

Важным моментом является то, что Bonsai не ограничивается Ethereum. Любой блокчейн, имеющий уровень исполнения и консенсуса, может использовать сопроцессор Bonsai для переноса исполнения или вычислений за пределы цепи.

Вот несколько примеров:

• Оптимистичный уровень 2, такие как Optimism и Arbitrum
• ZK Layer 2, например, Starkware и ZKSync
• EVM Layer 1, включая Avalanche и Polygon
• Не-EVM Уровень 1, охватывающий Solana и Aptos
• Космические цепочки

Что такое сопроцессор?

Сопроцессор служит дополнением к процессору, позволяя разгрузить вычисления в системе с ограниченными ресурсами. Например, запустить такую модель ИИ, как ChatGPT, на Вашем мобильном телефоне было бы невыполнимой задачей. Ваш телефон работает медленно, имеет ограниченный объем памяти, Вы платите за загрузку массивной модели, а время работы от аккумулятора ограничено. Однако, когда Вы задаете ChatGPT вопрос, он отправляется на выделенный сервер, где он может работать дешево и эффективно, а затем прислать ответ. Таким образом, серверы ChatGPT выступают в роли сопроцессора искусственного интеллекта для ограниченных ресурсов Вашего мобильного телефона.

С другой стороны, EVM служит универсальной платформой, способной выполнять различные операции. Аналогично персональному устройству, EVM может справляться с различными задачами, но не всегда может быть наиболее эффективным для выполнения большого объема операций. А zkVM, подобно облачному компьютеру или мэйнфрейму, предназначен для выполнения задач общего назначения, но превосходит их по скорости и экономичности.

Архитектура сопроцессора Bonsai ZK

Вызовите Bonsai, указав, какую программу и входы необходимо выполнить. Бонсай можно назвать одним из двух способов:

• Вызовите Bonsai из Ethereum: вызовите контракт BonsaiRelay из Вашего смарт-контракта.

• Вызовите Bonsai из внецепочечного пространства: вызовите Bonsai с помощью REST API.

Bonsai выполняет Вашу программу вне цепи на zkVM с предоставленными Вами входными данными.

Bonsai отправляет подтверждение выполненной программы обратно в BonsaiRelay.

Доказательство проверяется верификатором на цепочке.

Ваш контракт получает проверенный результат.

Bonsai значительно снижает плату за газ и расширяет возможности приложений на цепочке - снижая ценовые барьеры для Ваших пользователей и предоставляя разработчикам более широкие возможности. Эта архитектура позволяет Вам перенести дорогостоящие части Вашего приложения, даже всю логику, из смарт-контрактов Solidity в программу Rust, которая выполняется вне цепи.

Варианты использования сопроцессоров ZK

Многим приложениям, например, играм на цепочке или центральным лимитным книгам заказов, для экономичности необходимы вычисления вне цепочки. Однако любая прикладная логика, требующая более 250K газа, может потенциально снизить затраты с помощью сопроцессоров ZK.

DAO являются прекрасным примером коллективной деятельности на цепи, в которую вовлечены многие участники и множество смарт-контрактов, что приводит к большим вычислениям. Сопроцессоры ZK для управления DAO обеспечивают вычисления вне цепи для более дешевого газа и проверку данных на цепи между сторонами. Благодаря DAO-губернатору Bonsai члены DAO смогли снизить плату за бензин более чем на 50% (с $6-9 до всего лишь $2-3 за голос в течение 23 июля) за счет переноса вычислений за пределы цепи. Скоро мы расскажем больше о том, как мы создали Bonsai Governor!

Еще один примечательный пример использования - проверка Web2 на Web3. Например, Bonfire Wallet позволяет пользователям создать кошелек для горелки с помощью WebAuthn, а сопроцессор Bonsai ZK обрабатывает вычисления вне цепочки.

Bonsai: Сопроцессор ZK для Ethereum

Создано компанией RISC Zero, с использованием RISC Zero zkVM

Использование ZK для того, чтобы сделать Ваши приложения для цепочки более компактными и дешевыми

- RISC Zero(@RiscZero) 7 июля 2023 г.

Стройте с помощью бонсай

Чтобы использовать Bonsai в качестве сопроцессора для Ethereum, все, что Вам нужно сделать, это:

Напишите приложение zkVM, которое будет обрабатывать логику Вашего приложения

Напишите контракт Solidity, который просит Bonsai запустить Ваше приложение zkVM и что делать с результатами.

Затем следуйте инструкциям в руководстве по развертыванию.

Bonsai может помочь Вам, если Вы хотите вывести тяжелые вычисления за пределы цепи или нуждаетесь в генерировании доказательств для Вашего надежного, проверяемого программного обеспечения. Если у Вас возникнут вопросы, обращайтесь к нашей команде в Discord!

Отказ от ответственности：

1. Эта статья перепечатана с сайта[risczero]. Все авторские права принадлежат оригинальному автору[KAYLEI ATCHLEY]. Если у Вас есть возражения против этой перепечатки, пожалуйста, свяжитесь с командой Gate Learn, и они незамедлительно рассмотрят их.
2. Предупреждение об ответственности: Мнения и взгляды, выраженные в этой статье, принадлежат исключительно автору и не являются инвестиционным советом.
3. Перевод статьи на другие языки осуществляется командой Gate Learn. Если не указано, копирование, распространение или плагиат переведенных статей запрещены.