Препятствие стоимостью в миллиарды долларов, из-за которого ваши криптовалютные транзакции остаются дорогими | Мнение

Раскрытие информации: Мнения и взгляды, выраженные здесь, принадлежат исключительно автору и не представляют мнения и взгляды редакции crypto.news.

Вы попытались перевести 50$ с Ethereum (ETH) на ZK-роллап, такой как zkSync, ожидая заплатить несколько центов. Вместо этого комиссия от 0,15$ до 0,50$ опустошает ваш кошелек. Это трудно проглотить, когда вы знаете, что оптимистичные роллапы часто в три раза дешевле, чем ZK-роллапы, и Обновление Dencun сократило затраты на данные более чем на 90%. Узким местом является не перегрузка сети. Это само доказательство.

Резюме

• Комиссии ZK-роллапов определяются доказательствами, а не данными или исполнением: Генерация доказательств потребляет 60–70% комиссий из-за неэффективной для GPU криптографии, создавая централизованный рынок доказательств стоимостью ~97 000 000$, который поддерживает высокие комиссии ZK несмотря на Обновление Dencun Ethereum.
• Это создает ловушку централизации и безопасности: Более 90% ZK-L2 полагаются на несколько провайдеров услуг доказательств, что приводит к цензуре, извлечению MEV, сбоям и извлечению ренты в стиле web2, подрывая децентрализацию и внедрение.
• Решение – специализированное оборудование + открытые рынки доказательств: Специализированные для ZK ASIC и конкурентные он-чейн аукционы доказательств могут сократить затраты на порядки величин, децентрализовать доказательства и разблокировать комиссии ниже цента, делая масштабирование ZK наконец жизнеспособным.

Генерация Доказательств с нулевым разглашением для пакета транзакций является интенсивным процессом. Он включает триллионы математических операций, в частности умножений на эллиптических кривых, выполняемых на оборудовании, не предназначенном для этой задачи. По данным L2Beat, только процесс доказательства составляет ошеломляющие 60-70% всех комиссий на ZK-L2.

Это создало централизованный рынок «ферм доказательств», стоимость которого оценивается более чем в 97 000 000$. Это узкое место на миллиард долларов. Это централизованная, энергоемкая система, которая полагается на несоответствующее оборудование, и это причина, по которой масштабирование ZK все еще больше похоже на обещание, чем на реальность. 

Решение двояко. Нам нужны специализированные ASIC и открытые рынки доказательств. При их наличии транзакции ниже цента могут стать правилом, а не исключением. Это не фантазия. Это инженерная реальность, ожидающая своего принятия.

Куда на самом деле уходят ваши комиссии

Транзакция ZK-роллапа имеет несколько затрат. Исполнение L2 почти бесплатно. Размещение данных в основной сети теперь также дешево благодаря блобам, стоимостью десятую часть цента за транзакцию. Настоящий зверь – это доказательство. Одно доказательство для пакета из 4 000 транзакций может занять от двух до пяти минут для генерации на высокопроизводительном GPU A100. 

Это стоит от 0,04$ до 0,17$ только в комиссиях за облачные вычисления, основываясь на тестах Brevis. Когда вы амортизируете эту стоимость, получается от одного до четырех центов за транзакцию. Но при высокой нагрузке она может легко подскочить до более чем десяти центов.

Доказательства ZK – это не то же самое, что матричная математика, используемая в ИИ. Оно опирается на мультискалярные умножения (MSM) и теоретико-числовые преобразования (NTT) над эллиптическими кривыми. Эти операции являются тяжелой нагрузкой для GPU, которые предназначены для параллельных операций с плавающей точкой. Одно доказательство Groth16 требует около 10¹² полевых операций.

По результатам тестов Ingonyama, около 80% циклов GPU простаивают во время этого процесса. Оборудование просто не подходит. В первом квартале 2025 года отчет zkSync Era показал, что доказательства составили 65% их дохода в 2 300 000$. 

Это 1 500 000$, которые пошли прямо на централизованные кластеры. Между тем, команды роллапов платят AWS от 1 000$ до 5 000$ в месяц за установку, и эта стоимость линейно масштабируется с объемом. Неудивительно, что общая заблокированная стоимость в топовых ZK L2 застряла на уровне 3 300 000 000$, в то время как оптимистичные роллапы превысили 40 000 000 000$.

Но оптимистичные роллапы (Base, Arbitrum, Optimism и т.д.) также не являются полным решением, поскольку они имеют огромные компромиссы. Оптимистичные роллапы требуют как минимум семидневной задержки вывода, чтобы бдительные валидаторы могли оспорить недействительные переходы состояний. В быстро развивающемся мире DeFi это время ожидания просто слишком велико для большинства случаев использования. Эти сети также требуют от пользователей доверия этим бдительным валидаторам. Хотя это может быть приемлемо для транзакций с низкой стоимостью, таких как web3 игры или социальные сети, это оставляет желать лучшего, когда речь идет о реальных активах и других мощных финансовых случаях использования.

Поэтому путь к действительно масштабируемым, дешевым и безопасным транзакциям лежит не в избегании генерации доказательств, а в ее революционизации.

Это основная неэффективность: мы платим премию web2, как по стоимости, так и по централизации, для создания доверия к децентрализованной сети. Комиссия за доказательство – это не просто расход; это экономический якорь, сдерживающий внедрение ZK. До тех пор, пока генерация доказательств не станет такой же дешевой, как исполнение, ZK-роллапы останутся в ловушке системы, где их величайшая сила, криптографическая безопасность, также является их самым дорогостоящим узким местом. И эта стоимость не просто раздувает комиссии; она строит централизованную ловушку, из которой мы должны теперь выбраться.

