ZK доказательства: "Манхэттенский проект" Эфира

Автор оригинала: @0xJaehaerys

Компилировал: LlamaC

“Рекомендательное сообщение: В данной статье в основном рассматривается, как доказательства с нулевым разглашением (ZK-Proofs) создают новый рынок проверяемых вычислений стоимостью десятки миллиардов долларов, а также технические преимущества компании Succinct и ее родного токена $PROVE в этой области, рыночная позиция и недавние достижения, связанные с экосистемными данными. Как передовой тренд, его FDV значительно увеличил свою оценку, пожалуйста, проведите собственное исследование.”

Введение

!

Эта статья, написанная соучредителем Succinct Умой Рой, знаменует собой парадигмальный сдвиг. Она объявляет не о появлении еще одного токена, а о новом экономическом организме, основанном на данных, который стремительно развивается в реальном времени: экономика верифицируемых вычислений. На протяжении многих лет технологии нулевых знаний (ZK) рассматривались как теоретический итог масштабирования блокчейна. Сегодня они стали инженерной реальностью, открыв одну из самых важных гонок за инфраструктуру следующего десятилетия.

Движущей силой этого преобразования является то, что Дэвид Хоффман назвал «Манхэттенским проектом» для Ethereum: коренная переработка протокола с многократным увеличением его пропускной способности без ущерба для децентрализации. До недавнего времени это оставалось далеким видением. Но ряд стратегических обновлений протокола и ключевых технологических прорывов превратили это в осуществимую дорожную карту.

Я всегда считал, что то, что мы делаем с ZK, особенно ZK-EVM, которое в конечном итоге будет применено к Эфириуму, немного похоже на Манхэттенский проект Эфириума… Когда Эфириум втихую исследует ZK, чтобы сохранить все те вещи, которые сейчас приводят Уолл-стрит на блокчейн, они также разрабатывают эту крайне перспективную технологию.

Этот отчет проводит фундаментальный анализ этого нового многомиллиардного рынка. В отчете будет объяснено, почему спрос на ZK-доказательства не является спекулятивным, а является структурно неизбежным; количественно оценен масштаб этой экономической возможности; и подробно изложено, как такие компании, как Succinct, ориентированные на платформу, с помощью своего нативного токена $PROVE, имеют потенциал стать инфраструктурой этой новой эпохи проверяемых вычислений.

Необходимость нового рынка

1.1 Необходимые требования Gigagas и Teragas

Эфириум переживает значительные изменения, движимые ядром дорожной карты разработки, которая не является спекуляцией, а предопределенным, неизбежным процессом эволюции. Эта переработка самого протокола создает структурированный, предсказуемый и экспоненциально растущий спрос на доказательства с нулевым разглашением (ZK). Для достижения глобальной пропускной способности Эфириум предназначен стать первым и крупнейшим потребителем в совершенно новой, стоящей десятки миллиардов долларов, верифицируемой вычислительной экономике.

Эта потребность возникает из четкого и великого долгосрочного видения. Дорожная карта 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 автоматически увеличивался в 3 раза каждый год. Этот механизм нацелен на обеспечение стабильного и предсказуемого роста, создавая надежную кривую спроса для вычислительных ресурсов, необходимых для обеспечения безопасности сети.

Это изменение будет управляться многолетней программой “постепенной интеграции”, которая организованно снижает риски процесса. Программа будет реализована поэтапно и в конечном итоге до 2027 года будет обязательным требованием использования ZK-доказательств для проверки действительности блоков, что сделает генерацию доказательств центральной и экономически необходимой функцией протокола. Направляя это требование непосредственно в эволюцию протокола, Эфириум фактически разрабатывает отраслевую политику для области 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 proof будут стабилизироваться на уровне от 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 того же года, чтобы соответствовать предположению “террагаcс агрегат” (то есть, мощность каждого 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 к 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 за год:

ОбщийL2ПропускнаяСпособность(Mgas/s)×ЦенаЗаMgas×СекундыВГодуОбщийL2ПропускнаяСпособность(Mgas/s)×ЦенаЗаMgas×СекундыВГоду

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

2.3 Оценка рынка — видение сверху вниз (Teragas финал)

Еще одна модель сверху вниз, основанная на полностью реализованной дорожной карте Ethereum “Gigagas” и “Teragas”, показывает, что потенциальный объем рынка может увеличиться на порядок.

Таблица 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 Общая пропускная способность:

AggreGateL2Throughput=(L2Count×ZKCoverage)×L1Throughput

• Формула дохода: 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% блоков заняли больше времени не из-за технических ограничений, а из-за неправильного ценообразования некоторых операций (таких как предкомпиляция Blake2) в таблице тарифов EVM Gas. Этот этап ясно подтверждает, что доказательство в реальном времени является инженерно осуществимым.

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 году, и скорость улучшений значительно превышает предполагаемый рост вычислительных потребностей в 3 раза в год, указанный в дорожной карте Ethereum.

Многофункциональность SP1 не ограничивается реализацией полного ZK-rollup. Его мощные возможности в качестве универсального zkVM породили новаторский гибридный дизайн, чтобы удовлетворить конкретные рыночные потребности. Типичным примером является его применение в нулевых доказательствах сбоев. Проекты, такие как Facet, используют системы на основе OP Succinct Lite, перенося свои функции преобразования состояния на Rust (через Kona и REVM) и компилируя их в бинарные файлы SP1 ELF. Это позволяет им обеспечивать как низкую стоимость “идеального случая” оптимистичных систем, так и сохранять характеристику “одиночного решения” 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 сопроцессоры и другие проверяемые приложения.

По консервативным оценкам, к 2030 году годовой доход в этой области вырастет до более чем 126 миллионов долларов.

С развитием ZKML и решений по защите конфиденциальности в блокчейне, эта область может еще больше расшириться.

5: Кратко против $PROVE

5.1 Сеть доказателей: универсальный, без разрешений рынок

Основная стратегия Succinct заключается не только в создании лучшего доказателя, но и в создании авторитетного рынка для доказательства. Это глобальное предложение не является гипотетическим, а состоит из опытных операторов. Сеть уже привлекла множество доказателей, которые обычно являются «бывшими шахтерами», большинство из которых находится в Азии и располагает готовой инфраструктурой, дешевой электроэнергией и доступными потребительскими GPU.

Его двухсторонний рынок связывает глобальное предложение вычислительной мощности с растущим спросом на ZK доказательства через систему реальных аукционов.

Мы строим двусторонний рынок: сеть доказателей Succinct. Она предназначена для коммерциализации процесса генерации ZK-доказательств.

Эта конкурентная ситуация является движущей силой рыночной эффективности, оказывая постоянное downward давление на цены и задержки, тем самым напрямую принося пользу потребителям.

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 не только ставка на отдельное приложение, но и прямая инвестиция в фундаментальный, проверяемый вычислительный слой следующего поколения интернета.

Докажите программное обеспечение всего мира.