Новий розділ ринку zk-SNARKs: глибокий аналіз Succinct Prover Network

Вступ

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

З розширенням екосистеми ZK попит на генерацію обчислювально інтенсивних доказів досяг критичної точки. Щоб задовольнити цей попит, з'явився новий спеціалізований рівень інфраструктури. Succinct Prover Network, будучи протоколом на базі Ethereum, створила децентралізований ринок для генерації ZK. Він використовує архітектуру vApp, що поєднує високу продуктивність і перевірну безпеку. Ядром системи є токен $PROVE, який слугує економічним двигуном для розвитку цього нововиникаючого цифрового товарного ринку.

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

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

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

Виконання та розділення розрахунків

Основою архітектури vApp є розділення виконання та розрахунків, подібно до моделі проєктування секвенсорів Layer 2.

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

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

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

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

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

верифікована база даних

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

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

$PROVE токен

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

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

Корисність токенів проявляється в кількох аспектах:

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

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

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

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

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

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

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

управління

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

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

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

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

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

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

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

досвід користувача

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

Для запитувача:

1. Переведіть $PROVE аукціоністу для сплати збору.
2. Надіслати запит на підтвердження через виклик RPC, вказавши програму, що підлягає підтвердженню, кінцевий термін та максимальні витрати.
3. Позабіржовий аукціоніст буде запитувати відповідність з кваліфікованими доказниками за найнижчою ціною.
4. Після завершення та подання доказу, витрати переносяться, вся транзакція розраховується на Ethereum за допомогою одного zk-SNARKs.

Для доказувача:

1. Ставте достатню кількість $PROVE, щоб отримати право участі в аукціоні.
2. Подайте ставку аукціоністу.
3. Найнижча ставка виграє аукціон і отримує завдання на підтвердження.
4. Завершіть підтвердження до терміну.
5. У разі успіху буде отримано $PROVE платіж, у разі невдачі депозит буде зменшено.

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

режим обслуговування

Мережа надає два види сервісних моделей:

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

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

Succinct Prover Network створила класичний двосторонній ринок, що координує обчислювальне обладнання (GPU, FPGA, ASIC), необхідне для генерації zk-SNARKs.

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

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

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