ZK-докази: "Манхеттенський проєкт" Ethereum

Оригінальний автор: @0xJaehaerys

Переклад: LlamaC

“Рекомендоване повідомлення: У цій статті в основному розглядається, як нульові знання (ZK-Proofs) створюють новий ринок верифікованих обчислень вартістю в кілька мільярдів доларів, а також технічні переваги компанії Succinct та її рідного токена $PROVE у цій сфері, ринкове позиціонування та нещодавні досягнення, пов'язані з екологічними даними. Як передовий тренд, її FDV значно зросла в ціні, будь ласка, проведіть власне дослідження.”

Вступ

!

Ця стаття спільного засновника Succinct Уми Рой знаменує собою парадигмальний зсув. Вона проголошує не просто народження ще одного токена, а нову економіку, що формується в реальному часі завдяки даним: економіку верифікованих обчислень. Протягом багатьох років технологія нульових знань (ZK) вважалася теоретичним фіналом масштабування блокчейну. Сьогодні вона стала інженерною реальністю, відкриваючи одну з найважливіших конкурентних битв за інфраструктуру на найближчі десять років.

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

Я завжди вважав, що те, що ми робимо з ZK, особливо ZK-EVM, яке врешті-решт буде застосовуватися в Ethereum, трохи нагадує манхеттенський проєкт Ethereum… Коли Ethereum вивчає ZK за лаштунками, щоб зберегти всі ті речі, які сьогодні переводять Уолл-Стрит на ланцюг, вони також розробляють цю надзвичайно перспективну технологію.

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

Необхідність нового ринку

1.1 Необхідні вимоги до Gigagas та Teragas

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

Ця потреба виникає з чіткої та великої довгострокової мети. Дорожня карта Gigagas має на меті розширити пропускну спроможність рівня виконання L1 до 1 Ggas/s, що приблизно дорівнює 10 000 TPS. Однак, як зазначив дослідник Фонду Ethereum Джастін Дрейк, це лише “верхівка айсберга”. Остаточною метою є досягнення загальної пропускної спроможності 1 Tgas/s (приблизно 10 мільйонів TPS) завдяки співпраці близько 1 000 L2. У цій моделі 99,9% обсягу транзакцій відбувається на L2, тоді як L1 еволюціонує в остаточний центр спільної безпеки та розрахунків. Як сказав Дрейк:

“10,000 TPS взагалі ні про що. Щоб обслуговувати весь світ, нам потрібно досягти рівня 10 мільйонів транзакцій на секунду і 1 тергагас на секунду. Як ми можемо досягти цієї мети? Відповідь - L2.”

Пропозиції, такі як EIP-7938, офіційно закріпили таке експоненціальне розширення, яке пропонує, щоб верхня межа L1 Gas автоматично збільшувалася в 3 рази щороку. Цей механізм має на меті досягнення стабільного та передбачуваного зростання, створюючи надійну криву попиту для обчислювальних ресурсів, необхідних для забезпечення безпеки мережі.

Ця трансформація буде керуватися багаторічною програмою “поступового впровадження”, яка поетапно знижує ризики процесу. Програма реалізується етапами, і в кінцевому підсумку до 2027 року буде обов'язковим використовувати ZK-докази для верифікації дійсності блоків, що робить генерацію доказів центральною та економічно невід'ємною функцією протоколу. Прямо закріпивши цю вимогу в еволюції протоколу, Ethereum насправді розробляє промислову політику для сфери ZK, надаючи необхідний економічний сигнал для виправданості значних капітальних інвестицій у майбутню інфраструктуру.

1.2 Остаточні питання: Віталік Бутерін про те, чому ZK є критично важливим для L2

Ця терміновість зміни набагато ширша, ніж L1. Вона вирішує найголовніше вузьке місце в поточній екосистемі L2: терміновість виведення, що викликає тертя і ризики через повільність. Як нещодавно зазначив співзасновник Ethereum Віталік Бутерін, досягнення швидкого часу виведення є ключовою метою, і для L2 “навіть важливіше, ніж другий етап”.

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

!

У докладному поясненні Бутерін підкреслив основну проблему поточного основного дизайну Optimistic Rollup:

