Що таке Boundless? Дослідження універсального протоколу ZK

Boundless запустила свою основна мережа 15 вересня 2025 року, що стало кроком уперед у розвитку децентралізованих систем доказів з нульовим розголошенням. Розробники та дослідники давно шукають способи зробити докази з нульовим розголошенням доступнішими та стимульованішими – Boundless прагне задовольнити цю потребу за допомогою свого універсального протоколу. Довірячі тепер можуть отримувати винагороду за свої обчислювальні зусилля, що перетворює створення доказів на продуктивну діяльність. Протокол базується на усталених методах доказів з нульовим розголошенням, але впроваджує нові механізми для підтримки участі.

Витоки та основна концепція

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

Протокол працює як універсальний рівень, що підтримує різні схеми ZK та системи доказів, від SNARK до STARK. Користувачі надсилають запити на докази через API, а доказувачі в мережі конкурують за їх виконання. Успішні докази перевіряються в мережі, що забезпечує сумісність з кількома блокчейнами. Ethereum, Солана, а інші можуть інтегруватися без спеціальних збірок.

В основі Boundless лежить однорангова мережа, де вузли запускають спеціалізоване програмне забезпечення для отримання завдань. Система ефективно агрегує докази та обробляє рекурсію для складних обчислень. Розробники високо оцінюють гнучкість, оскільки можна довести що завгодно: від простої арифметики до складного виконання смарт-контрактів.

Технічні деталі протоколу

Boundless спирається на модульну архітектуру, ядро ​​якої складається з трьох шарів: шару доведення, шару перевірки та шару координації. Шар доведення виконує схеми ZK, тоді як доводи використовують ресурси графічного процесора або процесора для обчислення доказів. Протокол підтримує Plonk та інші схеми арифметизації, оптимізуючи швидкість паралельної обробки.

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

Безпека є ключовим елементом, оскільки Boundless включає формальну перевірку для своїх схем та протистоїть поширеним атакам, таким як відмова в обслуговуванні. Протокол використовує порогові підписи для агрегації, що дозволяє кільком доказувачам робити свій внесок в одне підтвердження та зменшувати кількість точок відмови. Вимоги до пропускної здатності залишаються низькими, близько 1-2 МБ на запит на підтвердження.

Деталі впровадження демонструють продуману інженерію, а програмний стек включає Rust для основних компонентів. Він інтегрується з WebAssembly для компіляції схем, тому користувачі компілюють схеми офлайн за допомогою таких інструментів, як Circom або Halo2. Потім вони завантажують їх до Boundless через панель інструментів, де система відстежує стан перевірки в режимі реального часу. API повертають ідентифікатори завдань для опитування.

Однією з видатних функцій є рекурсивне доведення, оскільки Boundless може доводити докази доказів, що забезпечує масштабованість для великих обчислень. Наприклад, оператор зведення може використовувати його для пакетної обробки тисяч транзакцій, при цьому глибина рекурсії досягає 10 рівнів без падіння продуктивності. Тести показують час доведення менше 10 секунд для середніх схем на стандартному обладнанні.

Протокол також обробляє недетерміновані обчислення, хоча традиційний ZK зосереджений на детермінованих. Boundless поширюється на ймовірнісні докази, які корисні для верифікації машинного навчання та розширення застосувань. Дослідники експериментують з ним для безпечних багатосторонніх обчислень.

Відкрийте для себе перспективні проекти...

Перспективні проекти...

(Реклама)

Стаття продовжується...

Доказ перевіреної роботи: новий механізм стимулювання

Підтвердження перевіреної роботи, або PoVW, відрізняє Boundless від традиційних доказ роботи винагороджує хеш-обчислення, але PoVW натомість винагороджує корисні ZK-докази. Доказувачі генерують докази для реальних завдань, а система вимірює роботу за розміром та складністю доказів. Винагороди масштабуються відповідно.

Ось як це працює: користувач надсилає запит на підтвердження з винагородою в ZKC, а доказувачі роблять ставки на завдання на основі передбачуваних зусиль. Перший дійсний доказ претендує на винагороду, і мережа перевіряє його в блокчейні. Якщо підтвердження прийнято, доказувач отримує винагороду плюс базову емісію.

PoVW вводить «Доказ доказу», який перевіряє, чи справді доказувач виконав роботу, та використовує метадоказ для підтвердження цілісності обчислень. Це запобігає шахрайству, такому як подання попередньо обчислених доказів, а механізм спирається на перевірені функції затримки. Це також забезпечує своєчасність.

На практиці, PoVW сприяє розвитку ринку, де попит надходить від децентралізованих додатків (dApps), що потребують конфіденційності, а пропозиція зростає зі збільшенням кількості довірників. Попередні дані показують середню винагороду в 0.5 ZKC за доказ, при цьому для складніших завдань застосовуються множники складності. Система динамічно регулює складність для підтримки справності мережі.

Критики можуть звернути увагу на споживання енергії, оскільки докази ZK споживають енергію, подібно до майнінгу. Однак Boundless пом'якшує це за допомогою ефективних алгоритмів, а докази можуть працювати на відновлюваних джерелах. Зосередженість на корисній роботі відрізняє його від марнотратного хешування.

Монета ZK: механіка та корисність ZKC

