Хто може порушити план «чотирьох частин» багатокутника?
Автор: s, аналітик венчурного капіталу
Складач: Фелікс
Коли Ethereum зіткнувся з перевантаженням мережі, захмарні комісії зробили мережу Ethereum надто дорогою, і деякі користувачі не могли собі це дозволити, через що багато користувачів залишили екосистему Ethereum. Враховуючи дорожню карту Ethereum, орієнтовану на зведення, і позицію Віталіка про те, що в майбутньому зведені ZK переможуть зведені Optimistic. Будучи сайдчейн-полігоном Ethereum, який має на меті вирішення масштабованості, він бачить потенціал ZK у залученні наступного покоління мільярдів користувачів у сферу блокчейну та інвестує 1 мільярд доларів у створення рішень ZK. Що стосується макета Polygon на ZK, аналітики венчурного капіталу інтерпретували чотири основні рішення Polygon ZK.
Багатокутник Hermez | zkEVM
Hermez — це перший децентралізований ZK Rollup в основній мережі Ethereum, який пропонує платіжні послуги вже в березні 2021 року. Polygon Hermez базується на архітектурі ZK-SNARK і має на меті вирішити проблему масштабованості блокчейну Ethereum за допомогою доказів з нульовим знанням, щоб забезпечити швидші та дешевші транзакції в мережі Ethereum. Оскільки EVM не було створено для генерації доказів ZK (ZKP), Polygon Hermez створив zkEVM головним чином шляхом відтворення всього операційного коду EVM.
Чому zkEVM?
Створюючи zkEVM, код операції EVM, емульований Polygon Hermez, може принести такі переваги:
Успадкуйте надійну безпеку Ethereum
Простота впровадження, оскільки спільнота розробників 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.
Багатокутник Miden | СТАРК
Зведення на основі 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.
Багатокутник Nightfall| Оптимістичний + ЗК
На відміну від вищезгаданих рішень ZK, Nightfall фокусується на приватних переказах і платежах, підтримуючи токени ERC20, ERC721 і ERC1155.
Будь-які дані, які не потрібно зберігати в смарт-контракті, зберігаються поза мережею, оптимізуючи смарт-контракт. Команда працює над механізмом миттєвого виведення коштів, який дозволить користувачам обійти 1-тижневий термін для надання доказів шахрайства. Цей протокол значно повільніший, до 105 TPS. Проте, за оцінками, вартість газу при транспортуванні можна знизити до 86%, стабілізувавшись на рівні приблизно 9000 газів.
Порівняти
На малюнку нижче наведено авторський підсумок чотирьох схем:
на завершення
Очевидно, що Polygon інвестує значний час і гроші в розробку рішень для масштабування ZK. Давайте почекаємо і подивимося продуктивність основної мережі і як вона буде працювати з іншими протоколами ZK.
Переглянути оригінал
Контент має виключно довідковий характер і не є запрошенням до участі або пропозицією. Інвестиційні, податкові чи юридичні консультації не надаються. Перегляньте Відмову від відповідальності , щоб дізнатися більше про ризики.
Порівняльний аналіз чотирьох основних ZK-рішень Polygon: які їхні особливості та переваги?
Автор: s, аналітик венчурного капіталу
Складач: Фелікс
Коли Ethereum зіткнувся з перевантаженням мережі, захмарні комісії зробили мережу Ethereum надто дорогою, і деякі користувачі не могли собі це дозволити, через що багато користувачів залишили екосистему Ethereum. Враховуючи дорожню карту Ethereum, орієнтовану на зведення, і позицію Віталіка про те, що в майбутньому зведені ZK переможуть зведені Optimistic. Будучи сайдчейн-полігоном Ethereum, який має на меті вирішення масштабованості, він бачить потенціал ZK у залученні наступного покоління мільярдів користувачів у сферу блокчейну та інвестує 1 мільярд доларів у створення рішень ZK. Що стосується макета Polygon на ZK, аналітики венчурного капіталу інтерпретували чотири основні рішення Polygon ZK.
Багатокутник Hermez | zkEVM
Hermez — це перший децентралізований ZK Rollup в основній мережі Ethereum, який пропонує платіжні послуги вже в березні 2021 року. Polygon Hermez базується на архітектурі ZK-SNARK і має на меті вирішити проблему масштабованості блокчейну Ethereum за допомогою доказів з нульовим знанням, щоб забезпечити швидші та дешевші транзакції в мережі Ethereum. Оскільки EVM не було створено для генерації доказів ZK (ZKP), Polygon Hermez створив zkEVM головним чином шляхом відтворення всього операційного коду EVM.
Чому zkEVM?
Створюючи zkEVM, код операції EVM, емульований Polygon Hermez, може принести такі переваги:
Успадкуйте надійну безпеку Ethereum
Простота впровадження, оскільки спільнота розробників 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.
Багатокутник Miden | СТАРК
Зведення на основі 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.
Багатокутник Nightfall| Оптимістичний + ЗК
На відміну від вищезгаданих рішень ZK, Nightfall фокусується на приватних переказах і платежах, підтримуючи токени ERC20, ERC721 і ERC1155.
Будь-які дані, які не потрібно зберігати в смарт-контракті, зберігаються поза мережею, оптимізуючи смарт-контракт. Команда працює над механізмом миттєвого виведення коштів, який дозволить користувачам обійти 1-тижневий термін для надання доказів шахрайства. Цей протокол значно повільніший, до 105 TPS. Проте, за оцінками, вартість газу при транспортуванні можна знизити до 86%, стабілізувавшись на рівні приблизно 9000 газів.
Порівняти
На малюнку нижче наведено авторський підсумок чотирьох схем:
на завершення
Очевидно, що Polygon інвестує значний час і гроші в розробку рішень для масштабування ZK. Давайте почекаємо і подивимося продуктивність основної мережі і як вона буде працювати з іншими протоколами ZK.