1/ Манта Пасифік
Manta Pacific — це рішення Ethereum Layer 2, розроблене для програм ZK. Це модульний рівень 2, побудований на Ethereum, і він залучив понад 60 мільйонів доларів фінансування від таких установ, як Polychain, Binance Labs, CoinFund і SevenX Ventures.
Наразі Manta Pacific базується на власній архітектурі OP Stack від Caldera, що робить її майже на 100% сумісною з Ethereum EVM. Це дозволяє існуючим розробникам в екосистемі Ethereum легко перенести свої програми на Manta Pacific.
Manta Pacific переносить рівень доступності даних з Ethereum на Celestia, роблячи його першим рівнем 2, який використовує Celestia як рівень доступності даних.
Manta також включає схеми ZK в Manta Pacific. Розробники можуть легко викликати функції ZK за допомогою лише кількох рядків коду через SDK та API, що дозволяє інтегрувати ZK з існуючими DApps або розробляти нові додатки ZK.
2/ Модульність
Модульність відноситься до дизайну продукту та архітектурного мислення, яке є поширеним у Web2 і традиційних галузях. Наприклад, виробники смартфонів вибирають постачальників для екранів, чіпів, WiFi, Bluetooth тощо, а потім використовують контрактних виробників для складання, що значно підвищує ефективність і знижує витрати, а не виробляє всі компоненти самостійно.
Як правило, блокчейн можна розбити на рівень консенсусу, рівень розрахунків, рівень доступності даних і рівень виконання.
Основна мережа Ethereum відповідає за остаточний консенсус і відповідальність за врегулювання, а проекти рівня доступності даних включають Celestia, EigenDA, Polygon Avail тощо. Загальні рівні 2 Ethereum є проектами рівня виконання.
Модульність означає налаштування та більшу можливість компонування. Проекти можуть йти на компроміси залежно від своїх потреб, наприклад, довіряти безпеку основній мережі Ethereum, домагаючись низьких комісій за газ, навіть нульових комісій за газ і надвисокої швидкості транзакцій.
Модульність дозволяє проектам будувати свій ланцюжок на основі перевірених технічних стеків, таких як Polygon CDK або OP Stack, не створюючи всю інфраструктуру з нуля.
3/ Модульність Manta Pacific
Модульна конструкція Manta охоплює два аспекти:
Manta Pacific використовує стеки зрілих технологій, такі як OP Stack і Polygon CDK, для реалізації своєї модульної архітектури.
На відміну від інших рішень рівня 2, Manta Pacific не будувала свою інфраструктуру з нуля, а натомість використовувала існуючий зрілий стек технологій OP Stack.
Якби Manta була нещодавно створеним брендом смартфонів, використання OP Stack було б схоже на пряме використання ланцюжка поставок і технологічної архітектури iPhone.
Перевага цього підходу полягає в тому, що Optimism є проектом, перевіреним ведмежим ринком, а його стек технологій, OP Stack, також пройшов довгострокове ринкове тестування та є дуже зрілим. Manta Pacific може прямо стояти на плечах гігантів, значною мірою успадкувавши наявні переваги безпеки та технічні переваги OP Stack.
Крім того, він досягає повної сумісності з EVM, дозволяючи розробникам легко переносити існуючі DApps на Manta Pacific. Що ще важливіше, Manta може більше зосередитися на створенні екосистеми та розширенні проекту. На сьогоднішній день Manta Pacific перевірила понад 810 смарт-контрактів у своєму ланцюжку з понад 200 екосистемними проектами.
Manta Pacific використовує Celestia як рівень доступності даних, тобто безпека доступності даних частково гарантується основною мережею Ethereum і Celestia. Якщо вузли секвенсора публікують автентичні дані, відповідні дані можна знайти як в основній мережі Ethereum, так і в Celestia.
Секвенсор Manta Pacific визначає висоту блоку для публікації блобів в Ethereum. Якщо blob не знаходиться на цій висоті, транзакція недійсна.
Секвенсор публікує дані: транзакцію в папку «Вхідні», закодовану в трьох частинах: номер версії (0x02), висоту блоку (0xa4aa050000000000) і зобов’язання blob (частина, що залишилася). Вказуючи висоту, вузли знають, де шукати.
Наприклад, 0xa4aa050000000000 — це кодування висоти блоку з прямим порядком байтів, перетворене на блок 371364. Цей самий блок можна знайти на сторінці https://celenium.io/block/371364.
Блок містить блок у просторі імен Manta Pacific. Повні дані можна знайти:
Якщо секвенсор публікує фальсифіковані дані, вузли не зможуть знайти зобов’язання на вказаній висоті блоку.
Власні ZK-схеми Manta мають модульну конструкцію, завдяки чому функції ZK вбудовані в Manta Pacific. Розробники можуть повністю викликати та впроваджувати функції та функції ZK у Manta Pacific, відрізняючи його від інших зведених пакетів ZK або zkEVM. Розробники також можуть легко викликати схеми ZK, щоб поєднувати функції ZK із додатками.
Під час взаємодії ZK Rollup користувачі торгують у межах ZK Rollup, а секвенсор зведеного пакету діє як перевірка, визначаючи послідовність транзакцій користувача, стискаючи, пакуючи та генеруючи докази ZK. Розумні контракти основної мережі Ethereum діють як верифікатори, перевіряючи правильність доказу ZK, таким чином перевіряючи правильність транзакцій, які він представляє.
Для смарт-контракту основної мережі не потрібно виконувати складну перевірку транзакцій ZK Rollup, і одне підтвердження ZK може представляти правильність більшої кількості інформації про транзакції, досягаючи масштабованості та покращуючи здатність основної мережі Ethereum підтверджувати транзакції.
Для порівняння користувачі Manta Pacific діють як перевірники, генеруючи докази ZK локально під час подання транзакцій. Он-ланцюгові сортувальники діють як верифікатори, перевіряючи докази ZK. Потім перевірені транзакції стискаються секвенсором і надсилаються в основну мережу Ethereum. На рівні 2 Manta Pacific завершує генерацію та перевірку ZK, повністю реалізуючи функції ZK.
4/ У СТЕКІ
OP Stack — це модульний стек технології блокчейну з відкритим вихідним кодом, запущений командою Optimism, призначений для забезпечення високомасштабованих та сумісних рішень блокчейну. OP Stack має модульну конструкцію, де кожен модуль реалізує певний рівень стеку та підключається через чітко визначені API. Це дозволяє розробникам легко змінювати існуючі модулі або створювати нові, підтримуючи різні типи блокчейн-додатків та інновацій.
Мета OP Stack — вийти за рамки традиційних моделей з одним або кількома ланцюгами та просувати структуру, що складається з високоінтегрованих ланцюгів, відому як Superchain. Завдяки спільному використанню форматів обміну повідомленнями Superchain дозволяє різним мережам легко спілкуватися без спеціальних адаптерів для кожної мережі. Він також підтримує атомарну композицію між ланцюжками, коли кілька операційних ланцюжків спільно використовують набір секвенсорів, забезпечуючи взаємодію між ланцюгами на атомарному рівні.
5/ Рівень доступності даних (Рівень DA)
Рівень доступності даних гарантує, що всі дані в мережі блокчейн, особливо дані рівня 2, можуть бути загальнодоступними та перевіреними. Рівень доступності даних дозволяє будь-якому учаснику отримувати ці дані для перевірки стану мережі та дійсності транзакцій, забезпечуючи важливу гарантію прозорості та безпеки блокчейну.
6/ Селестія
Celestia надає доступність даних і рівень консенсусу, що підключається, побудований на консенсусі Cosmos Tendermint і Cosmos SDK, сумісний із ланцюжками EVM і ланцюжками додатків Cosmos. Ці ланцюги можуть безпосередньо використовувати Celestia як рівень доступності даних, при цьому блокові дані зберігаються, доступ до них і перевіряються через Celestia. Celestia також підтримує нативні Rollups, що дозволяє створювати на ньому 2-й рівень, хоча він не підтримує смарт-контракти.
Зведені пакети інтегруються з Celestia, запускаючи вузли Celestia. Celestia отримує інформацію про транзакції Rollup, замовляє транзакції через консенсус Tendermint, але не виконує та не перевіряє правильність транзакцій. Він пакетує, замовляє, транслює транзакції та забезпечує безпеку та доступність даних за допомогою кодування стирання та вибірки доступності даних (DAS).
7/ ЗК Схеми
У доказах з нульовим знанням «схеми» є способом представлення складних алгоритмів і функцій. Тут схеми не відносяться до традиційних електронних схем, а до математичної або логічної структури.
У контексті доказів із нульовим знанням схеми часто використовуються для опису або визначення конкретної проблеми чи твердження.
Основні функції схем:
Опис проблеми: схеми можуть описувати або визначати конкретну проблему чи твердження. Наприклад, перевіряльник може захотіти довести, що він знає вхідні дані, які задовольняють певну схему.
Конфіденційність деталей: за допомогою схем перевірка може довести, що вони знають інформацію, яка задовольняє умови схеми, не розкриваючи конкретного змісту цієї інформації.
Верифікованість: схеми надають верифікатору спосіб перевірити правильність підтвердження, не знаючи конкретних вхідних даних, які використовує перевіряльник.
Загальність і багаторазове використання: після визначення схеми можна використовувати для різноманітних проблем і сценаріїв. Ось чому деякі фреймворки ZKP підтримують так звані «універсальні» схеми, здатні описувати та вирішувати різні проблеми.
Підводячи підсумок, схеми в доказах з нульовим знанням діють як міст, з’єднуючи твердження, які перевіряючий хоче підтвердити, з потребою верифікатора перевірити твердження, не розкриваючи жодної інформації, окрім самого твердження. Схеми використовуються для визначення перевірених обчислень. Кожне конкретне застосування потребує власних схем. Різні служби (такі як zkEVM, ZKML, ZK Oracle, ZK Bridge, а також різноманітні консенсуси та перевірки стану) вимагають різних схем.
8/ Universal ZK Circuits від Manta Pacific
Manta Pacific — це рішення рівня 2, розроблене спеціально для додатків ZK (Zero-Knowledge), що забезпечує майже повну сумісність із середовищем Ethereum EVM (Ethereum Virtual Machine) і мовою програмування Solidity. Нещодавно Manta Pacific запустила Universal ZK Circuits 2.0, орієнтовану на розробників бібліотеку ZK, яка дозволяє інтегрувати контракти з підтримкою ZK в існуючі смарт-контракти Solidity та dApps за допомогою лише кількох рядків коду.
Універсальні ZK Circuits надають ZK як послугу для розробників Solidity. Наразі він включає існуючу схему MantaPay мережі Manta, схему zkShuffle та схеми ZK із проекту Semaphore Ethereum Foundation.
Використовуючи Universal Circuits на Manta Pacific, розробники можуть легко розгортати власні додатки ZK на основі EVM. Вони також можуть викликати контракти з підтримкою ZK для своїх існуючих смарт-контрактів Solidity та dApp через розширені API.
Наприклад, розробник, який створює програму карткової гри в мережі, може використовувати схему zkShuffle для впровадження децентралізованого тасування та роздачі карт. Практичним прикладом спрощеної розробки додатків ZK за допомогою Manta Universal Circuits є zkHoldem.
До появи Universal Circuits створення zkShuffle і подібних додатків ZK вимагало ручної побудови схеми та перетворення між мовами програмування, такими як Rust і Solidity. Однак із впровадженням універсальних схем Manta ця складність значно зменшилася.
Завдяки універсальним схемам Manta Pacific створення додатків ZK стало більш простим і ефективним.
