Два з найамбітніших проєктів ZK, Succinct і Boundless, змагаються за те, щоб принести перевірені обчислення в кожен куточок ончейн-простору.
Вони обидва використовують zkVM, але це не одне й те саме.
Ось розбивка того, чим вони відрізняються 🧠🧵
2. На високому рівні:
- @SuccinctLabs створює свій zkVM (SP1) і керує децентралізованою мережею, де будь-хто може запросити доказ для роботи поза мережею.
- @boundless_xyz (від RISC Zero) створює рівень протоколу ZK, який перетворює будь-які офчейн-обчислення на перевірену квитанцію.
Обидва хочуть замінити довіру криптографічною правдою.
3/ Почнемо з їх доводячих двигунів
- SP1 від Accinct запускає програми Rust і виробляє ZKP за допомогою рекурсивних SNARK. Він швидкий, модульний і оптимізований для робочих навантажень, схожих на зведення.
- Boundless використовує zkVM RISC Zero для обробки масивних обчислень і масштабованого доведення.
4/ Під капотом:
У Succt використовується офчейн аукціоніст. Ви надсилаєте вакансію (на кшталт «доведіть це обчислення»), і мережа в режимі реального часу знаходить найдешевшого постачальника.
Провери підривають один одного в пошуках робочих місць, створюючи ринок для доведення роботи.
Це схоже на Web2 API. Швидкий, ефективний, але захищений ZKP, пізніше розміщений у мережі, щоб надати вам криптографічний доказ того, що програма працювала правильно.
5. Двигун, що стоїть за цим, називається SP1 - zkVM, який може виконувати складну логіку, перевіряти підписи, імітувати зведення або діяти як легкий клієнт для інших ланцюгів.
Пакет оновлень 1 оптимізовано для швидкості, повторного використання та недорогої ончейн-верифікації. Докази невеликі та дешеві для перевірки (близько 200 тис. газу на Ethereum).
6/ SP1 zkVM працює під напругою. Розробники можуть перевіряти докази в мережі та відправляти додатки виробничого рівня за допомогою пакета оновлень 1.
Але Succt Prover Network - децентралізований рівень, де будь-хто може запустити prover і заробляти - все ще знаходиться на завершальній стадії тестнету (Stage 2.5).
Основна мережа для Prover Network наближається.
7. Безмежний, з іншого боку, перетворюється на суспільну користь. Будь-який ланцюжок може попросити його щось довести. Будь-який додаток може передати йому складну логіку на аутсорсинг.
Це не просто мережа, це цілий шар для перевірених обчислень.
Ви можете уявити Boundless як хмарні обчислення з криптографічними квитанціями.
8/ Побудований на RISC Zero, Boundless також виконує код Rust або C++ у zkVM.
Але він огортає його протоколом, де завдання публікуються в мережі, а потім запитуються та обчислюються в автономному режимі за допомогою доказів.
9/ Він вводить нову ідею під назвою Proof of Verifiable Work (PoVW). Дослідники отримують винагороду залежно від того, скільки реальних обчислень вони виконують.
Це схоже на майнінг, але замість того, щоб хешувати випадкові числа, вони доводять корисну роботу, запускаючи реальні програми.
Boundless називає це zk-mining.
10. Першим реальним прикладом використання Boundless є The Signal on Mainnet Beta, консенсусний клієнт ZK, який доводить остаточність Ethereum у єдиний доказ, який можна перевірити.
Цей доказ може бути прочитаний будь-яким ланцюгом, що дозволяє кросчейн-додаткам зчитувати стан Ethereum без мультипідписів або оракулів.
У міру розширення мережі Signal покаже більше ланцюжків.
11/ У чому різниця?
Стисло: швидкий, офчейн-аукціон, → один з продавців виграє роботу → подає докази ончейн. Ви отримуєте низьку затримку та швидкі результати, які можна перевірити.
Boundless: завдання, розміщені в мережі, → будь-який виконавець обчислює офчейн → надсилає докази винагород onchain → PoVW. Відкритий конкурс і повністю безнадійний з самого початку.
12/ Хто їх використовує?
- @Mantle_Official → Оновлено з Optimistic до zkRollup з використанням SP1 zkVM від Succinct для швидкої остаточності та еквівалентності EVM.
- Платформи rollup-as-a-service (Conduit, AltLayer, Caldera, Alchemy, Gelato) → пропонують ZK-зведення через OP-Succt, дозволяючи розробникам запускати L2 з остаточними оновленнями на основі SP1 в 1 клік.
- @Agglayer → Polygon використовує пакет оновлень 1 (SP1) для впровадження рівня об'єднання zk у зведеннях Polygon, покращуючи компонування крос-роллапів.
- @celestia (Blobstream DA Bridge) → SP1 перевіряє включення блоку Celestia для мостового зв'язку DA без довіри, дозволяючи ролапам розраховуватися на Ethereum за допомогою хмар Celestia.
13/ - @eigenlayer → використовує Boundless для обчислення оновлень зі стейкінгом поза мережею, публікуючи докази ZK, які зменшують рівень газу L1 на ~99,9%.
- @hibachi_xyz → Побудовано першу доказову біржу. Узгодження поза ланцюгом виконується на високій частоті; кожна партія перевірена R0VM на Boundless.
- @citrea_xyz (Bitcoin zkRollup) → використовує Boundless для доведення пакетних транзакцій Bitcoin, вмикаючи EVM-сумісні ZK-зведення на Bitcoin.
- @build_on_bob → Boundless підтримує гібридний L2 від BOB, переводячи смарт-контракти EVM і зведення з підтримкою proof-problup на Bitcoin.
14/ Хто виграє гру ЗК?
Вони не є прямими конкурентами. По суті, їхні підходи могли б доповнювати один одного.
Зрозуміло ось що: інфраструктура ZK переходить на модульну систему. Швидкі, універсальні та недовірчі обчислення більше не є науковою фантастикою, це відбувається зараз.
18,89 тис.
9
Вміст на цій сторінці надається третіми сторонами. Якщо не вказано інше, OKX не є автором цитованих статей і не претендує на авторські права на матеріали. Вміст надається виключно з інформаційною метою і не відображає поглядів OKX. Він не є схваленням жодних дій і не має розглядатися як інвестиційна порада або заохочення купувати чи продавати цифрові активи. Короткий виклад вмісту чи інша інформація, створена генеративним ШІ, можуть бути неточними або суперечливими. Прочитайте статтю за посиланням, щоб дізнатися більше. OKX не несе відповідальності за вміст, розміщений на сторонніх сайтах. Утримування цифрових активів, зокрема стейблкоїнів і NFT, пов’язане з високим ризиком, а вартість таких активів може сильно коливатися. Перш ніж торгувати цифровими активами або утримувати їх, ретельно оцініть свій фінансовий стан.