Доказ із нульовим розголошенням

Основна відмінність між Manta Pacific та Manta Atlantic криється в їхніх функціональних ролях: Pacific — це модульна мережа Layer 2 на Ethereum, створена для розгортання та масштабування децентралізованих застосунків на основі технології нульового знання (ZK); Atlantic — це мережа ZK Layer 1 на Polkadot, що забезпечує ончейн-інфраструктуру відповідності ідентичності для zkAddress і zkSBT. Обидві мережі входять до екосистеми Manta Network і використовують єдиний нативний утилітарний токен MANTA, однак вони мають структурні відмінності у своїх базових екосистемах, технічних стеках та цільових групах користувачів.

Manta Network (MANTA) — це модульна блокчейн-екосистема, створена для застосунків із нульовим розголошенням (ZK). Вона складається з Manta Pacific — модульної мережі Layer 2 в екосистемі Ethereum — і Manta Atlantic, ZK-мережі Layer 1 на Polkadot. Pacific використовує рівень доступності даних Celestia разом із середовищем виконання EVM/zkEVM для підтримки децентралізованих застосунків, тоді як Atlantic спеціалізується на ончейн-сумісній ідентичності, надаючи програмовану інфраструктуру ідентичності з нульовим розголошенням через zkSBT та zkAddress.

Universal Circuits — це готова бібліотека схем ZK-as-a-Service, яка розгорнута на Manta Pacific: розробники мовою Solidity можуть додавати функціональність нульового розголошення до своїх DApp (децентралізованих застосунків) через стандартні інтерфейси контрактів, не переходячи на спеціалізовані ZK-мови, як-от Cairo. Типові застосування охоплюють комплаєнс-платежі, перевірку особи та ончейн-ігри, зокрема zkShuffle.

zkAddress та zkSBT — це основні компоненти конфіденційної ідентифікації, створені Manta Network на ланцюзі Manta Atlantic. zkAddress надає багаторазові конфіденційні адреси у форматі UTXO, а zkSBT прив'язує до такої адреси комплаєнс-дані за допомогою доказів із нульовим розголошенням. Разом вони утворюють інфраструктуру відповідності ідентифікації на ланцюзі Atlantic, яка дає застосункам Web3 змогу перевіряти особу, не розкриваючи вихідні персональні дані користувачів.

Створення мостів для активів до Manta Pacific — це повторюваний процес блокування, мінтингу та зіставлення балансів між основною мережею Ethereum і Manta Pacific (модульною мережею Layer 2) за допомогою кросчейн-мосту. Як виконавчий рівень Manta Network в екосистемі Ethereum, Manta Pacific дає змогу розгортати та взаємодіяти з ETH, ERC-20 та іншими активами в ончейн-режимі. Щоб користуватися екосистемними застосунками на стороні Pacific, треба спершу розібратися, як активується міст, як внутрішньо змінюються стани системи та як підтвердити надходження коштів.

Zcash Orchard — це пул захищених транзакцій третього покоління в мережі Zcash, створений на основі системи доказів з нульовим розголошенням Halo 2 для підвищення ефективності, масштабованості та довгострокової оновлюваності приватних транзакцій. Порівняно з попередниками Sprout та Sapling, Orchard знижує залежність від довіреної установки, водночас оптимізуючи процеси генерації доказів і верифікації.

Основний механізм роботи Nockchain замінює традиційні обчислення хешу PoW на докази з нульовим розголошенням. У Nockchain майнери більше не змагаються за блоки за допомогою беззмістовних хеш-операцій — натомість вони генерують перевірні докази для участі в мережевому консенсусі. Архітектура Nockchain містить компоненти NockVM, NockApp, Proofpower та Global Consensus SNARKs, покликані створити децентралізовану мережу підтвердження для підтримки ШІ, застосунків для конфіденційності та верифікованих обчислень.

Nockchain — це блокчейн-мережа на основі Zero-Knowledge Proof-of-Work (ZKPoW). Її головна мета — замінити беззмістовні хешобчислення традиційного Proof of Work на верифіковану та практично цінну генерацію доказів з нульовим розголошенням (ZK proving). На відміну від Bitcoin, що залежить від конкуренції хешрейту, Nockchain спрямовує обчислювальну потужність майнерів на створення верифікованих доказів обчислень, започатковуючи модель "Useful Proof of Work".

