Нова глава ринку zk-SNARKs: детальне вивчення Succinct Prover Network

1. Вступ

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

З розширенням екосистеми zk-SNARKs попит на генерацію обчислювально інтенсивних доказів досяг критичної точки повороту. Для задоволення цього попиту з'явився новий спеціалізований інфраструктурний рівень. Succinct Prover Network з'явилася на світ: це протокол на основі Ethereum, який побудував децентралізований ринок для генерації zk-SNARKs. Він використовує інноваційну архітектуру, що поєднує високу продуктивність з перевірною безпекою. Основою системи є токен PROVE, який виступає економічним двигуном, стимулюючи цей новий ринок цифрових товарів через платежі, безпеку та стимули.

У цій статті буде детально розглянуто архітектуру Succinct Prover Network, основні функції PROVE та токеноміку, а також ринкову динаміку його екосистеми.

Запуск основної мережі Succinct Network та перша публічна торгівля токеном PROVE наближаються. Далі ми детально розглянемо конкретні аспекти та цінність, яку це принесе учасникам екосистеми.

2. Мережна архітектура

Архітектура Succinct Prover Network є інноваційним додатком на базі Ethereum. Ця модель має на меті забезпечити користувачам високопродуктивний досвід традиційних веб-додатків, водночас зберігаючи безпеку та гарантії довіри децентралізованих протоколів.

Виконання та розрахунок окремо

Ядро цієї архітектури полягає в розділенні виконання та розрахунків, що схоже на модель дизайну секвенсорів другого рівня.

• Виконання поза ланцюгом обробляється високопродуктивним сервісом, який в режимі реального часу управляє процесом аукціону, розподілом доказів та взаємодією з користувачами. Це дозволяє користувачам надсилати запити та отримувати оновлення, не турбуючись про затримки підтвердження блоків.
• Розрахунок в ланцюзі здійснюється в основній мережі Ethereum, де основна мережа регулярно перевіряє стан мережі та правильність поза ланцюгових операцій за допомогою zk-SNARKs.

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

Ключові компоненти

Ця мережа складається з двох основних компонентів:

• Позасистемна аукціонна служба: це основний позасистемний суб'єкт, відповідальний за відповідність запитів користувачів з доказниками. Вона приймає запити на докази, збирає ставки, проводить аукціони та розподіляє роботу. Користувачі взаємодіють з цією службою безпосередньо через виклики RPC, отримуючи реальний досвід.
• Операційний контракт на ланцюзі: набір смарт-контрактів, розгорнуті на Ethereum, що складається з кількох основних контрактів, які виконують роль точки довіри мережі. Ці контракти відповідають за розрахунок коренів станів та zk-SNARKs, які періодично подаються аукціоністами, щоб забезпечити цілісність мережі.

Перевірена база даних

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

• База даних для зберігання балансу користувачів, запитів, що чекають обробки, та стану виконання. Ця база даних підтримує операції читання та запису.
• Просперна на передових технологіях система доказів, що використовує нульові знання для читання бази даних і обчислення нового стану мережі. Це доказ перевірить усі перетворення стану, такі як оновлення балансу та розподіл доказів, а потім буде здійснено розрахунок на Ethereum для публічної перевірки.

3. Токен PROVE

Токен PROVE є корисним токеном стандарту ERC-20, що базується на Ethereum, і є економічною основою Succinct Prover Network. Його дизайн включає три основні функції: сприяння платежам, забезпечення безпеки мережі та координацію інтересів усіх учасників.

Основна практичність

Універсальність цього токена проявляється в кількох аспектах:

• Оплата: PROVE є єдиним платіжним токеном в мережі. Якщо запитувач хоче, щоб його обчислення отримало доказ, він повинен сплатити відповідну комісію доказувачу, яка сплачується в PROVE. Це створює прямий та постійний попит на токени.
• Безпека: Забезпечення безпеки мережі через стейкінг. Доказники повинні стейкати PROVE, щоб брати участь у торгах, що гарантує їх добросовісність. Якщо доказник діє зловмисно або пропускає крайній термін, його частина стейку буде конфіскована.
• Заохочення: PROVE використовується для заохочення довірителів інвестувати в інфраструктуру та постійно надавати конкурентоспроможні ціни.

Постачання та випуск токенів

Початкова кількість PROVE становить 1 мільярд монет, але це не фіксований ліміт, оскільки протокол містить механізм постійного випуску токенів. Швидкість нових випусків не є незмінною, а є параметром, який контролюється децентралізованою системою управління мережі, що дозволяє спільноті динамічно коригувати стимули в міру розвитку мережі.

