Порівняльний аналіз чотирьох основних ZK-рішень Polygon: які їхні характеристики та переваги?

Автор: s, аналітик венчурного капіталу

Упорядник: Фелікс, PANews

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

Багатокутник Hermez | zkEVM

Hermez — це перший децентралізований ZK Rollup в основній мережі Ethereum, який пропонує платіжні послуги вже в березні 2021 року. Базуючись на архітектурі ZK-SNARK, Polygon Hermez прагне вирішити проблему масштабованості блокчейну Ethereum, використовуючи докази з нульовим знанням, щоб забезпечити швидші та дешевші транзакції в мережі Ethereum. Оскільки EVM не було створено для створення доказів ZK (ZKP), Polygon Hermez в основному будує zkEVM, відтворюючи весь код операцій EVM.

Чому****zkEVM?

Створюючи zkEVM, код операції EVM, змодельований Polygon Hermez, може принести такі переваги:

1. Успадкуйте надійну безпеку Ethereum

2. Простота впровадження, оскільки спільнота розробників Ethereum може легко перенести свою роботу EVM на zkEVM і використовувати існуючі інструменти (хороший досвід розробки).

Продуктивність

Архітектура на основі ZK-SNARK може забезпечити до 2000 TPS і зберегти вартість нижче 300 000 Gas.

Полігон Нуль | СНАРК + СТАРК

Polygon Zero раніше був відомий як Mir Protocol. Коли Polygon Zero спочатку розробив Plonky2, для створення рекурсивного доказу знадобилося 2 хвилини. І тепер Plonky2 займає лише 170 мс, щоб створити рекурсивний доказ на ноутбуці.

Polygon Zero зрештою створює найбільш масштабовану zkEVM на базі Plonky2. Plonky2 — це рекурсивний SNARK, який у 100 разів швидший за будь-яку іншу схему масштабування ZK на Ethereum. Це досягається шляхом поєднання переваг STARK (швидке підтвердження та відсутність надійного налаштування) з перевагами SNARK (рекурсія, низька вартість перевірки).

Сумісність з EVM

Plonky2 сумісний із нативним Ethereum, підтримує код Solidity та перетворює його на байт-код ZK. Таким чином, Polygon Zero може використовувати існуючу екосистему dApp Ethereum.

Міден багатокутника | СТАРК

Зведення на основі STARK має такі функції:

• Прозорість і масштабованість: не потрібні довірені налаштування/попередня обробка
• Економна криптографія: майбутні атаки на квантовий комп’ютер неможливі
• Висока продуктивність: найкращий час створення доказів і верифікації

Polygon Miden зосереджується навколо Miden VM (віртуальної машини) і підтримує довільні програми. Більш зручний для розробників, приховуючи всю криптографічну складність ZKP і дотримуючись архітектурних шаблонів, знайомих розробникам (стекові машини, пам’ять для читання та запису тощо).

Безпека

Однією з головних особливостей Polygon Miden є безпека. Протокол видаляє деякі небезпечні функції (доступні на EVM), що полегшує статичний аналіз смарт-контрактів і запобігає певним помилкам на рівні віртуальної машини (VM).

Сумісність з EVM

Miden сумісний з Ethereum на рівні Solidity. Розробники можуть розгортати більшість смарт-контрактів Solidity на Miden без змін. Ще однією новинкою є сумісність з іншими мовами, такими як Move і Sway.

Продуктивність

На момент запуску TPS становитиме від 1000 до 2000. Після того, як сегменти будуть розгорнуті на Ethereum, TPS сягне приблизно 20 000 TPS.

Polygon Nightfall**| Оптимістичний + ЗК**

На відміну від вищезгаданих рішень ZK, Nightfall фокусується на приватних переказах і платежах, підтримуючи токени ERC20, ERC721 і ERC1155.

Будь-які дані, які не потрібно зберігати в смарт-контракті, зберігаються поза мережею, оптимізуючи смарт-контракт. Команда працює над механізмом миттєвого виведення коштів, який дозволить користувачам обійти 1-тижневий термін для надання доказів шахрайства. Цей протокол значно повільніший, до 105 TPS. Проте, за оцінками, плату за передачу газу можна знизити до 86%, стабілізувавшись на рівні приблизно 9000 газу.

Порівняйте

На малюнку нижче наведено авторський підсумок чотирьох схем:

! Порівняльний аналіз чотирьох основних ZK-рішень Polygon: які їхні характеристики та переваги?

на завершення

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

Пов’язана інформація: стаття для розуміння 5 рішень розширення в екосистемі Polygon