Succinct Prover Network: Децентралізований ринок zk-SNARKs на Ethereum

1. Огляд

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• База даних для зберігання залишків користувачів, запитів, що очікують обробки, та стану виконання, що підтримує операції читання та запису.
• Протокол ZK, заснований на SP1, для читання бази даних та обчислення нового стану мережі. Цей доказ перевірить всі переходи стану, такі як оновлення балансу та розподіл доказів, а потім буде урегульований на 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 для незалежної перевірки результатів.

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

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

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

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

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

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

Службова модель

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

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

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

Succinct Prover Network створила класичний двосторонній ринок, що є поширеною моделлю в галузі DePIN. Сторони є:

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

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

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