“Чекати тиждень, щоб вивести кошти, для людей насправді занадто довго, навіть для кросчейн-мостів, заснованих на намірах… Якщо постачальники ліквідності повинні чекати тиждень, їхні витрати на капітал стають надто високими. Це значно заохочує людей звертатися до тих рішень, які мають неприпустимі припущення довіри (наприклад, мультипідпис/MPC), що прямо суперечить меті існування L2.”

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

“Історично, технологія ZK-доказів завжди була незрілою та дорогою, що робило оптимістичні докази розумним і безпечним вибором. Але останнім часом ця ситуація швидко змінюється.”

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

Ця гнучкість приваблює не тільки розробників програмного забезпечення, але й професійних виробників апаратного забезпечення. Провідна у галузі компанія з апаратного прискорення ZK Cysic оголосила, що їхній найближчий «ASIC, сумісний з zkVM, буде запущений і нативно підтримуватиме SP1». Ця спеціалізована апаратна компанія планує надати нативну підтримку, що свідчить про сильну впевненість галузі в тому, що SP1 може стати потенційним стандартом для перевірних обчислень, усуваючи розрив між відкритим програмним забезпеченням і спеціалізованими чіпами.

Друге, кількадесят мільярдів доларів можливостей

2.1 Економіка одиниць доказу

Чи є економічно життєздатною масштабна ZK екосистема, залежить від вартості одиниці доказу для даного обсягу обчислень. Хоча ранні ZK системи були відомі своєю високою вартістю, розвиток подібних до “закону Мура” тенденцій призвів до різкого зниження їх вартості. На заході “Frontiers”, організованому Paradigm, Джон з Succinct зазначив, що середня вартість доказу за одну транзакцію наразі коливається між 0,01 і 0,1 центами, він охарактеризував цю вартість як “майже незначну в порівнянні з іншими витратами, такими як DA”.

На мою думку, механізм стимулювання дуже простий. Як і сьогодні, достатньо покладатися на комісії та MEV… витрати приблизно 0,01 центів. Якщо особисті користувачі готові сплатити цю суму, цього буде достатньо для компенсації витрат на підтвердження.

Очікується, що ця вартість ще більше знизиться. Дослідник Ethereum Foundation Джастін Дрейк висловив ключовий прогноз, згідно з яким, з продовженням експоненціального покращення апаратного та програмного забезпечення, довгострокові, масштабовані витрати на L1 відповідність стабілізуються на рівні від 0,0001 до 0,001 долара за Mgas/s (мільйон газу на секунду). Це швидке зниження витрат перетворює ZK з нішевої, дорогої технології на комерційно доступний інструмент, закладаючи основу для величезного ринку.

2.2 Розмір ринку — прогноз знизу вгору (консервативна точка зору)

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

Якщо ви уявите, що вартість кожної транзакції становить хоча б 0,1 цент, а ви обробляєте TPS рівня Solana, наприклад, 4000-5000 транзакцій на секунду, то, помноживши всі ці числа, ви отримаєте приблизно 100 мільйонів доларів на рік для доказових витрат.

Таблиця 1: Прогноз потреби в ZKP та доходів екосистеми L2 (2025-2030)

!

Методологія — Прогноз потреб та доходів ZKP в екосистемі L2 (2025–2030)

• Кількість L2 та покриття ZK
• Починаючи з 25 L2 у 2025 році, розширюючись до 1000 L2 до 2030 року.
• Покриття представляє частку L2 на основі ZK, яка зросла з 50% до 85% щорічно.
• Середня пропускна здатність кожного ZK L2
• Встановити так, щоб відповідати пропускній спроможності L1 того ж року, відповідно до припущення “агрегації террагасів” (тобто, ємність кожного L2 зростає зі збільшенням базового шару).
• Це оптимістичне припущення, яке для спрощення стискає розподіл затримки в хвостовій частині до єдиного середнього значення.
• Розрахунок загального обсягу

ЗагальнаПропускнаСпосіб(Mgas/s)=(L2Кількість×КоефіцієнтПокриття)×СередняПропускнаСпосібнаZKL2

• Припущення щодо ціни
• Початкова ціна за кожен Mgas становить 0,0104 долара США (посилання на Katana, 2025 рік).
• Завдяки підвищеній ефективності апаратного забезпечення, конкуренції на ринку доказувачів та оптимізації на рівні протоколу, витрати значно знизяться до 0,0004 долара до 2030 року.
• Використовуйте лінійну інтерполяцію цін між початковим і кінцевим роками.
• Річний дохід:

