Що таке стислий (PROVE)?

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

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

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

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

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

Вступ

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

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

Що таке Succinct?

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

Мережа функціонує як перевірна програма (vApp), що означає, що вона призначена для роботи як швидка, чутлива веб-додаток, але все на задньому плані є криптографічно захищеним і перевірним на блокчейні.

Стиснений процесор 1 (SP1)

SP1, скорочено від Succinct Processor 1, є універсальною віртуальною машиною нульового знання, розробленою Succinct Labs. Її мета — зробити генерацію доказів нульового знання більш доступною та зручною для використання розробниками.

Замість того, щоб писати складні криптографічні схеми, розробники можуть використовувати мови програмування, які їм вже знайомі, такі як Rust або C++. Після написання програми розробники можуть скомпілювати її та подати через SP1. Провайдери в мережі Succinct потім виконують програму та генерують підтверджувальний доказ того, що все було зроблено правильно, не розкриваючи жодних даних.

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

Як працює мережа стиснутого доведення

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

Мережа стиснутого доказування є децентралізованим протоколом, який з’єднує дві групи:

• Запитувачі: розробники або додатки, які вимагають нульових доказів знань.

• Провайдери: незалежні учасники, які генерують нульові докази знань.

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

Поза ланцюгом: Аукціонний дім

Зв'язок між запитувачами та постачальниками відбувається поза ланцюгом через систему, яка називається аукціонним будинком. Все відбувається через швидкі RPC (Remote Procedure Call) виклики, тому немає потреби чекати підтвердження блоків або мати справу з повільною комунікацією в ланцюзі. Це робить увесь процес швидким та чутливим, оскільки постачальники можуть одразу бачити запити на підтвердження та почати пропонувати свої послуги прямо зараз.

В ланцюгу: Розрахунок на Ethereum

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

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

Архітектура бекенду

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

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

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

Варіанти використання мережі Succinct

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

• Крос-чейн мости: перевірка даних або повідомлень з одного блокчейну на іншому без покладення на довіреного посередника.

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

• Достовірні обчислення: доведення того, що офлайн-процеси (, такі як висновки ШІ, симуляції або фінансові розрахунки), були виконані правильно і не були підроблені.

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

Токен PROVE

PROVE — це токен ERC-20, випущений на Ethereum, і слугує рідним утилітарним токеном протоколу Succinct. Він має різні цілі, такі як:

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

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

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

• Управління: спочатку оновлення керуються радою безпеки. З часом управління повністю перейде в ончейн, де власники PROVE голосуватимуть за зміни протоколу, рішення про фінансування та параметри мережі.

ДОВЕДІТЬ (Стиснений) Airdrop для HODLers на Gate

5 серпня 2025 року Gate оголосила, що Succinct стане 31-м проектом у програмі airdrop Gate HODLer. Користувачі, які мали Simple Earn та/або Chain Yields у BNB з 9 по 12 липня, мають право на airdrop PROVE. Загалом на програму було виділено 15 мільйонів PROVE, що становить 1,5% від загальної пропозиції.

Токен PROVE додано до списку з тегом Seed, і ви можете торгувати ним у парах з USDT, USDC, BNB, FDUSD та TRY.

Висновок

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