Ціна Succinct (PROVE)

PROVE — нативний токен ERC-20 мережі Succinct Prover Network, а також розрахункова одиниця для купівлі послуг зі створення доказів з нульовим розголошенням і надання економічного забезпечення в цій мережі. Succinct координує в Ethereum два типи учасників: застосунки або користувачі подають запит «створити доказ для певної частини програмного забезпечення», а доказувачі запускають обчислювальну інфраструктуру, щоб виконати доказування. Це не Gas-токен окремого блокчейна. Мережа обробляє часті запити, аукціони та виконання стану в офчейн верифікованому застосунку (vApp), а потім використовує SP1 для створення доказів переходу стану та їхньої перевірки й розрахунків в Ethereum; отже, PROVE одночасно пов’язує оплату запитів, винагороду доказувачів і забезпечення стейкінгом.

Succinct розв’язує проблему координації пропозиції: хто генеруватиме докази з нульовим розголошенням для довільного програмного забезпечення у верифікований і конкурентний спосіб. Запитувачеві не потрібно окремо домовлятися з одним постачальником послуг доказування: він подає програму, яку треба довести, режим доказування, дедлайн і цінові обмеження, після чого мережа розподіляє завдання між доказувачами, здатними його виконати. Докази з нульовим розголошенням відокремлюють дорогу обчислювальну роботу від перевірки: невелика кількість доказувачів виконує обчислення та генерує короткий доказ, а інші можуть перевірити результат із меншими витратами. zkVM SP1 від Succinct дозволяє доводити звичайний код; її vApp зберігає баланси, запити, реєстрацію доказувачів і стан стейкінгу. Після виконання пакетів стану офчейн SP1 доводить коректність їхнього переходу, а в Ethereum оновлюється корінь стану та обробляються квитанції, зокрема для депозитів і виведень. Офчейн-швидкість і верифіковані розрахунки в Ethereum — це дві ланки одного процесу.

Запитувач платить за послугу доказування в PROVE і може заздалегідь внести PROVE до контракту SuccinctVApp; невикористаний баланс можна вивести за процедурою контракту. Вартість одного запиту складається з базової комісії в PROVE та визначеної аукціоном ціни за кожен PGU (Prover Gas Unit, одиницю обчислювальних ресурсів для доказування); запитувач одночасно встановлює максимальну ціну за PGU та gas_limit. За такого підходу максимальну вартість можна записати як: базова комісія + максимальна ціна за PGU × min(фактичне використання PGU, gas_limit). Це означає, що ціновий ліміт обмежує змінну обчислювальну частину; фактична комісія все одно залежить від реального споживання ресурсів і результату аукціону. Після завершення доказування доказ переходу стану vApp проходить перевірку в Ethereum, і лише тоді відповідні квитанції здійснюють оплату; PROVE, сплачені до сховища доказувача, надходять до сховища iPROVE та відображаються частками для стейкерів цього доказувача.

Завдання доказування розподіляються через «proof contest»: спочатку перевіряється, чи відповідає доказувач вимогам стейкінгу для цього запиту, а потім доказувачі, що відповідають вимогам, беруть участь у зворотному аукціоні; завдання отримує кваліфікований доказувач із нижчою ставкою. Запитувач може встановити дедлайн, прийнятну максимальну комісію та мінімальну вимогу до стейкінгу; отже, перемога залежить не лише від готовності назвати низьку ціну, а й від здатності виконати обмеження завдання. Після розподілу доказувач повинен подати дійсний доказ до дедлайну. У разі успіху комісія за запит за правилами розподіляється між сховищем протоколу, стейкерами цього доказувача та власником доказувача; якщо доказ не подано вчасно, завдання скасовується, відповідний стейкінг може бути скорочений, а запитувач може подати запит знову. Обсяг стейкінгу також впливає на кількість аукціонів, у яких доказувач може брати участь одночасно: що вищу вимогу до забезпечення встановлює запит, то лише доказувачі, здатні її покрити, мають право брати участь.

Власники можуть делегувати PROVE у стейкінг визначеному доказувачу, надаючи економічне забезпечення для його здатності брати завдання та отримуючи частину доходу, який він генерує. Стейкінг не означає гарантованого доходу: винагорода залежить від того, чи фактично отримує та успішно виконує цей доказувач завдання, від заздалегідь установленої ним частки розподілу для стейкерів, а також від того, чи надаються додаткові стимули. Шлях у контрактах такий: PROVE спочатку вноситься до глобального сховища ERC-4626 iPROVE, де карбується iPROVE; потім iPROVE вноситься до спеціального сховища обраного доказувача; стейкер отримує stPROVE як квитанцію, що представляє його частку в цій позиції. Коли дохід доказувача надходить до його сховища, делегатори отримують вигоду пропорційно до часток; додаткові стимули від фонду вводять PROVE до глобального сховища iPROVE через часовий dispenser, збільшуючи кількість PROVE, яку можна викупити за частки. Одна адреса одночасно може робити стейкінг лише одному доказувачу; щоб змінити його, потрібно спочатку повністю вийти з початкової позиції.

Вихід зі стейкінгу не повертає PROVE до гаманця миттєво: стейкер спочатку викликає requestUnstake(stPROVE), система створює знімок iPROVE за поточним коефіцієнтом обміну та починає період очікування; після завершення періоду вихід завершується, stPROVE спалюється, iPROVE викуповується зі сховища доказувача, а потім із глобального сховища викуповується в PROVE. Нові винагороди доказувача протягом періоду очікування більше не зараховуються до цієї заявки на вихід. Скорочення — це ризик, пов’язаний із виконанням зобов’язань доказувачем. Рівень розрахунків може, спираючись на докази неналежної поведінки, подати запит на скорочення iPROVE певного доказувача; щойно його завершено, визначений iPROVE спалюється, а позиції всіх стейкерів у сховищі цього доказувача зменшуються пропорційно. Тому заявка на вихід також не виключає ризик скорочення, яке може відбутися протягом періоду очікування; остаточна кількість PROVE, яку можна повернути, залежить від тодішньої вартості частки у сховищі.

Право управління PROVE не здійснюється безпосередньо незастейканими PROVE; у спроєктованому ончейн-управлінні право голосу має iPROVE, застейканий у сховищі доказувача, а доказувач бере участь в управлінні через своє сховище. Обліковий запис, що вносить пропозицію, повинен досягти порогу пропозиції iPROVE; після досягнення кворуму пропозиція ухвалюється простою більшістю голосів «за». Однак це не означає, що ключові поточні контракти вже повністю контролюються голосуванням токенів. Офіційна документація вказує, що на початковому етапі управління здійснює комітет безпеки; спільнота може обговорювати питання на форумі та голосувати в Snapshot, але це голосування має консультативний характер, а комітет безпеки зберігає остаточні повноваження щодо змін і виконання. Мультипідпис комітету безпеки розгорнуто в основній мережі Ethereum, а поріг підпису становить 3 з 6 осіб. Лише коли буде делеговано достатньо стейкінгу та право власності на контракти передадуть SuccinctGovernor, відбудеться перехід до повного ончейн-управління.

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