Ловушка централизации

Более 90% ZK-роллапов передают на аутсорсинг нескольким компаниям, предоставляющим «доказательства как услугу». Это создает массивную единую точку отказа. В марте 2025 года операторы Blast заморозили транзакции атакующих и 12 000 невинных пользователей на 48 часов. Централизованные доказатели видят текстовые пакеты, извлекают MEV и отказывают в транзакциях. dYdX использует мультиподпись 3 из 5, что означает, что трое инсайдеров могут захватить цепочку. Это отражает проблемы зависимости от оборудования в других блокчейн системах, таких как механизм консенсуса Solana.

Эта централизация создает хрупкость. Топовые доказатели имеют 99,2% времени безотказной работы, но единичный сбой AWS может вызвать каскад. Во втором квартале 2025 года Starknet потерял 20% пропускной способности из-за отказа одного узла. Эти провайдеры захватывают 80% маржи, оставляя роллапы связанными рентой, в то время как L1 Ethereum обеспечивает безопасность. Это архитектурное противоречие. У нас есть «децентрализованные» L2, зависящие от центров обработки данных Web2. Как сказал Виталик Бутерин на Devcon 2024: «Передайте доказательства на аутсорсинг, и вы ничего не масштабировали, просто доверились новому оракулу».

Решение найдено

Чтобы решить эту проблему, нам нужен двойной удар. Нам нужен кремний, созданный для ZK, и нам нужен рынок для его распространения. Во-первых, оборудование. GPU похожи на гоночные автомобили на шоссе. Они отлично подходят для тензорных операций, используемых в ИИ, но ужасны для операций с кривыми, используемых в ZK. Вот где вступают специализированные ASIC.

Победители конкурса ZPrize 2025 смогли получить доказательства STARK за 6-8 секунд на FPGA. Это в 10-100 раз быстрее на ватт, чем GPU, потому что они жестко закодировали MSM и NTT. Cysic уже выпускает ASIC, которые могут генерировать доказательства для схем с миллиардом вентилей менее чем за две секунды, и они делают это с 50-кратным сокращением энергопотребления. Это та же эволюция, которую мы видели с майнингом Bitcoin (BTC). Мы перешли от CPU к ASIC, но на этот раз это для истины, а не для хешей.

Во-вторых, рынки. Нам нужно отказаться от модели SaaS и рассматривать доказателей как товар. Основная сеть Succinct 2025 года иллюстрирует это. Роллапы публикуют задания на аукционах на базе Ethereum, и специализированные установки делают ставки на них за секунды. Brevis ProverNet достиг скоростей в 20 раз выше CPU через кластеры GPU со слэшингом для ленивых узлов.

Результатом является 40% снижение затрат, справедливое распределение стоимости и устойчивость к цензуре. Любой может доказать, Ethereum верифицирует. ZPrize 2025 рекурсивная агрегация верифицировала доказательства менее чем за 200 миллисекунд он-чейн. Бот DeFi за 10 000$ может запускать приватный ZK-ML на L2 за тысячную долю цента за транзакцию.

Открытие шлюзов

Более дешевые доказательства приведут к предсказуемым комиссиям ниже 0,01$ при 15 000 TPS согласно дорожной карте zkSync Atlas. Это разблокирует NFT с оплатой за пиксель, экономику игр в реальном времени и ИИ-агентов, совершающих сделки без фронтраннинга. L2 становятся нейтральной инфраструктурой, а не феодами доказателей. 

Разработчики сосредотачиваются на оптимизации VM вместо управления массивными серверными фермами. Это стимулирует десятикратные инновации приложений. ZK TVL растет с 28 000 000 000$ в 2025 году до более чем 100 000 000 000$. Реальная возможность является системной. 

Когда доказательства становятся дешевыми и децентрализованными, вся ценностная предложение кристаллизуется. Пользователи получают скорость и стоимость. Разработчики получают платформу, которая не требует доверия нескольким операторам. Ethereum получает решение для масштабирования, которое поддерживает гарантии безопасности без компромиссов.

Битва здесь

Самым большим барьером для внедрения ZK являются не криптовалюты или игры, а инженерная экономика. Централизованная инфраструктура душит масштабируемую истину. Война идет не за консенсус. Она идет в оборудовании и рынках для верифицируемых вычислений. Запустите децентрализованные, ускоренные доказатели, и мы предоставим дешевые транзакции без доверия для миллиардов людей. 

Нам не нужны повелители доказательств. Нам нужен глобальный базар для доказательств, где любой вносит вклад, все верифицируют, и открытая сеть безопасна.

Leo Fan

Leo Fan является основателем и генеральным директором Cysic.xyz, первой полнофункциональной вычислительной сети, обеспечивающей доказательства с нулевым разглашением в реальном времени, ускоренные аппаратно ИИ вычисления и токенизированный доступ к высокопроизводительному оборудованию через ComputeFi. Имея докторскую степень по криптографии из Корнелла и опыт, охватывающий академические исследования, проектирование FPGA/ASIC, протокольную инженерию и конвейеры оборудования следующего поколения, Лео помог переходу Доказательств с нулевым разглашением от теоретических конструкций к системам промышленного масштаба. В Cysic Лео руководит мультидисциплинарной командой, разрабатывающей ZK и оптимизированные для ИИ ASIC, высокопроизводительные кластеры GPU-доказательств и децентрализованную вычислительную сеть, которая превращает вычисления в программируемый он-чейн актив. Этот разговор происходит на следующий день после запуска основной сети Cysic, что делает его отличной возможностью глубоко погрузиться в то, что основная сеть разблокирует для производительности, децентрализации и использования в реальном мире.