Спор о маршрутах ZK/OP для RaaS: почему ZK-RaaS лучше?

TL; ДР

По сравнению с Optimistic Rollups ZK-Rollups имеет следующие преимущества:

• Сжатые данные транзакций экономят стоимость газа L1.
• Безопаснее и надежнее
• Более быстрая скорость подтверждения транзакции и более короткое время вывода средств

Помимо этих преимуществ, ZK-RaaS также имеет преимущества в следующих аспектах благодаря сетевым эффектам:

• ZK-RaaS обеспечивает крупномасштабную вычислительную мощность для массовых ZK-роллапов посредством ZK-PoW, тем самым снижая стоимость вычислений ZKP.
• Благодаря более высокой скорости подтверждения транзакций ZK-Rollup (минутный уровень), ZK-Rollups может реализовать собственный протокол межагрегатной связи (NCRC), тем самым решая проблему фрагментации ликвидности.

Что такое RaaS?

Rollups as a Service (RaaS) обеспечивает уровень абстракции над платформой Rollup и SDK для простого развертывания, обслуживания и создания на основе пользовательских накопительных пакетов приложений производственного уровня (AppRollups). Подобно предложениям «программное обеспечение как услуга», RaaS позволяет разработчикам сосредоточиться на создании уровня приложения, превращая процесс, который раньше занимал десятки часов с участием нескольких инженеров, в 10-минутный процесс развертывания без написания кода.

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

1. Стоимость

Стоимость газа L1 в ZK-Rollup ниже, чем в Optimistic Rollups.

Одной из основных целей решения Rollup является увеличение пропускной способности транзакций на Ethereum и снижение затрат на газ для пользователей. Оптимистические накопительные пакеты и ZK-накопительные пакеты достигают этого путем пакетной обработки транзакций и отправки их в основную сеть через регулярные промежутки времени. Следовательно, все они должны нести плату за газ за данные, передаваемые в L1.

• Из-за доказательств мошенничества Optimistic Rollups должен публиковать все данные о транзакциях в цепочке. Поэтому им требуется больше газа для отправки пакетов данных в основную цепочку.
• Поскольку ZK-Rollups использует эффективные методы сжатия данных (например, использование индексов для представления учетных записей пользователей вместо адресов, это экономит 28 байтов данных). Это помогает снизить стоимость публикации данных о транзакциях в базовой цепочке.

Таким образом, ZK-Rollups может сэкономить больше газа L1, чем Optimistic Rollups.

ZK-RaaS снижает стоимость расчета ZKP за счет масштабного участия майнеров

Однако ZK-Rollups требует дополнительных вычислительных затрат для создания доказательств с нулевым разглашением. Это именно то, что ZK-RaaS стремится решить.

При широкомасштабном внедрении ZK-Rollup для генерации ZKP требуется большое количество процессоров, графических процессоров, FPGA и другого оборудования, а также машин для майнинга для обеспечения вычислительной мощности. Opside( ) также предложил концепцию ZK-PoW, введя роль майнеров для участия в обслуживании узлов zkEVM и вычислении ZKP. Протокол Opside ZK-PoW будет развернут в нескольких цепочках, включая, помимо прочего, Ethereum, BNB Chain, Polygon PoS и саму Opside Chain.

Чтобы побудить больше майнеров одновременно участвовать в вычислительных задачах ZKP, Opside предложила двухэтапный алгоритм подачи ZKP. Доля вознаграждения PoW, соответствующая ZKP, будет выделена действительным отправителям ZKP, то есть майнерам, в соответствии с определенными правилами.

1. Отправьте хеш-доказательство: в течение определенного периода времени в определенной последовательности нескольким майнерам разрешено участвовать в вычислении доказательства с нулевым разглашением. После того, как каждый майнер вычисляет доказательство, он не отправляет исходное доказательство напрямую, а рассчитывает проверочный хэш (доказательство/адрес) и отправляет проверочный хеш в контракт.
2. Отправьте ZKP: по истечении определенного периода времени майнеры отправляют исходное доказательство и сверяют его с ранее отправленным проверочным хешем. Майнеры, прошедшие проверку, могут получить вознаграждения PoW, а сумма вознаграждения распределяется в соответствии с долей обещанной суммы майнеров.

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

