Ethereum ZK трек знову викликає хвилювання: глибокий аналіз Succinct Prover Network

1. Вступ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3. $PROVE токен

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

Ядро практичності

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

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

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

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

Постановка та делегування

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

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

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

Управління

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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