ZKC слугує рідним токеном Boundless, живлячи екосистему з початковою пропозицією в 1 мільярд токенів. Початковий розподіл виділяє 49% на зростання екосистеми, 23.5% основній команді та раннім учасникам, 21.5% інвесторам та 6% на продаж токенів. викидання десанту. 

ZKC виконує кілька ролей, оскільки доказувачі роблять його стейкінгом для приєднання до мережі, при цьому для стейкінгу потрібно мінімум 100 ZKC. Це захищає від атак сивілли, а користувачі платять винагороди в ZKC за запити на докази. Верифікатори отримують комісійні за перевірку доказів, тоді як управління використовує ZKC для голосування за оновлення.

Токеноміка наголошує на сталому розвитку, при цьому викиди скорочуються вдвічі кожні чотири роки, а PoVW генерує нові ZKC пропорційно до активності мережі. Це пов'язує постачання з комунальними підприємствами, а також існує механізм спалювання для зменшення циркулюючої пропозиції. Частина комісій спалює 10% ZKC.

Торгівлю розпочато в основній мережі, токен доступний на кількох провідних біржах, включаючи Bybit, Kucoin та Bitget. На момент написання статті Boundless ($ZKC) торгується за ціною $0.873, а поточна ринкова капіталізація становить приблизно $23 мільйони, згідно з даними Coingecko. даніВласники можуть делегувати частки перевіреним постачальникам послуг для отримання дохідності до 8% річних.

Детальний аналіз економіки демонструє баланс, оскільки інфляція починається з 10% на рік і знижується до 2%. Це сприяє ранньому зростанню, а казначейство надає гранти на інтеграції. Розробники можуть подавати заявки через форум Boundless, а схвалені проекти отримають до 50 000 ZKC.

ZKC з'єднується з іншими ланцюгами через обгорнуті версії, що дозволяє проводити перехресне підтвердження між ланцюгами. Наприклад, децентралізований додаток Solana оплачує транзакції в SOL, які внутрішньо конвертуються в ZKC.

Безмежна екосистема: інтеграції та застосування

Екосистема обертається навколо інструментів та партнерств, а комплект розробника включає SDK для JavaScript та Rust. Це спрощує подання доказів, а навчальні посібники охоплюють як базові, так і просунуті варіанти використання. керівництво, випущений раніше у травні, містить покрокові інструкції з налаштування.

Ключові застосування охоплюють Defi та ідентифікацію, оскільки зведені платежі використовують Boundless для підтвердження розрахунків, а гаманці конфіденційності генерують облікові дані ZK. Одна інтеграція перевіряє вік без розкриття дат народження, тоді як інша дозволяє анонімне голосування в DAO.

Партнерства розширюють охоплення, оскільки Boundless співпрацює з Polygon для підтримки zkEVM та працює з Aleo над передовими схемами. Фонд екосистеми підтримує стартапи, що працюють на базі протоколу, надаючи гранти, зосереджені на інструментах масштабованості.

Спільнота стимулює зростання, оскільки сервер Discord проводить AMA з основними розробниками, а хакатони присуджують призи ZKC. Понад 500 розробників зареєструвалися на останній захід, а відгуки формують оновлення, такі як покращені обмеження швидкості API.

Вузли утворюють основу, оскільки кожен користувач використовує вузол-перевірювач з мінімум 8 ГБ оперативної пам'яті, а панель керування відстежує час безвідмовної роботи. Винагороди нараховуються щодня, при цьому повні вузли перевіряють ланцюжок, тоді як легкі клієнти запитують підтвердження.

Майбутні розширення спрямовані на верифікацію ШІ, оскільки Boundless планує використовувати ZK для виведення моделей, що може забезпечити федеративне навчання. Екосистема залишається з відкритим вихідним кодом, а внески через GitHub приносять винагороди.

Віхи та шлях уперед

Boundless проклав стабільний шлях до основної мережі, запустивши тестову мережу в першому кварталі 2025 року та обробивши 1 10,000 пробних версій у бета-версії. Аудит безпеки, проведений Trail of Bits, усунув основні вразливості, а команда виправила 15 проблем перед запуском.

Активація основної мережі 15 вересня вивела PoVW в онлайн-режим, і протягом кількох годин до нього приєдналося 200 учасників. Щоденна кількість доказів досягла 5,000 до другого дня, а аірдроп ZK Coin винагородив ранніх тестувальників 1% від пропозиції.

Найближчі віхи включають випуск версії 1.1 у четвертому кварталі 2025 року, додавання підтримки протоколів FRI, а також мобільний додаток для перевірки, який з'явиться у 2026 році. Дорожня карта окреслює мости між ланцюгами до середини року.

Boundless позиціонує себе як інфраструктура, що дозволяє впроваджувати ZK без централізації. У міру розвитку мережі вона може стати основою для ширшої конфіденційності Web3, і розробники уважно стежать за цим. Успіх протоколу залежить від постійної участі, але наразі він виконує свою обіцянку щодо перевірених, стимульованих обчислень.

джерела:

_{Безмежний інформаційний документ: http://read.boundless.network/} 

_{Вичерпний посібник з Boundless: https://x.com/boundless_xyz/status/1920862141944389695?s=46} 

_{Представляємо ZK Coin: https://x.com/boundless_xyz/status/1957498468093587905} 

_{Підтвердження роботи (Вікіпедія): https://en.wikipedia.org/wiki/Proof_of_work}