Интерпретировать новую идею ZKP bridging: используйте модель разделения ZKP requester-provover для создания более безопасного децентрализованного кроссчейн-моста

2023-11-04 03:33:36

原文标题:ZKP Requester-Proover Separation model для поддержки Full ZK и Optimistic ZK

Автор оригинала: 0x3d18, ZKPool

Компилятор: Qianwen, ChainCatcher

Существует множество вариантов использования доказательств с нулевым разглашением, включая накопительные пакеты, мосты и оракулы. Это привело к развитию таких проектов, как ZK-Rollup, ZK-bridge и ZK-oracle.

Гибридный и оптимистичный дизайны недавно были применены в технологии ZKP. Например, компания Orbiter Finance предложила протокол моста Optimistic ZK, а компания Taiko предложила прогрессивное гибридное решение для объединения.

Оптимистичный ZK предполагает, что все переходы состояний являются правильными и не требуют немедленного доказательства валидности. Но он устанавливает заранее определенное окно оспаривания, в течение которого любой участник может оспорить мошенническую деятельность, предоставив доказательство действительности или доказательство мошенничества.

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

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

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

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

Процесс кросс-трейдинга Optimistic Rollup (от Orbiter Finance)

Он определяет децентрализованную, безопасную и экономичную структуру кросс-роллапа, поддерживаемую технологией ZKP.

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

Есть несколько важных факторов, которые следует учитывать для такой конструкции:

Во-первых, проект моста в прошлом сталкивался с многочисленными проблемами безопасности, которые привели к значительным потерям для пользователей. Централизация также несет в себе риски безопасности. Таким образом, децентрализация необходима для наведения мостов.

Во-вторых, должен существовать механизм, обеспечивающий точность потока транзакций между источником/сверткой и цепочкой/объединением.

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

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

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

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

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

Проект моста Orbiter Optimistic zk

Модель разделения ZKPool Requester Proover

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

Full zk: В этом режиме для каждой конверсии требуется один ZKP. Это может быть достигнуто с помощью таких проектов, как ZK-bridge (например, Polyhedra) или ZK-Rollup (например, Scroll).
Оптимистичный zk: В этом режиме ZKP требуется только в том случае, если преобразование оспаривается. Taiko и Orbiter являются примером этой схемы.

Полный зк и Оптимистичный зк

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

Сценарий следующий:

В проекте ZK-Rollup:

В режиме full zk секвенсор работает как ZKP requestor.
В режиме Optimistic zk претендент выступает в качестве заказчика ZKP.

В проекте ZK-bridge:

В режиме all-zk создатель выступает в качестве инициатора запроса ZKP.
В режиме Optimistic zk претендент выступает в качестве инициатора запроса ZKP.

ZKP Инициатор запроса и ZKP Прувер

Как уже говорилось ранее, в оптимистичном зк не всегда может быть доказательная задача. В результате, если ZKP инициатор запроса и ZKP prover объединены в один модуль, проверщик может простаивать, а его вычислительная мощность может быть использована не в полной мере.

Если мы разработаем модель разделения инициатора запроса и доказательства и сделаем его общим пулом, мы сможем повысить коэффициент использования доказывающего. Когда оптимистичный сценарий не оспаривается, прувер может взять на себя задачу доказательства из других проектов ZKP. Это означает, что ZKPool играет важную роль в проекте zk-bridge, особенно при объединении Optimistic с другими.

ZKPool разделяет роль проверяющего ZKP среди заказчиков ZKP

Модель разделения просителя и испытателя ZKP применима не только к сверткам и мостам, но и к оракулам и всем другим проектам ZKP.

Резюме

На основании представленной информации можно сделать следующие выводы:

Технология ZKP имеет важное значение для проекта ZKP, включая роллапы, мосты, оракулы и другие связанные проекты.
ZKPool позволяет нам рассматривать создателя/отправителя ZK-bridge и секвенсор ZK-Rollup как одну и ту же роль, совместно именуемую ZKP requester
Используя модель разделения ZKP от заказчика ZKPool, вы можете повысить коэффициент использования вашего поверщика. Эта модель также способствует децентрализации всех проектов ZKP.

Посмотреть Оригинал

На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .

1 Лайков