РічнийДоход=ЗагальнаПродуктивність×ЦінаЗаМгас×31,536,000(секунд/рік)

Таблиця 2: Потенційна ринкова капіталізація ZK доказів (TAM) ( 2025-2030 роки, метод знизу вгору )

• Зростання кількості L2 — починаючи з 25 L2 у 2025 році, до 1,000 L2 у 2030 році.
• ZK покриття — лише частина L2 використовує ZK докази: у 2025 році 50%, до 2030 року зросте до 85%.
• Середня пропускна здатність кожного ZK L2 — встановлена на рівні пропускної здатності L1 того ж року (це оптимістичне припущення). Це узгоджується з логікою дорожньої карти “teragas”, згідно з якою зрілі L2 досягнуть ємності L1.
• Загальний L2 пропускна здатність — формула розрахунку: кількість ZK L2 × середня пропускна здатність кожного ZK L2
• З них, кількість ZK L2 = загальна кількість L2 × коефіцієнт покриття.
• Ціна за мільйон Gas — на початку 2025 року встановлена на рівні 0,0104 долара (на основі витрат на підтвердження Katana L2) і поступово знижуватиметься до 0,0004 долара до 2030 року, щоб відобразити підвищення ефективності, спричинене zkVM, апаратним забезпеченням і ринковою конкуренцією.
• Річний потенційний обсяг ринку L2:

TotalL2Throughput(Mgas/s)×ЦіназаMgas×СекундинаРікTotalL2Throughput(Mgas/s)×ЦіназаMgas×СекундинаРік

