Інтерпретуйте нову ідею мосту ZKP: використовуйте модель поділу запитувача-обвинувача ZKP для створення більш безпечного децентралізованого кросчейн-мосту

PANews

2023-11-04 03:33:36

原文标题:ZKP Requester-Prover Модель розділення для підтримки Full ZK та Optimistic ZK

Оригінальний автор: 0x3d18, ZKPool

Упорядник: Qianwen, ChainCatcher

Існує багато варіантів використання доказів з нульовим розголошенням, включаючи зведення, мости та оракули. Це призвело до розвитку таких проектів, як ZK-Rollup, ZK-bridge, ZK-oracle.

Гібридні та оптимістичні конструкції нещодавно були застосовані в технології ZKP. Наприклад, Orbiter Finance запропонувала протокол мосту Optimistic ZK, а Taiko запропонувала прогресивне гібридне рішення для зведення.

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

Така конструкція знижує загальну вартість доказів для проектів ZKP, одночасно забезпечуючи безпеку, стимулюючи децентралізовану систему моніторингу претендентів і кидаючи виклик шахрайству.

Оптимістичний протокол ZK Bridging

Orbiter Finance є одним з найвідоміших проектів крос-ролап. Він пропонує «Протокол перехресного згортання Orbiter: оптимістичний щодо сумісної більшості, жорсткий арбітраж для зловмисної меншості».

! [Інтерпретація нової ідеї мосту ZKP: використання моделі розділення запитувача-виконавця ZKP для створення більш безпечного децентралізованого кросчейн-мосту] (https://cdn-img.panewslab.com//panews/2022/11/3/images/840b113311223b1c65f29c4e385c0f81.png)

Процес перехресної торгівлі Optimistic Rollup (від Orbiter Finance)

Він визначає децентралізовану, безпечну та економічно ефективну конструкцію перехресного згортання, що підтримується технологією ZKP.

Децентралізована конструкція Orbiter

Є кілька важливих факторів, які слід враховувати для такої конструкції:

Перш за все, проект мосту в минулому стикався з численними проблемами безпеки, які завдавали значних збитків користувачам. Централізація також несе ризики для безпеки. Тому децентралізація має важливе значення для подолання мостів.

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

Крім того, важливо знайти економічно ефективний спосіб створення таких доказів. У порівнянні з ончейн-деревами Меркла, ZKP є життєздатним варіантом з меншою платою за газ.

Зокрема, для мостів з поперечним згортанням вартість є першочерговим фактором, а метою всієї конструкції є мінімізація витрат. Це означає, що дуже важливо скоротити кількість ончейн-транзакцій і мінімізувати кількість газу на одну ончейн-транзакцію.

У конструкції Orbiter, крім схеми мостових платежів, є ще одна схема, яка вимагає ZKP. У цьому сценарії роль під назвою «заявник» агрегує інформацію про перехресну агреговану транзакцію та надсилає її до L1, щоб гарантувати, що децентралізований дилер отримує точні винагороди.

Децентралізований дизайн комітера Orbiter

Протокол Orbiter передбачає, що більшість учасників є непогрішними, і оптимістично ставиться до подій перехресного згортання, щоб забезпечити своєчасне виконання. Якби докази були потрібні для кожної транзакції cross-rollup, то виконання всієї мостової транзакції було б повільним. В результаті немає необхідності генерувати докази за відсутності зловмисної поведінки, заощаджуючи витрати. Однак, якщо зловмисна поведінка виявлена виробником або відправником, заявник може створити доказ, і оскаржуваний заявник також повинен надати доказ.

Конструкція мосту Orbiter Optimistic zk

Модель поділу запитувача ZKPool

Коли справа доходить до використання технології ZKP, доступні різні режими:

Full zk: У цьому режимі для кожної конвертації потрібен один ZKP. Цього можна досягти за допомогою таких проектів, як ZK-bridge (наприклад, Polyhedra) або ZK-Rollup (наприклад, Scroll).
Оптимістичний zk: У цьому режимі ZKP потрібен лише тоді, коли конверсія оскаржується. Taiko і Orbiter є прикладом цієї закономірності.

Повний зк і Оптимістичний зк

При визначенні абстрактних моделей видно, що ZK-bridge і ZK-Rollup мають деяку схожість. Зокрема, ця різниця відображається у відносинах між запитувачем ЗКП та доказом ЗКП, як показано на наступній діаграмі. Тут запитувач ZKP посилається на модуль, який має потребу згенерувати ZKP.

Сценарій виглядає наступним чином:

У проєкті ZK-Rollup:

У режимі full zk секвенсор працює як запитувач ZKP.
У режимі Optimistic zk претендент виступає в ролі запитувача ZKP.

У проекті ZK-bridge:

У режимі all-zk виробник виступає в ролі запитувача ZKP.
У режимі Optimistic zk претендент виступає в ролі запитувача ZKP.

Запитувач ЗКП та Виконавець ЗКП

Як вже говорилося раніше, в оптимістичному ЗК не завжди може бути завдання на доказ. В результаті, якщо запитувачі ZKP і PROVER ZKP об’єднані в один модуль, він може простоювати, а його обчислювальні потужності можуть бути використані не повністю.

Якщо ми розробимо модель поділу запитувача-об’єкта і зробимо його спільним пулом, ми зможемо збільшити використання доказу. Коли оптимістичний сценарій не піддається сумніву, організатор може взяти на себе завдання доказу з інших проектів ZKP. Це означає, що ZKPool відіграє важливу роль у проекті zk-bridge, особливо при поєднанні Optimistic з іншими.

ZKPool поділяє роль виконавця ZKP серед запитувачів ZKP

Модель поділу прохача-прохача ZKP застосовується не тільки до ролапів і мостів, але також до оракулів і всіх інших проектів ZKP.

Підсумки

Виходячи з наданої інформації, можна зробити наступні висновки:

Технологія ZKP має важливе значення для проекту ZKP, включаючи роллапи, мости, оракули та інші пов’язані проекти.
ZKPool дозволяє нам розглядати творця/відправника ZK-bridge і секвенсор ZK-Rollup як одну і ту ж роль, яка разом називається запитувачем ZKP
Використовуючи модель розділення запитувача-обвинувача ZKPool ZKP, ви можете покращити коефіцієнт використання вашого постачальника. Ця модель також сприяє децентралізації всіх проектів ЗКП.

Переглянути оригінал

Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.

1 лайків