Як Railgun, так і Tornado Cash належать до ончейн-протоколів конфіденційності, однак вони суттєво різняться за архітектурою та принципами роботи. Tornado Cash виконує роль більше анонімного міксера, використовуючи пули з фіксованим номіналом, щоб розірвати зв'язок між коштами. Натомість Railgun — це приватний DeFi-протокол на основі zk-SNARK, який надає можливість приватних акаунтів, конфіденційних транзакцій та анонімних взаємодій зі смарт-контрактами.

Railgun — це протокол конфіденційності DeFi, створений на блокчейнах EVM, що застосовує докази з нульовим розголошенням zk-SNARK для приховування адрес користувачів, балансів активів, сум транзакцій і ончейн активності, зберігаючи водночас сумісність із протоколами екосистеми, як-от Ethereum, Arbitrum і BNB Chain. На відміну від традиційних конфіденційних монет або міксерів, Railgun не потребує окремого блокчейну; натомість він забезпечує приватні транзакції та анонімну взаємодію зі смарт-контрактами безпосередньо на рідному ланцюжку.

SP1 zkVM — це універсальна віртуальна машина з нульовим знанням, що дає змогу розробникам писати будь-які програми мовою Rust і генерувати перевірні ZK-докази. Вона добре підходить для кросчейн-взаємодії, масштабування через ролапи та обчислення із верифікацією на основі ШІ. На відміну від неї, zkEVM зосереджена на створенні доказів, сумісних з екосистемою Ethereum, переважно для ончейн-торгівлі та перевірки смарт-контрактів. Ці дві технології кардинально відрізняються за програмованістю, ефективністю верифікації, децентралізованим хешрейтом та інтеграцією з екосистемою, що дає розробникам змогу обирати оптимальну ZK-інфраструктуру під конкретні потреби свого застосунку.

SP1 zkVM — це універсальна віртуальна машина з нульовим розголошенням (zkVM), розроблена компанією Succinct. Вона дає змогу розробникам писати програми на Rust і автоматично генерувати докази з нульовим розголошенням (ZK Proofs). Основний процес роботи включає: компіляцію програм Rust в інструкції RISC-V, виконання цих інструкцій на zkVM для створення траси виконання, перетворення траси на доказ STARK, стиснення його в доказ SNARK і, нарешті, подання для ончейнверифікації.

Prover Network від Succinct — це децентралізований маркетплейс хешрейту для доказів з нульовим розголошенням (ZK Proof), що об'єднує запитувачів доказів із вузлами-доказувачами по всьому світу. Розробники надсилають код програми та вхідні дані, щоб ініціювати запити доказів. Аукціонер мережі розподіляє завдання залежно від вартості, швидкості та репутації вузла. Після цього вузли-доказувачі виконують програму на SP1 zkVM, генерують ZK Proof і передають його для ончейнверифікації та розрахунків.

Succinct — це децентралізована мережа доказів із нульовим розголошенням (ZK Proof), розгорнута на базі Ethereum. Вона пропонує розробникам програмовану інфраструктуру з низьким порогом входу для створення доказів. Основний компонент — SP1 zkVM — дає змогу писати верифіковані програми безпосередньо мовами загального призначення, як-от Rust, без необхідності вручну проєктувати складні ZK-схеми. Мережа доказувачів Succinct через відкритий маркетплейс доказувачів об'єднує запити на докази із глобальними обчислювальними потужностями (хешрейтом), що уможливлює генерацію, верифікацію та розрахунок доказів.

Succinct і RISC Zero пропонують інфраструктуру доказів із нульовим знанням (ZK Proof), однак їхні проєктні цілі різняться. Succinct насамперед орієнтується на децентралізований Маркетплейс доказів та універсальний шар верифікації, що уможливлює кросчейн-верифікацію, ролап і верифіковані ШІ-обчислення через SP1 zkVM і Мережа доказувачів. Натомість RISC Zero зосереджується на верифікованих середовищах виконання та зручності для розробників, використовуючи архітектуру RISC-V для зниження порогу входу в розробку ZK-застосунків. Ці два рішення суттєво відрізняються за архітектурою zkVM, робочими процесами генерації доказів, економічними механізмами, позиціонуванням в екосистемі та сферами застосування.