• Річний потенційний обсяг ринку L1 — з 2027 року (коли буде запущено обов'язкове підтвердження L1 блоків), ціна буде такою ж, як у L2 на $/Mgas того року, пропускна спроможність L1 базується на дорожній карті розширення Ethereum.
• Інші потреби — консервативна оцінка становить 10% від загального обсягу потенційного ринку L2, включаючи ZK мости, спільні процесори та верифіковані додатки (ZKML, онлайнова конфіденційність).
• Потенційна загальна ринкова капіталізація: Потенційна загальна ринкова капіталізація L1 + Потенційна загальна ринкова капіталізація L2 + Інші вимоги

2.3 Оцінка розміру ринку — бачення зверху вниз (Кінець Teragas)

Інша модель зверху вниз, заснована на повній реалізації дорожніх карт “Gigagas” та “Teragas” на базі Ethereum, показує, що потенційний розмір ринку може бути більшим на один порядок.

Таблиця 3: Прогноз пропускної здатності газу Ethereum L1 (2027-2030 роки)

Таблиця 4: Прогноз масштабу ринку та доходів ZK доказів (зверху вниз, 2027-2030 роки)

• Методологія (для цієї таблиці зверху вниз)
• L1 пропускна здатність — на основі дорожньої карти розширення Ethereum: 37,5 → 1 000 Mgas/s (2027–2030 роки).
• Кількість L2 — зросте з 300 до 1,000 в період з 2027 по 2030 рік.
• ZK покриття — лише частина L2 використовує ZK докази, цей показник зріс з 60% до 85%.
• Середня пропускна здатність кожного ZK L2 — встановлена на рівні, що дорівнює пропускній здатності L1 того ж року (наприклад, у 2027 році 37,5 Mgas/s, у 2030 році 1 000 Mgas/s), щоб відповідати припущенню про загальну пропускну здатність на рівні тергас.
• Ціна за кожен Mgas — з покращенням апаратного забезпечення доказів та конкуренцією на ринку знижується: 0,00075 долара (2027) → 0,00040 долара (2030).
• L2 загальна пропускна здатність:

AggreGateL2Пропускна здатність=(L2Count×ZKCoverage)×L1Пропускна здатність

• Формула доходу: L1
• Доход = L1_пропускна здатність × ціна × кількість секунд в році
• L2 дохід = AggreGate_L2_пропускна здатність × ціна × кількість секунд у році
• Загальний ринок = Доходи L1 + Доходи L2

2.4 Хто заплатить за підтвердження?

Цей десятки мільярдів доларів попиту не буде фінансуватися за рахунок інфляції протоколу, а буде підтримуватися надійними та різноманітними моделями доходів L2 та додатків. Як зазначено в аналітичній статті Conduit, проекти з власним блокчейном мають принаймні сім різних важелів доходу, що забезпечує їх здатність покривати операційні витрати на ZK-докази.

Таблиця 5: Порівняльний аналіз потоків доходів L2

!

Хто має ланцюг, той має світ: 7 основних джерел доходу Rollup

Технологічні переваги Succinct

3.1 Реальні докази стали реальністю

Якщо не буде значних проривів у продуктивності ZK-доказів найближчим часом, вся концепція “Gigagas” залишиться на теоретичному етапі. Як сказав Джон з команди Succinct, реалізація “реального часу доказу” — тобто здатність генерувати ZK-докази для будь-якого блоку Ethereum за 12 секунд — є “місячним моментом у сфері ZK”.

Ця зміна не тільки означає підвищення продуктивності, але й революцію в доступності для розробників. Як пояснила співзасновниця Succinct Ума Рой, для розробки ZK раніше потрібна була команда з “40 докторів наук з криптографії” та сотні мільйонів капіталу, щоб створити єдину, специфічну для застосування систему доказів. З появою універсального zkVM ця модель була повністю зламана. Рой зазначила: “В основному, ви переходите від необхідності в 40 докторах наук з криптографії, десятках мільйонів або сотнях мільйонів витрат на дослідження та розробки до проекту, який можна завершити за вихідні.”

Через два потужні аналогії в подкасті можна краще зрозуміти це досягнення:

• Від ASIC до CPU: ціла індустрія переходить від спеціалізованих інтегральних схем (ASIC), які можуть вирішувати лише одне завдання, до універсальних моделей CPU, тобто один двигун, як SP1, може доведено виконувати будь-яку програму.
• Основна модель криптографії: функція SP1 подібна до основної моделі в сфері штучного інтелекту. Як ChatGPT робить штучний інтелект доступним через чисту англійську, так і SP1 робить ZK легким у використанні через стандартний код. “Як у штучному інтелекті та основних моделях, ви вводите англійською, і можете використовувати штучний інтелект,” зазначив Рой, “тут вам потрібно лише ввести звичайний код, і ви зможете використовувати ZK, ось так просто.”

Succinct SP1 HyperCube є вирішальним доказом цього досягнення. У знаковій демонстрації ця система успішно довела 93% усіх реальних блоків мережі Ethereum за 12 секунд. Інші 7% блоків зайняли більше часу, не через технічні обмеження, а через неналежне ціноутворення деяких операцій у таблиці обліку EVM Gas (таких як попередня компіляція Blake2). Цей етап чітко підтверджує, що реальне доведення інженерно можливе.

3.2 Прогресивний двигун: SP1 zkVM

Основою технологічного стеку Succinct є SP1, високопродуктивна, відкрита віртуальна машина нульового знання (zkVM). SP1 є стратегічним активом, призначеним для обслуговування найбільшого спектру перевіряних обчислювальних завдань, що сприяє переходу галузі в епоху “ZK 2.0”.

Я вважаю, що успішний випуск токена $PROVE майже підтверджує те, що zKVM став інвестиційним класом активів… Це досить вражаюче, ви знаєте, в перший день випуску його повна розпорошена оцінка фактично перевищила такі проекти ZK Rollup, як ZKSync, Scroll і Starknet.

!

“Наша мета - усунути всю складність криптографії, щоб розробники могли використовувати стандартні мови, такі як Rust, для ‘написання звичайного коду’ та отримання ZK-доказів.”

• Легкість у використанні: як RISC-V zkVM, SP1 дозволяє розробникам використовувати наявні, перевірені часом бібліотеки коду та знайомі мови, не вимагаючи вивчення складної криптографії.
• Універсальність: Вибір RISC-V як цільового набору інструкцій не лише відповідає широкій тенденції всієї ZK-екосистеми, але, що більш важливо, він узгоджується з довгостроковою дорожньою картою Ethereum L1.
• Траєкторія продуктивності: Постійні покращення SP1 демонструють тенденцію, подібну до “закону Мура”. Час доказу скоротився з кількох десятків хвилин у 2023 році до всього кількох секунд у 2025 році, що перевищує темпи зростання обчислювальних вимог, запропоновані в дорожній карті Ethereum, у три рази на рік.

Багатофункціональність SP1 не обмежується реалізацією повного ZK-rollup. Його потужні можливості як універсальної zkVM сприяли виникненню нових змішаних дизайнів для задоволення конкретних потреб ринку. Типовим прикладом є його застосування у нульових знаннях для доведення помилок. Проекти, як-от Facet, використовують систему на базі OP Succinct Lite, переносячи їх функцію перетворення стану на Rust (через Kona та REVM) і компілюючи в ELF-бінарні файли SP1. Це дозволяє їм надавати низьковартісні “ідеальні умови” оптимістичної системи, а також зберігати характеристику “однотранзакційного вирішення” ZK-доказів у разі виникнення викликів. Це демонструє здатність SP1 служити більш широкій криптографічній моделі безпеки, тим самим розширюючи його потенційний ринковий обсяг.

!

З розвитком дедалі зріліших і професійніших валідаторів, ефективність цієї ринкової моделі перевіряється в реальному часі. Важливим досягненням є те, що @cysic_xyz (провідна компанія з апаратного прискорення ZK) вийшла в мережу валідаторів Succinct як багатовузловий валідатор. Cysic не є постачальником загальних обчислень, вони “повністю самостійно розробляють весь технологічний стек”, включаючи спеціально розроблене апаратне забезпечення для навантажень ZK та кластери GPU з високою пропускною спроможністю.

3.3 Економіка реальних доказів

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

10 тисяч до 30 тисяч доларів США. Це значно вигідніше, ніж використання послуг постачальників хмар, оскільки, за словами Джона, “NVIDIA насправді знижує продуктивність відеокарт… робить це навмисно, щоб отримати більший прибуток”.

Ця доцільність відповідає ініціативі «Доказ домогосподарства є обов'язковим» Фонду Ethereum, яка встановлює цільове обмеження споживаної потужності ≤10 кВт. Джастін Дрейк вже висловив свою особисту ціль у доведенні здійсненності цього кроку:

“Це в основному те, що я сподіваюся зробити цього року: доводити в реальному часі кожен блок Ethereum… і завершити це вдома.”

Чотири, все може бути ZK-форматоване

4.1 Новий простір для дизайну застосунків

Хоча розширення Ethereum є ринком вартістю десятки мільярдів доларів, справжня довгострокова можливість полягає у “ZK-інтелекту всього”.

Як зазначив Джон з команди Succinct, універсальний zkVM означає: “Усі покращення, які ми внесли для实时证明 Ethereum, також будуть універсальними для інших обчислень”.

4.2 Стислі дослідження випадків застосування

Succinct SP1 вже підтримує різні застосунки:

• Перевірена біржа (Hibachi) – створення біржі безстрокових контрактів з пріоритетом на конфіденційність за допомогою ZK, де цілісність офлайн книги замовлень може бути перевірена криптографічним способом.
• Кросчейнова інтероперабельність (Celestia) – реалізує “ліниве з''єднання” за допомогою технології Succinct, тобто використовує ZK-докази для безпечної та ефективної перевірки стану інших ланцюгів.

Ми постійно досліджуємо концепцію, яку називають “інертним мостом”… Якщо в ланцюгу немає виконавчого середовища, ваш ланцюг буде важко перевірити стан інших ланцюгів. Тому ми постійно працюємо над реалізацією цього через ZK-докази.

• DeFi L2s (@katana) – L2 Katana, що спеціалізується на DeFi, запущений на Polygon через Conduit, використовує технологію ZK-доказів від Succinct для швидких і безпечних розрахунків та підключається до Agglayer на Polygon.
• Основна інфраструктура DeFi (Lido): Lido, як лідер у сфері ліквідного стекингу, використовує SP1 на своїй тестовій мережі для підтримки “бездовірчого облікового оракула”. Ця система підвищує безпеку, дозволяючи перевіряти баланси ставленого ETH, не покладаючись на довірених адміністраторів.
• Розширений кросчейн міст (Across): Протокол Across співпрацює з Succinct для створення ZK-доказів на консенсусному рівні Ethereum. Це дозволяє їм безпечно та ефективно мости стан Ethereum на безліч інших ланцюгів, що є ключовою функцією для досягнення взаємодії.
• Невідворотні Rollups (Facet): Facet є першим універсальним другорядним rollup, що надає потужний кейс для впровадження технології Succinct. Щоб досягти своєї мети стати «невідворотним Rollup» без адміністративного ключа, Facet усунув офіційний міст і пов'язані з ним ризики безпеки. Він не використовує токени газу для мосту, а замість цього використовує рідний токен (FCT), обсяг видобутку якого пропорційний L1 ETH, знищеному під час публікації транзакцій користувачем. Ця архітектура забезпечується змішаною системою ZK-фальшивих доказів, побудованою на технології Succinct. Коли пропозиція кореня стану оскаржується, використовується SP1 zkVM для генерування ZK-доказу, щоб чітко вирішити спір. Це дозволяє Facet залишатися «легким платформою», забезпечуючи чисті, невідворотні обчислення, одночасно залишаючи управління активами та функції мосту конкурентоспроможній екосистемі, що складається з програм, обраних користувачем.

4.3 Постійно розширюючийся фронт: доходи від ZK кросчейн мостів, співпроцесорів і верифікаційних додатків

Модель ринку знизу вгору також включає швидко зростаючу категорію “інші запити”, яка охоплює ZK кросчейн мости, ZK ко-процесори та інші перевіряємi додатки.

За консервативними оцінками, до 2030 року річний дохід у цій сфері зросте до понад 126 мільйонів доларів.

З розвитком ZKML та рішень для приватності в ланцюгах, ця сфера має потенціал для подальшого розширення.

5: Лаконічний проти $PROVE

5.1 Мережа доказувачів: універсальний, бездозвільний ринок

Основна стратегія Succinct полягає не лише в створенні кращого доказувача, а й у створенні авторитетного ринку для доказування. Це глобальне постачання не є припущенням, а складається з досвідчених операторів. Мережа вже привернула безліч доказувачів, які зазвичай є “колишніми майнерами”, більшість з яких розташована в Азії, маючи готову інфраструктуру, дешеву електроенергію та споживчі графічні процесори (GPU), що доступні для використання.

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

Ми будуємо двосторонній ринок: мережу Succinct доказувачів. Вона має на меті комерціалізацію процесу генерації ZK доказів.

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

5.2 $PROVE токен: економічний двигун мережі

Уся економічна модель екосистеми Succinct зосереджена в її рідному токені $PROVE.

Цей токен має дві основні симбіотичні функції:

• Платіж – $PROVE є єдиною валютою на цьому ринковому майданчику. Всі витрати на створення доказів повинні сплачуватися в $PROVE , що створює прямий попит на цей токен.
• Стейк для забезпечення безпеки – щоб брати участь у аукціоні доказів та заробляти дохід, провайдери доказів повинні закласти $PROVE як економічну заставу. Це має вирішальне значення для надійності мережі, оскільки це призначено для запобігання “зловмисним атакам” (griefing) – тобто провайдери доказів обіцяють згенерувати докази, але в кінцевому підсумку не виконують, що може викликати серйозні затримки для таких додатків, як L2. Як зазначив Рой, “провайдери доказів не повинні мати можливість здійснювати зловмисні атаки… це буде дуже поганий досвід для користувачів”. Якщо провайдер доказів не виконає своїх зобов'язань, частина його застави буде конфіскована, щоб забезпечити їх “відповідальність”.

5.3 Вартісний накопичувальний флюгер

Таблиця 6: Модель накопичення утиліти та вартості токена $PROVE

5.4 Перші дані: впровадження доказів в практику

Ефективність цієї економічної моделі була доведена в перший день запуску мережі.

Співзасновник Ума Рой у публічному пості повідомила:

!

Рой зазначив, що з переходом понад 35 існуючих клієнтів у приватній мережі Succinct на публічну мережу, попит на доказ безумовно “зросте параболічно.”

висновок

Поєднання великої дорожньої карти масштабування Ethereum з зрілістю технології нульових знань створює один із найважливіших нових ринків інфраструктури, що виникають у найближчі десять років. Стратегічний акцент Фонду Ethereum зміщується, разом із його фінансовими вкладаннями, що перетворює теоретичну ідею на інженерні змагання. А технологічні прориви, які очолюють такі команди, як Succinct, роблять ціль цього змагання — реальні докази в реальному часі та масштабованість L1 — досяжною реальністю.

Епоха повторного виконання закінчується. Епоха криптографічної верифікації починається.

У цій новій парадигмі децентралізовані постачальники інфраструктури, такі як Succinct Prover Network, стануть невід'ємними постачальниками “лопат і кирок” у цій новій економіці.

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

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

Підтвердження програмного забезпечення у всьому світі.