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

Brevis — це платформа перевірних обчислень на основі Zero-Knowledge Proofs (ZK), яку називають "Infinite Compute Layer" для Web3. Її основна ідея — виконувати ресурсомісткі обчислення поза блокчейном, а блокчейн перевіряє лише стислий доказ.

Pico zkVM — модульна Zero-Knowledge Virtual Machine (zkVM) з відкритим кодом від Brevis (BREV). Розробники можуть створювати будь-яку обчислювальну логіку на Rust і генерувати Zero-Knowledge Proof (ZK), який підтверджує коректне виконання обчислень.

ZK дата-копрозесор усуває обмеження смарт-контрактів щодо доступу до історичних даних. Він забезпечує офчейн-отримання історичних або кросчейн-даних з архівних нод, виконує обчислення та повертає доказ з нульовим розголошенням, який підтверджує результат, автентичність і коректність даних. Контракт може перевірити цей доказ ончейн за кілька мілісекунд. Потік даних складається з чотирьох етапів: запит застосунку, офчейн-обчислення, генерація ZK-доказу, ончейн-перевірка і отримання результату. Це дозволяє робити надійні висновки без необхідності повторного відтворення всіх даних.

Оракли здебільшого інтегрують зовнішні офчейн дані у блокчейн, а їхня надійність базується на вузлах і економічних стимулах. ZK-співпроцесори, наприклад Brevis, спеціалізуються на верифікованих обчисленнях історичних ончейн даних, використовуючи докази з нульовим розголошенням для прямої ончейн перевірки результатів. Ці дві технології охоплюють протилежні сторони потоків даних блокчейну, виконуючи взаємодоповнюючі функції щодо напрямків даних, моделей довіри та обчислювальних можливостей. Їхні межі не є чітко визначеними; у практичних випадках часто використовують спільні гібридні підходи.

BREV — це нативний токен мережі Brevis, який виконує три ключові функції: оплату комісій за доказ, стейкінг доказувачів Prover і управління протоколом. coChain працює як блокчейн proof-of-stake з механізмами стейкінгу та слешингу на базі Ethereum. Валідатори подають свої результати як «пропозиції» до ланцюга запитів, після чого відкривається вікно для оскарження. Якщо неправильну пропозицію успішно оскаржують із використанням нульового розголошення (zero-knowledge proof), відповідний стейк слешиться в мережі Ethereum. Якщо оскарження немає, результат приймається автоматично, що дозволяє заощадити на витратах на доказ.

Основна відмінність між 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 не потребує окремого блокчейну; натомість він забезпечує приватні транзакції та анонімну взаємодію зі смарт-контрактами безпосередньо на рідному ланцюжку.