Ставки та делегування

Щоб забезпечити економічну безпеку, будь-який користувач може заставити PROVE. Система підтримує два основні способи:

• Стейкінг доказувача: Стейкінг PROVE дає можливість брати участь в аукціонах та виконувати запити на докази.
• Делегування: будь-який власник PROVE може делегувати свої токени обраному доказувачу. Це дозволяє їм вносити внесок у безпеку мережі та отримувати частину доходу від зборів, стягнутих з обраного доказувача, не запускаючи жодного апаратного забезпечення самостійно. Один делегатор може делегувати лише одного доказувача одночасно.

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

управління

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

4. Аукціони та запити

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

Механізм аукціону

Ця мережа використовує реальний аукціон для розподілу запитів. Ця механіка аукціону дозволяє досягти ефективного виявлення цін з мінімальною затримкою та використовує токени PROVE для оплати.

• Початкова версія: перша версія мережі використовує простий зворотний аукціон, щоб розподілити запити на доведення серед довірених осіб з найнижчими ставками.
• Майбутній розвиток: з часом через механізм управління цей механізм можна перейти в режим "змагання за докази". Цей режим має на меті розподіл винагороди серед більш широкої групи доказувачів, що підвищує рівень децентралізації.

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

Користувацький досвід

Процес запиту та виконання доказів призначений для того, щоб бути простим і безпечним.

• Для запитувача: користувачі (наприклад, оператори zk-Rollup) можуть легко запитувати докази, спочатку передавши PROVE аукціоністу для сплати збору. Потім вони надсилають запит на доказ через RPC, вказуючи програму, яку потрібно довести, термін виконання та максимальну суму, яку вони готові сплатити. Поза ланцюгом аукціоніст зіставляє цей запит з кваліфікованими доказувачами з найнижчою ціною. Щойно доказ буде завершено та подано, плата буде переведена, а вся угода буде розрахована на Ethereum за допомогою одного zk-SNARKs, що дозволяє запитувачу перевірити, чи був він оброблений правильно.
• Для доказувача: Доказувач має право змагатися за виконання запиту. Щоб отримати право участі в конкретному аукціоні, PROVE, яке доказувач ставить на заставу, повинно відповідати мінімальним вимогам, встановленим запитувачем (наприклад, певний запит може вимагати заставу в 50 PROVE). Кваліфіковані доказувачі подають свої ставки аукціоністу. Доказувач з найнижчою ставкою виграє аукціон і отримує доказ, який вони повинні завершити до встановленого крайнього терміну. Якщо успішно, вони отримають платіж у формі PROVE. Якщо не вдасться вчасно подати доказ, їхня застава буде зменшена.

Мінімальна сума для ставлення: 1,000 PROVE (тестова мережа; основна мережа в процесі визначення)

Модель обслуговування

Ця мережа надає користувачам гнучкість через два різні сервіси:

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

5. Ринкова динаміка та екосистема

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

Двосторонній ринок

Ця мережа створила класичний двосторонній ринок, що є поширеною моделлю в сфері децентралізованої фізичної інфраструктури. У цьому випадку скоординованою інфраструктурою є обчислювальне обладнання (GPU, FPGA, ASIC), необхідне для генерації zk-SNARKs. Сторони є:

• Сторона попиту (запитувач): ця група складається з блокчейн-протоколів, додатків і розробників, яким потрібні zk-SNARKs для ведення бізнесу. Ці запитувачі створюють органічний попит на мережеві послуги і є основним джерелом доходу, який надходить в екосистему у формі оплати PROVE.
• Сторона постачання (доказник): ця група складається з осіб та професійних суб'єктів, які володіють та експлуатують обчислювальне обладнання, необхідне для генерації zk-SNARKs. Вони інвестують у капіталомістку інфраструктуру, щоб конкурувати у наданні послуг, заробляючи винагороду у вигляді плати, оціненої в PROVE, та мережеві винагороди.

Гарантія екосистеми

Для нових ринків однією з найбільших проблем є проблема "холодного старту": без попиту доказники не приєднаються; без надійних постачальників доказів запитники також не приєднаються. Succinct Labs вирішує цю проблему, зосередившись на забезпеченні попиту на ринку ще до запуску основної мережі.

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

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

Врешті-решт, Succinct Prover Network базується на простій передумові: майбутнє обчислень є перевіреним. Токен PROVE є ключовим механізмом для досягнення цього майбутнього, який перетворює криптографічні докази з нішевої технології на доступний для всіх, ліквідний цифровий товар.