Суперечка щодо маршруту ZK/OP RaaS: чому ZK-RaaS кращий?

TL; ДОКТОР

У порівнянні з Optimistic Rollups, ZK-Rollups має такі переваги:

• Стиснуті дані транзакцій заощаджують витрати на газ L1
• Безпечніший і надійніший
• Швидша швидкість підтвердження транзакції та коротший час виведення

На додаток до цих переваг, ZK-RaaS також має переваги в таких аспектах через мережеві ефекти:

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

Що таке RaaS?

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

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

1. Вартість

Вартість газу L1 для ZK-Rollups нижча, ніж у Optimistic Rollups

Однією з головних цілей рішення Rollup є збільшення пропускної здатності транзакцій на Ethereum і зниження витрат на газ для користувачів. Optimistic Rollups і ZK-Rollups досягають цього шляхом групування транзакцій і надсилання їх до основної мережі через регулярні проміжки часу. Тому всі вони повинні нести плату за газ за дані, надані до L1.

• Через докази шахрайства Optimistic Rollups має публікувати всі дані транзакцій у ланцюжку. Тому їм потрібно більше газу, щоб надсилати пакети даних до основного ланцюга.
• Оскільки ZK-Rollups мають ефективні методи стиснення даних (наприклад, використання індексів для представлення облікових записів користувачів замість адрес, це зберігає 28 байт даних). Це допомагає зменшити витрати на публікацію даних транзакцій у базовому ланцюжку.

Таким чином, ZK-Rollups може заощадити більше газу L1, ніж Optimistic Rollups.

ZK-RaaS знижує вартість розрахунку ZKP завдяки масштабній участі майнерів

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

При широкомасштабному впровадженні ZK-Rollup для створення обчислювальної потужності для створення ZKP потрібна велика кількість CPU, GPU, 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 днів, і транзакція не буде завершена в основному ланцюзі до кінця періоду перевірки. Таким чином, Optimistic Rollups мають високу затримку для завершення транзакції.
• ZK-Rollups: перевага ZK-Rollups полягає в тому, що затримка завершення транзакції є низькою, зазвичай становить десятки хвилин або навіть хвилини. Щойно оператор вузла перевірить доказ дійсності, це призведе до оновлення стану.

Оскільки Optimistic Rollups має період перевірки, користувачі не можуть зняти кошти до закінчення терміну дії, що спричиняє незручності. Однак ZK-Rollups не має періоду перевірки, і користувачі мають кращу ефективність капіталу/ліквідності та можуть зняти кошти в будь-який час.

3. Розподіл ліквідності

Варто зазначити, що оскільки транзакції ZK-Rollups можна швидко підтвердити, можна реалізувати бездовірний зв’язок між ZK-Rollups, щоб усі Rollups могли спільно використовувати ліквідність активів. **І через існування доказів шахрайства та 7-денний період перевірки нереально досягти надійного рідного зв’язку між Optimistic Rollups.

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

NCRC було запущено в тестовій мережі, і користувачі можуть випробувати його безпосередньо

4. Безпека

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

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

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

Підведіть підсумки

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

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