Час читання: 9 протокол
Polygon зберігає свою корону, залучаючи ZKrollup.
Проблема з основною мережею Ethereum
Ethereum є основою екосистеми web3. Він продовжує дивувати найгеніальніші уми світу своїм потенціалом. Потенціал різноманітних застосувань змусив би навіть Ейнштейна почухати голову на мить.
Але так, це не казка. Кожна дивовижна річ має обмеження. Постійним обмеженням, з яким стикається Ethereum, є «комісія за газ», або, іншими словами, масштабованість, Ethereum Classic має обмеження на виконання транзакцій 15 за секунду. Однак ETH 2.0 буде набагато швидшим, але нам ще попереду довгий шлях.
Випробувані рішення
Після років досліджень, тривалих досліджень і відданості роботі веб3-спільноті вдалося вийти з деякими рішеннями, які допомагають краще масштабувати
- Масштабування рівня 1: це методологія, за допомогою якої ми намагаємося покращити блокчейн, вносячи деякі зміни в архітектуру. Наприклад, ETH 2.0 є рішенням для масштабування рівня 1, оскільки воно намагається встановити PoS для PoW в ETH Classic. Цей тип рішення є дорогим і займає багато часу.
- Roll Ups: це рішення рівня 2, яке є найбільш перспективним претендентом. Користувачі отримують безпеку, що підтримується блокчейном Ethereum із високою пропускною здатністю.
- Сайдчейни: вони сумісні з EVM і можуть масштабувати програми загального призначення, але вони мають недоліки. Оскільки Ethereum не підтримує свою безпеку, спільнота Web3 має бути постійно в курсі. Це стосується масштабування рівня 2.
https://twitter.com/MessariCrypto/status/1377655515099062273/photo/1
Багатокутник взяти
Розпочавшись як проект масштабування Ethereum, Polygon, раніше відомий як Matic Network, став яскравою зіркою в просторі web3. Для підтвердження транзакції в багатокутній мережі потрібні центи, тоді як у мережі Ethereum ця сама транзакція потребує доларів. Все це стало можливим завдяки сайдчейну, побудованому на основі основної мережі Ethereum.
Пізніше Matic Network досліджувала більше різних способів масштабування блокчейну Ethereum і була перейменована на «Polygon», щоб надати різні рішення для кращого масштабування блокчейну Ethereum.
На момент написання цього блогу є кілька проектів: -
- Полігон PoS
- Багатокутні супермережі
- Нульовий багатокутник
- Багатокутник Міден
- Многокутник зкЕВМ
У цьому блозі ми розглянемо новий випуск Polygon zkEVM, який є одним із популярних проектів для масштабування Ethereum.
Многокутник зкЕВМ
Polygon zkEVM — це продукт за полігоном для масштабування Ethereum, щоб зменшити плату за газ і збільшити пропускну здатність. «ZK» означає «нуль знань», тип Roll up. Перш ніж рухатися вперед, нам потрібно зрозуміти RollUps.
Що таке Roll-up
Уявіть собі це таким чином, припустімо, що з міста А до міста Б існує поштова служба, але є лише 1 транспортний засіб, який може прийняти лише 100 конвертів один раз на день. Ви вважаєте, що це обмежує, і намагаєтеся знайти спосіб. Що ви можете зробити, так це взяти 10 листів і написати їх короткий зміст в одному листі та покласти його в конверт для відправки. таким чином ми можемо опублікувати 99 + (10) листів. По суті, це і є згортання.
Ось як зведення по суті працює в основній мережі Ethereum. Ми беремо частину транзакцій, збираємо їх у «згорток», узагальнюємо їх, а потім надсилаємо це в основну мережу. Це збільшує пропускну здатність. Комісія за транзакцію розподіляється між різними сторонами, пов’язаними з транзакціями в групі, що згортається. Таким чином ми значною мірою знижуємо плату за газ.
Рулонні механізми
Кожне зведення розгортає деякі смарт-контракти на рівні 1, які пов’язані з:-
- Обробка депозитів
- Зняття
- Перевірка доказів
Головне, що викликає занепокоєння, – це механізм перевірки. Як перевірити, що зведення, подане на рівень 1, не є шахрайським? Щоб перевірити це, у нас є два механізми перевірки: -
- нульові знання: цей механізм використовує докази дійсності та підтримується криптографією. Пакет транзакцій, які згортаються, включає криптографічний доказ, відомий як «zk-snark». Доказ швидко перевіряється смарт-контрактами рівня 1, коли надсилається пакет транзакцій, а недійсні відхиляються.
- Оптимізм: цей механізм працює захищено від шахрайства. Це означає, що ми маємо довести, що партія, надіслана на рівень 1, не є шахрайською. Залучено 2 сторони: одна з них надсилає пакет протоколу рівня 1, вказуючи, що пакет правильний, і ставить на карту гроші, якщо буде доведено, що він неправий, а інша сторона намагається надіслати пакет, який захищає від шахрайства, заявивши, що цей пакет є шкідливим і цим позовом ставить певні ставки. Якщо хтось надає докази шахрайства, партія перевіряється за протоколом рівня 1, і сторона, яка виявилася помилковою, карається.
Архітектура zkEVM полігону:-
Наразі ви маєте добре розуміти, як працюють згортання, зокрема zk-roll-up. Основні компоненти, які ми знаходимо в zkEVM полігону, це:-
- Консенсусний контракт (PolygonZkEVM.sol)
- zkNode
- zkProver
Консенсусний контракт
Цей контракт розгорнуто на L1 і відіграє вирішальну роль, використовуючи доказ дійсності для забезпечення надійності переходів між станами. Для цього він має заздалегідь визначені правила, які дотримуються, щоб дозволити переходи між станами.
Для перевірки успішного завершення переходу стану цей контракт використовує схеми zk-SNARK. Ця система спирається на два процеси: транзакції, які є групуванням і перевіркою транзакцій, як пояснювалося раніше.
Для проведення групування транзакцій і перевірки транзакцій zkEVM залучає двох учасників:-
- Секвенсори: - пропонують пакети транзакцій у мережу.
- Агрегатори: - Перевірте дійсність пакетів транзакцій і надайте дійсні докази.
Більше про секвенсори та агрегатори пізніше, давайте зосередимося на цьому контракті. Контракт передбачає два виклики-
- для отримання партій від секвенсорів
- Агрегаторам із запитом перевірки партій
Увесь цей процес можна підсумувати на наступній схемі (тут PoE — наш консенсусний контракт):-
zkNode
Ми познайомилися з секвенсором і агрегатором у консенсусному контракті, ці дві ключові частини архітектури zkEVM, а zkNode — це програмне забезпечення, яке дозволяє їм працювати. zkNode — це клієнт, необхідний для впровадження синхронізації та керування секвенсорами й агрегаторами. Отже, програмне забезпечення zkNode забезпечує 4 аспекти:-
- Секвенсери: - Секвенсер – це той, хто отримує транзакції L2 від користувачів і попередньо обробляє їх у новий пакет L2, який потім пропонується Контракту Consensous. Секвенсер отримує комісію, подану користувачами за їхні транзакції на L2. Щоб опублікувати цей пакет на L1, Секвенсор повинен сплатити комісію L1, а також сплатити деякі токени MATIC, які працюють як стимул для Агрегаторів перевіряти цей пакет. Таким чином, секвенсор є прибутковим, якщо: - комісія за txn (отримана користувачами в L2 за їх трансакцію) > виклик L1 (комісія за газ для публікації на L1) + комісія MATIC (щоб стимулювати агрегаторів до перевірки)
- Агрегатори: - Агрегатори мають вирішальне значення для перевірки цілісності пакета. Агрегатори отримують всю інформацію про транзакції, а потім надсилають її до «zkProver» (докладніше про це пізніше), який, у свою чергу, надає «zk-Proof», який є результатом складних поліноміальних обчислень. Потім «zk-Proof» надсилається в смарт-контракт, щоб перевірити правильність підтвердження. Потім цю партію позначають правильною та готовою до додавання. Агрегатор є прибутковим, якщо:- комісія MATIC (від секвенсора) > виклик L1 (комісія за газ) + вартість сервера (для створення доказів)
- Синхронізатор: Основним аспектом синхронізатора є читання подій з блокчейну Ethereum і включення нових пакетів для підтримки синхронізації стану. Інформація про ці події зберігається в базі даних. Синхронізатор отримує дані зі смарт-контрактів. Потім усі ці дані передаються третім особам через службу JSON-RPC.
- RPC: JSON-RPC — це важливий інтерфейс, сумісний з Ethereum. Коли нам потрібна програмна програма для підключення до блокчейну Ethereum, вона підключається до вузла Ethereum. Ось як з’являється RPC. Це дозволяє zkEVM інтегрувати Metamask і Etherscan і взаємодіяти з транзакціями Pool і State.
zkProver
Ця частина архітектури zkEVM є найбільш технологічно орієнтованою та складною. Ви будете здивовані, дізнавшись, що це зробити. Розробникам довелося розробити дві нові мови програмування, щоб реалізувати необхідні елементи:-
- Zero — Knowledge Assembly:- Говорячи простою мовою, ця мова відображає інструкції від основного кінцевого автомата zkProver до інших кінцевих автоматів. Щоб дізнатися більше про цю мову, перевірте це.
- Поліноміальна мова ідентичності (PIL): - Було проведено багато досліджень, щоб вирішити трилему блокчейну конфіденційності, безпеки та масштабованості. До сьогоднішнього дня було зроблено кілька спроб і спроб різних теорій, але найбільш прийнятною на сьогоднішній день є «Поліноміальна схема зобов’язань». Тому обчислення зручно виконувати лише на поліноміальній мові. Таким чином, коди PIL формують основу верифікаційного коду zkProver. Щоб дізнатися більше про це, підпишіться тут.
zkProver підтримується багаторічними дослідженнями в різних відділах, що робить його складність виправданою. Існує кілька основних компонентів zkProver: -
- Виконавець: - У цій частині йдеться про виконання zkEVM з головної кінцевої машини. Тут байт-коди EVM інтерпретуються за допомогою нової «мови асемблера без знань» (zkASM), про яку йшлося раніше. У цій частині ми маємо справу з налаштуванням поліноміальних обмежень, яким має відповідати кожна дійсна партія транзакцій і подавати вхідні дані, такі як транзакції, старий/новий стан, ідентифікатор ланцюга тощо. Ось PIL (Polynomial Identity Language) для кодування поліноміальні обмеження. Результатом цього кроку є «Поліноми зобов’язань», які є результатом виконання всіх інструкцій поверх апаратного забезпечення PIL.
- Компонент рекурсії Старка: цей крок передбачає взаємодію трьох основних вхідних даних: закріплені поліноми, постійні поліноми та список інструкцій. Ці три входи змішуються для створення доказів zk-STARK. Ці кілька доказів zk-STARK зібрані в пакети з кількох доказів zk-STARK і створюють докази zk-STARK для кожного пакета. Потім ці докази поміщаються в пакет і зіставляються, щоб сформувати єдиний доказ zk-STARK. Ось як сотні доказів zk-STARK представлені та підтверджені лише одним доказом zk-STARK.
- Бібліотека CIRCOM:- Цей крок передбачає взаємодію з даними верифікатора та одним доказом zk-STARK, створеним через Stark Recursion Componenet для генерації «свідка». Цей крок необхідний для наступного кроку для перетворення доказу zk-STARK на zk- Доказ SNARK.
- Rapid Snark: - це останній компонент zkProver. Це етап, на якому вихідні дані бібліотеки CIRCOM подаються разом із даними верифікатора STARK для створення доказу zk-SNARK.
Докази zk-STARK використовуються через їх швидкість, але вони набагато більші, ніж докази zk-SNARK. З цієї причини zkProver використовує zk-SNARK, створений на останньому кроці, використовуючи дані з доказів zk-STARK. Взаємодію цих чотирьох компонентів можна розглядати як:
Дивлячись на аспект безпеки
З точки зору безпеки проект zkEVM знаходиться на середньовічній стадії, і команда полігону постійно бере участь у внутрішніх і зовнішніх перевірках. Інформація про результати внутрішніх аудитів здебільшого засекречена, але Polygon скористався допомогою двох зовнішніх аудиторів (Hexens і Spearbit). Демонстрація потрібно пройти аудит смарт-контрактів навіть великими гігантами. Це правда, що «хаки приходять несподівано». Дійсно, ви ніколи не можете бути настільки впевненими та безпечними. Більшість гігантів екосистеми web3 розуміють це та докладають усіх зусиль, щоб захистити себе.
Зараз, як ніколи, нам потрібно захистити web3. На цьому етапі отримання професійної перевірки коду смарт-контрактів є життєво важливим, оскільки розробники економлять незліченні робочі години. Переконайтеся, що ваші контракти безпечні, як ніколи важливо. Ми разом можемо зробити Web3 безпечнішим простором. Відвідайте QuillAudits досліджувати різні послуги та рішення.
11 думки
- Розповсюдження контенту та PR на основі SEO. Отримайте посилення сьогодні.
- Платоблокчейн. Web3 Metaverse Intelligence. Розширені знання. Доступ тут.
- джерело: https://blog.quillhash.com/2023/02/03/polygon-zk-rollup-an-incredibly-simple-explanation/
- 1
- 10
- 100
- a
- МЕНЮ
- про це
- доданий
- Агрегатор
- Агрегатори
- ВСІ
- серед
- та
- додаток
- застосування
- архітектура
- зовнішній вигляд
- аспекти
- збірка
- асоційований
- Спроби
- Аудитори
- аудит
- назад
- Хребет
- підтриманий
- основа
- оскільки
- перед тим
- буття
- Краще
- Великий
- Blend
- blockchain
- Блог
- блискучий
- Приведення
- будувати
- побудований
- Пакет
- розрахунки
- call
- нести
- ланцюг
- Ідентифікатор ланцюга
- Зміни
- перевірка
- Місто
- стверджувати
- classic
- класифікований
- клієнт
- код
- Перегляд коду
- збирати
- Приходити
- зобов'язання
- вчинено
- співтовариство
- сумісний
- завершення
- комплекс
- складність
- компонент
- Компоненти
- обчислення
- Занепокоєння
- підтвердити
- З'єднуватися
- з'єднує
- Консенсус
- постійна
- постійно
- обмеження
- триває
- постійно
- контракт
- контрактів
- Зручний
- конвертувати
- створювати
- створений
- Корона
- вирішальне значення
- криптографічні
- криптографія
- дані
- Database
- Дата
- день
- угода
- Пропозиції
- відданість
- відомства
- розгорнути
- розгортає
- розвивати
- розробників
- різний
- обговорювалися
- диверсифіковані
- розділений
- справи
- доларів
- недоліки
- кожен
- екосистема
- елементи
- з'явився
- працює
- уповноважений
- повноваження
- дозволяє
- забезпечувати
- по суті
- встановити
- і т.д.
- ETH
- Ет 2.0
- ет класика
- Ефіріума
- Блокчейн Ethereum
- Ethereum Класичний
- ГОЛОВНА МЕРЕЖЕ ETHEREUM
- масштабування ефіру
- ефіри
- Навіть
- Події
- НІКОЛИ
- Кожен
- EVM
- приклад
- виконання
- дорогий
- пояснені
- пояснення
- дослідити
- Розвіданий
- зовнішній
- полегшує
- облицювання
- швидше
- Fed
- плата
- Інформація про оплату
- кілька
- остаточний
- знайти
- Перший
- Сфокусувати
- стежити
- потім
- після
- форма
- раніше
- Вперед
- шахрайство
- доказ шахрайства
- шахрайський
- від
- ГАЗ
- газові збори
- Головна мета
- породжувати
- отримати
- отримання
- Go
- добре
- Жорсткий
- апаратні засоби
- голова
- допомога
- тут
- Гексени
- Високий
- ГАРЯЧА
- ГОДИННИК
- Як
- Однак
- HTTPS
- Сотні
- ID
- Особистість
- здійснювати
- in
- В інших
- Стимул
- включати
- includes
- Augmenter
- Збільшує
- неймовірно
- інформація
- вхід
- інструкції
- інтегрувати
- цілісність
- взаємодія
- взаємодіє
- інтерфейс
- внутрішній
- введені
- залучений
- IT
- тримати
- Знати
- знання
- відомий
- L1
- l2
- мова
- мови
- більше
- останній
- шар
- шар 1
- Layer 2
- масштабування шару 2
- УЧИТЬСЯ
- лист
- бібліотека
- МЕЖА
- обмеження
- список
- Довго
- серія
- машина
- Машинки для перманенту
- головний
- основна мережа
- підтримує
- основний
- зробити
- РОБОТИ
- Робить
- вдалося
- багато
- карти
- позначено
- Matic
- Matic Network
- засоби
- механізм
- середньовічний
- MetaMask
- Методологія
- умів
- момент
- гроші
- більше
- найбільш
- рухатися
- необхідно
- Необхідність
- мережу
- Нові
- наступний
- вузол
- ONE
- Інше
- частина
- Учасники
- приватність
- Сторони
- частини
- партія
- Платити
- Виконувати
- виконанні
- фаза
- картина
- plato
- Інформація про дані Платона
- PlatoData
- точка
- Багатокутник
- Мережа багатокутників
- Полігон
- басейн
- PoS
- це можливо
- пошта
- потенціал
- Поу
- раніше
- недоторканність приватного життя
- процес
- процеси
- виробляти
- Product
- професійний
- прибутковий
- Програмування
- мови програмування
- проект
- проектів
- перспективний
- доказ
- докази
- пропонувати
- запропонований
- протокол
- Доведіть
- доведений
- забезпечувати
- забезпечує
- публікувати
- Штовхати
- Натискання
- put
- Ставить
- швидко
- Квілхаш
- піднімається
- Читати
- готовий
- причина
- отримати
- отримано
- отримує
- зменшити
- звільнити
- представлений
- вимагається
- дослідження
- обмеження
- результат
- результати
- огляд
- стійкість
- Роль
- Котити
- згорнути
- Згортання
- Прокат
- Згортання
- Правила
- безпечніше
- то ж
- економія
- масштабованість
- шкала
- Масштабування
- Рішення для масштабування
- другий
- безпечний
- безпеку
- обслуговування
- Послуги
- комплект
- кілька
- демонстрація
- сайдчейн
- простий
- один
- розумний
- розумний контракт
- Спритні контракти
- хитрощі
- So
- Софтвер
- SOL
- рішення
- Рішення
- ВИРІШИТИ
- деякі
- Хтось
- Простір
- швидкість
- Стажування
- частка
- стенди
- Star
- різко
- стан
- Крок
- Як і раніше
- зберігати
- Дослідження
- представляти
- представлений
- успішний
- такі
- РЕЗЮМЕ
- підсумували
- сюрприз
- синхронізація
- система
- Приймати
- приймає
- взяття
- команда
- terms
- Команда
- інформація
- Держава
- світ
- їх
- самі
- річ
- третій
- треті сторони
- три
- через
- пропускна здатність
- час
- до
- сьогодні
- разом
- Жетони
- топ
- угода
- транзакційний
- Transactions
- перехід
- переходи
- правда
- ПЕРЕГЛЯД
- при
- розуміти
- розуміння
- UPS
- користувачі
- використовує
- ПЕРЕВІР
- перевірка достовірності
- автомобіль
- перевірка
- перевірено
- перевірити
- життєво важливий
- способи
- Web3
- Спільнота Web3
- Екосистема Web3
- Простір Web3
- Що
- який
- ВООЗ
- всі
- волі
- Work
- працює
- світ
- б
- запис
- лист
- Неправильно
- років
- Ти
- вашу
- зефірнет
- zk-зведення
- zkEVM