2. Завершенность транзакции и эффективность капитала

• Оптимистичные накопительные пакеты: существует период проверки продолжительностью до 7 дней, и транзакция не будет завершена в основной цепочке до конца периода проверки. Таким образом, оптимистические накопительные пакеты имеют высокую задержку для завершения транзакции.
• ZK-Rollups: Преимущество ZK-Rollups заключается в том, что задержка завершения транзакции невелика, обычно составляет десятки или даже минуты. Как только подтверждение достоверности проверяется оператором узла, это приводит к обновлению состояния.

Поскольку у Optimistic Rollups есть период проверки, пользователи не могут вывести средства до истечения срока действия, что вызывает неудобства. Однако у ZK-Rollups нет периода проверки, а пользователи имеют более высокую эффективность капитала/ликвидности и могут вывести средства в любое время.

3. Распределение ликвидности

Стоит отметить, что, поскольку транзакции ZK-Rollups могут быть подтверждены быстро, можно реализовать надежную связь между ZK-Rollups, чтобы все Rollups могли делиться ликвидностью активов. **А из-за наличия доказательств мошенничества и 7-дневного периода проверки нереально обеспечить надежную внутреннюю связь между оптимистическими накопительными пакетами.

Протокол NCRC (Native Cross Rollup Communication) платформы ZK-RaaS Opside обеспечивает надежное решение для совместимости Rollup. Протокол NCRC не добавляет дополнительный сторонний мост к каждому Rollup, а преобразует мост (собственный мост), который поставляется с ZK-Rollup, на уровне системы, чтобы напрямую использовать собственный мост каждого ZK-Rollup для достижения перекрестная коммуникация. Этот подход является более кратким и тщательным, он не только наследует абсолютную безопасность собственного моста, но также позволяет избежать сложности системы и затрат на доверие, связанных со сторонним мостом.

NCRC был запущен в тестовой сети, и пользователи могут испытать его напрямую.

4. Безопасность

• Оптимистичные накопительные пакеты: доказательства мошенничества гарантируют достоверность транзакций, поскольку честные валидаторы защищают сеть блокчейна. Без честных узлов, способных оспаривать недействительные транзакции, злоумышленники могут украсть средства, и такие оптимистичные объединения будут небезопасными.
• ZK-Rollups: вместо того, чтобы полагаться на честных проверяющих, ZK-Rollups использует доказательства с нулевым разглашением для проверки транзакций. Преимущество состоит в том, что ZKP обеспечивают гарантии безопасности посредством математических доказательств, а не человеческих действий. Поэтому ZK-Rollups не заслуживают доверия.

Хотя доказательство мошенничества с помощью оптимистических накопительных пакетов теоретически осуществимо, и несколько накопительных пакетов уже действуют. Однако с течением времени и увеличением количества Оптимистических накопительных пакетов риски этой модели безопасности будут постепенно обнажаться, превращаясь в серого носорога или даже в чёрного лебедя. Потому что эксплуатация честного валидатора обходится дорого и в большинстве случаев убыточно. Когда Op-RaaS создает большое количество оптимистических накопительных пакетов, за исключением нескольких головных накопительных пакетов, трудно гарантировать, что каждый накопительный пакет имеет честные узлы, особенно те накопительные пакеты, которые не задействованы. **

Безопасность ZK-Rollups не требует доверия, поскольку они не полагаются на пользователей или верификаторов для оспаривания мошеннических транзакций, а предоставляют гарантии безопасности посредством математических доказательств.

Подведем итог

Будь то ZK-RaaS или Op-RaaS, разработчики могут иметь собственную цепочку приложений Rollup без необходимости управлять сложным программным и аппаратным обеспечением.

Платформа ZK-RaaS, представленная Opside( ), запустила протоколы ZK-PoW и NCRC, что сделало преимущества ZK-Rollup более очевидными.