Якщо ви використовуєте програму 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
• Рівень 1 без EVM, що включає Solana та Aptos
• Міжланцюги Космосу

Що таке співпроцесор?

Співпроцесор служить компаньйоном до процесора, дозволяючи розвантажувати обчислення в системі з обмеженими ресурсами. Наприклад, запустити на мобільному телефоні таку модель AI, як ChatGPT, було б неможливо. Ваш телефон працює повільно, має обмежений обсяг пам’яті, ви платите за завантаження величезної моделі, а час автономної роботи обмежений. Однак, коли ви ставите запитання ChatGPT, воно надсилається на виділений сервер, де воно може працювати дешево та ефективно, а потім надсилає відповідь. Таким чином, сервери ChatGPT діють як співпроцесор ШІ для обмежених ресурсів вашого мобільного телефону.

З іншого боку, EVM служить універсальною платформою, здатною виконувати різні операції. Подібно до персонального пристрою, EVM може виконувати різноманітні завдання, але не завжди може бути найефективнішим для великих операцій. А zkVM, схожий на хмарний комп’ютер або мейнфрейм, розроблений для завдань загального призначення, але відрізняється швидкістю та економічною ефективністю.

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

Викличте Bonsai, вказавши програму та вхідні дані для виконання. Бонсай можна викликати одним із двох способів:

• Виклик Bonsai з Ethereum: викличте контракт BonsaiRelay зі свого смарт-контракту.

• Виклик Bonsai поза мережею: виклик Bonsai за допомогою REST API.

Bonsai виконує вашу програму поза ланцюгом на zkVM з наданими вами вхідними даними.

Bonsai надсилає доказ виконаної програми назад до BonsaiRelay.

Доказ перевіряється верифікатором у мережі.

Ваш договір отримує перевірений результат.

Bonsai значно знижує плату за газ і розширює можливості мережевих додатків, долаючи цінові бар’єри для ваших користувачів, надаючи розробникам ширші можливості. Ця архітектура дозволяє вам перемістити дорогі частини вашої програми, навіть всю логіку, зі смарт-контрактів Solidity у програму Rust, яка виконується поза мережею.

Варіанти використання співпроцесорів ZK

Для багатьох додатків, таких як онлайн-ігри або центральні книги лімітних ордерів, потрібні обчислення поза мережею, щоб бути економічними. Однак будь-яка прикладна логіка, яка потребує понад 250 тис. газу, може потенційно знизити витрати за допомогою співпроцесорів ZK.

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

Інший відомий варіант використання включає верифікацію Web2 до Web3. Наприклад, Bonfire Wallet дозволяє користувачам створювати гаманець Burner за допомогою WebAuthn, а Bonsai ZK Coprocessor обробляє обчислення поза мережею.

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. Якщо не зазначено вище, копіювання, розповсюдження або плагіат перекладених статей заборонено.