Доказательства с нулевым разглашением начали конкурировать с дата-центрами ИИ стоимостью в триллионы долларов за одни и те же GPU, что повышает стоимость доказательств, даже несмотря на то, что Cysic сообщает о 9% приросте производительности за счет улучшения использования оборудования.
Резюме
- Cysic утверждает, что неэффективное использование GPU, а не недостаточная вычислительная мощность, теперь определяет стоимость доказательств.
- ZK-нагрузки конкурируют с ИИ за GPU Nvidia, несмотря на использование разных математических операций.
- Доказательства в реальном времени для Ethereum и ZK-роллапы могут столкнуться с более высокими затратами раньше, чем потребительские приложения.
- Cysic ожидает, что это давление ускорит внедрение FPGA, специализированных ASIC для ZK и открытых рынков доказательств.
Основатель и генеральный директор Cysic Лео Фан рассказал crypto.news, что использование GPU стало ограничивающим фактором для доказательств с нулевым разглашением, поскольку системы доказательств теперь конкурируют с хорошо финансируемыми дата-центрами ИИ за одни и те же чипы.
«Модели ИИ сходятся. Вычисления — нет. Все предполагали, что стоимость доказательств будет падать, потому что чипы дешевеют. Вместо этого мы торгуемся с бюджетами дата-центров стоимостью в триллионы долларов за одни и те же чипы. Вот почему аппаратный уровень должен был быть открыт, а не оставлен горстке проприетарных систем доказательств».
По словам Фана, давление вызвано не только нехваткой вычислительных мощностей. Он сказал, что основная проблема — архитектурное несоответствие между программным обеспечением zkVM и ускорителями, используемыми для генерации доказательств, что оставляет часть доступной мощности GPU неиспользуемой и повышает стоимость каждого доказательства.
Движок доказательств Cysic Venus выявил это несоответствие, сократив время, затрачиваемое на координацию работы между CPU и GPU. Как сообщалось в апреле, компания зафиксировала улучшение времени доказательства от начала до конца более чем на 9% по сравнению с ZisK 0.16.1 без замены базового оборудования.
Стоимость ZK-доказательств теперь важнее, чем сырая скорость
Созданный как аппаратно-ориентированное расширение ZisK zkVM от Polygon Hermez, Venus представляет генерацию доказательств как один связный граф вычислений. Cysic утверждает, что такая конструкция позволяет системе планировать работу во всем процессе доказательства, а не обрабатывать каждую аппаратную функцию как отдельный вызов.
Благодаря интеграции CUDA Graph, настройке ядра и изменениям в общей памяти Venus уменьшает повторяющиеся передачи данных и синхронизацию между процессором и GPU. Фан сказал, что результат показывает, что существующие ускорители использовались не полностью, что делает утилизацию практическим узким местом, определяющим стоимость доказательств.
Сырая скорость доказательства быстро улучшилась по всей отрасли. Cysic заявил, что ZisK может генерировать доказательство блока Ethereum за 7,4 секунды с 24 GPU и может отправлять доказательства в реальном времени через одну установку RTX 4090. Эти утверждения исходят от компании и не были независимо проверены по общему критерию, охватывающему энергопотребление, размер доказательства, уровень безопасности и общую стоимость оборудования.
Другие разработчики также пересекли порог реального времени Ethereum. В ноябре 2025 года Succinct сообщила, что SP1 Hypercube доказал 99,7% выборки из 954 блоков Ethereum менее чем за 12 секунд, используя 16 GPU Nvidia RTX 5090. Около 95,4% выборки было доказано в течение 10 секунд.
Фонд Ethereum определяет доказательство в реальном времени как завершение доказательств для как минимум 99% блоков основной сети в течение 10 секунд. Его структура также требует полностью открытого исходного кода, размера доказательства менее 300 КиБ, безопасности не менее 128 бит, стоимости оборудования не более 100 000 долларов и ограничения энергопотребления 10 киловаттами.
Фонд заявил, что энергопотребление может быть более серьезным ограничением, чем стоимость оборудования, для домашних систем доказательств. Доказательство может быть получено до крайнего срока Ethereum, но при этом требовать слишком много энергии, охлаждения или капитала для независимого оператора.
Спрос ИИ ужесточает доступ к тем же GPU
Хотя ИИ и ZK-доказательства используют GPU по-разному, обе нагрузки зависят от ускорителей Nvidia, от потребительских карт RTX до систем H100 для дата-центров.
Обучение и вывод ИИ в основном используют матричные вычисления. Генерация ZK-доказательств в значительной степени зависит от мультискалярных умножений и теоретико-числовых преобразований — операций, которые GPU могут обрабатывать, но не были специально спроектированы для их выполнения.
Фан сказал, что это несоответствие подтверждает необходимость специализированного оборудования для ZK, поскольку системы доказательств входят в ту же очередь поставок, что и разработчики ИИ, но не используют чипы одинаково. Поскольку GPU-часы составляют большую часть счета за доказательства, более высокие затраты на оборудование и аренду переходят в стоимость каждого доказательства, добавил он.
Финансовые результаты Nvidia показывают масштаб спроса на инфраструктуру ИИ. Американский производитель чипов сообщил о выручке в размере 75,2 млрд долларов от центров обработки данных за квартал, закончившийся 26 апреля, что на 92% больше, чем годом ранее. Выручка от вычислений в центрах обработки данных достигла 60,4 млрд долларов, увеличившись на 77% в годовом исчислении.
Amazon Web Services отдельно согласилась купить один миллион графических процессоров Nvidia, поставки которых должны продолжаться до 2027 года, сообщило Reuters в марте. Генеральный директор Nvidia Дженсен Хуанг оценил возможность продаж в 1 триллион долларов для семейств продуктов Blackwell и Rubin до этого года.
В июне планируемая продажа облигаций Nvidia предусматривала привлечение как минимум 20 млрд долларов для финансирования инвестиций в ИИ и рефинансирования долга. Компании по добыче биткоина объявили о контрактах на сумму более 70 млрд долларов в области ИИ и высокопроизводительных вычислений, что иллюстрирует, как владельцы инфраструктуры, связанной с криптовалютами, также перенаправляют электроэнергию и объекты на рабочие нагрузки ИИ.
Отчет Bernstein, опубликованный в мае, оценил объявленные партнерства в области ИИ-инфраструктуры почти в 90 млрд долларов. Аналитики подсчитали, что биткоин-майнеры контролируют более 27 гигаватт планируемой мощности, по сравнению с примерно 3,7 гигаваттами, связанными с объявленными соглашениями в области ИИ, в то время как некоторые подключения к электросети в США могут занять до 50 месяцев.
ZK-роллапы и системы доказательств реального времени сталкиваются с давлением в первую очередь
Доказательства реального времени для уровня 1 находятся в центре сжатия затрат, поскольку для каждого блока требуются графические процессоры для создания нового доказательства, сказал Фан. Любая задержка может привести к тому, что система доказательств пропустит временной лимит сети, поэтому операторам нужны резервные мощности, а также достаточное оборудование для нормального спроса.
ZK-роллапы и рынки доказательств следуют за этим, поскольку часы работы графических процессоров напрямую влияют на операционные расходы и, в некоторых случаях, на комиссии пользователей. Более ранний анализ стоимости доказательств показал, что генерация доказательств составляла от 60% до 70% комиссий в сетях ZK второго уровня, ссылаясь на данные L2Beat.
Согласно тому же анализу, генерация доказательства для пакета из 4000 транзакций может занять от двух до пяти минут на Nvidia A100 и стоить от 0,04 до 0,17 доллара за облачные вычисления. Цифры зависят от системы доказательств, пакета транзакций, конфигурации оборудования и тарифа облака.
Фан отнес zkML к наиболее уязвимым приложениям, поскольку оно сочетает рабочую нагрузку ИИ с дополнительными расходами на доказательство того, что модель работала правильно. Для частных платежей, ончейн-игр и других потребительских продуктов, по его словам, экономика часто требует, чтобы стоимость доказательств измерялась в центах.
«Может ли стоимость ограничить внедрение? Да, на пределе», — сказал Фан, добавив, что частные платежи и игры, вероятно, будут отложены в первую очередь, когда их экономика перестанет работать.
Давление на затраты также может повлиять на то, сколько организаций смогут управлять системами доказательств. Фан сказал, что более 90% сетей ZK второго уровня полагаются на небольшую группу сервисов доказательств, хотя эта оценка требует именованного набора данных и должна рассматриваться как оценка Cysic.
FPGA и ZK ASIC предлагают альтернативный аппаратный путь
Cysic ответила разработкой нескольких бэкендов, а не только использованием графических процессоров. Публичный репозиторий Venus включает оптимизации для GPU, полный бэкенд для FPGA и раннюю реализацию, ориентированную на ASIC.
Его бэкенд FPGA содержит ядра для арифметики поля Goldilocks, NTT, Poseidon2, деревьев Меркла, FRI и оценки выражений. Код предназначен для устройств AMD UltraScale+ и Versal с высокоскоростной памятью и доступен по лицензиям Apache 2.0 и MIT.
В отличие от ASIC, FPGA можно перепрограммировать после производства, что позволяет разработчикам обновлять схемы и экспериментировать с новыми системами доказательств. Пользовательские ASIC предлагают меньшую гибкость, но могут обеспечить лучшую производительность и энергоэффективность при разработке для стабильного набора операций ZK.
Фан сказал, что переход на FPGA и ZK ASIC выведет операторов доказательств из основной очереди на оборудование для ИИ. Специализированные устройства также позволят избежать оплаты функций GPU, которые не нужны для рабочих нагрузок ZK, хотя затраты на разработку и ограниченные объемы производства остаются препятствиями.
Открытие программного обеспечения — одна из частей подхода Cysic. Компания также предлагает глобальный рынок доказательств, на котором устройства от мобильного оборудования до профессиональных кластеров могут принимать задания, а бэкенды GPU и FPGA снижают зависимость от одного класса чипов.
Криптографическая проверка означает, что верификатор отклоняет недействительное доказательство независимо от того, какой оператор его создал, сказал Фан. Таким образом, открытие участия не меняет надежность системы доказательств, но увеличивает подверженность ошибкам реализации в непроверенном или незавершенном коде.
Cysic заявляет в репозитории Venus, что проект находится в стадии активной разработки. Фан сказал, что для ограничения риска реализации потребуются аудиты и избыточные многопровайдерные конфигурации.
Черновик EIP-8025 позволит валидаторам Ethereum выбирать генерацию или проверку доказательств выполнения, в то время как традиционное повторное выполнение блоков останется в силе. Предложение вводит канал распространения доказательств и внешние узлы доказательств, но его текущая версия не предусматривает стимулов для операторов, которые генерируют и распространяют доказательства.
