Від PROVE до децентралізованих ZK обчислень: технічна революція стиснутої мережі

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

Навіщо нам потрібен PROVE?

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

Конкурс доказів: Технічний стовп PROVE

Конкурс доказів - це система аукціону з повною оплатою, з наступним конкретним процесом:

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

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

П'ять основних переваг у порівнянні з традиційними моделями

1. Висока пропускна спроможність: Ефективно уникати ситуацій, коли кілька вузлів генерують однаковий доказ, покращуючи загальну ефективність мережі.
2. Анти-ведьминська атака: Запобігти розподілу ідентичності вузла для шахрайства з винагородами за допомогою механізму депозиту та прив'язки ідентичності;
3. Сильна масштабованість: будь-який власник апаратного забезпечення може брати участь, значно звільняючи глобальну обчислювальну потужність;
4. Прозорість цін: Усі котирування виконуються в мережі, що полегшує користувачам оцінку витрат.
5. Механізм проти маніпуляцій: Вбудована випадковість і простір налаштування параметрів для запобігання маніпуляціям з цінами та централізації.

Ключові сценарії застосування PROVE

ZK Rollup Chain: Покращити ефективність верифікації L2;
Мульти-ланцюгова взаємодія: Крос-ланцюгові мости не потребують довірених посередників;
ZK AI Верифікація: Перевірте, чи є вихід моделі ШІ реальним;
ZK Аутентифікація: Система ідентифікації, яка поєднує конфіденційність і надійність.
Децентралізовані Хмарні Обчислення: Надання Довірених Доказів Виконання Під Час Виконання Обчислень.

Співпраця між Succinct Network та zkVM SP1

Вся механіка PROVE базується на zkVM SP1, нульовій віртуальній машині, яка підтримує набір інструкцій RISC-V, що дозволяє розробникам безпосередньо перетворювати програми Rust у перевіряємий формат. Ця тісна інтеграція приносить кілька переваг:

Знизьте поріг для інтеграції застосунків;
Кожне оновлення SP1 приносить користь усій мережі;
Запобігти дублюванню доказів та шахрайству.

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