ZKM официально выпустила новое поколение zkVM с ускорением на GPU под названием Ziren: для создания инфраструктуры ZK производственного класса для основных разработчиков

ZKM официально выпустила новое поколение версии своей zkVM, Ziren (ранее zkMIPS), которая открывает новую главу в развертываемости и масштабируемости систем доказательства с нулевым разглашением (ZK) в реальных сценариях приложений за счет ускорения графического процессора, распределенной архитектуры доказательства и глубоко оптимизированной системы ограничений. Цель Ziren — дать возможность системным инженерам, разработчикам приложений и проектировщикам протоколов создавать высокопроизводительные приложения ZK на основных языках, по-настоящему перенося ZK из лаборатории в основные практики разработки.

От zkMIPS до Ziren: скачок в производительности и улучшенный опыт разработки

Ziren - это полное обновление zkMIPS v1.1.0 и впервые представленное:

• Ускорение графического процессора на 30× для значительного снижения задержки доказательства;

• Защищенная архитектура распределенной сети, поддерживающая параллельные вычисления и масштабируемое развертывание;

• Модернизирована система ограничений инструкций, оптимизирована модуляризация команд, оптимизировано использование столбцов и устранена избыточность;

• Обновлен инструментарий и опыт разработки, добавлена поддержка C/C++ на основе поддержки Rust, а в скором времени будет запущен Golang;

• Ключевые исправления безопасности и улучшения предварительной компиляции для достижения нативной совместимости с экосистемой Ethereum.

«Ziren — это первая по-настоящему масштабируемая и удобная для разработчиков универсальная zkVM, созданная на правильном фундаменте». Мин Гуо, соучредитель и главный научный сотрудник ZKM: «Компания доказала, что является лидером по производительности на процессорах, и теперь мы выводим ее на новый уровень с помощью ускорения на GPU. Если вы ищете оптимальный стек ZK proof, Ziren — это ответ. «

Помимо всестороннего технического обновления, само название Ziren также имеет значение. Являясь продолжением zkMIPS, «Зирен» вдохновлен вариантом мифа «Сирена» и представляет собой переход от иллюзии к реальности – обещание того, что технологии больше не просто аттракцион, а реальное удобство использования. Ziren стремится быть действительно эффективной, надежной и развертываемой инфраструктурой zk в руках основных разработчиков.

Ускорение на GPU и параллелизм распределенного доказательства: скачок от производительности к полезности

Основной процесс аттестации Ziren был полностью GPU, что привело к значительному повышению производительности:

• В 30 раз быстрее пробные образцы керна

• В 15 раз быстрее совокупные пробные оттиски

• В 30 раз быстрее доказательства преобразования BN254

В сочетании с сетевой архитектурой proof, Ziren может распределять задачи proof между несколькими узлами для параллельного выполнения, что не только значительно повышает пропускную способность, но и повышает удобство децентрализованного использования системы. Эта архитектура идеально подходит для модульных блокчейнов, роллапов и систем межцепочечной верификации.

Оптимизация системы ограничений

Ziren систематически проводил рефакторинг системы ограничений:

• Разделение ограничений уровня инструкций на модульные «чипы» (охватывающие процессор, переход/ветвление, память и т. д.)

• Сокращение количества столбцов за счет оптимизации структуры данных

• Удаление избыточной или неиспользуемой логики ограничений

• Оптимизируйте процессы обработки ALU, MADDU/MSUBU и ветвей для повышения эффективности выполнения

Эти оптимизации значительно снижают сложность доказательств, повышают скорость генерации и повышают стабильность системы. С точки зрения zkVM, MIPS генерирует более короткие трассировки выполнения, чем RISCV, и имеет лучшую эффективность инструкций, что способствует повышению эффективности доказательства. С выпуском Ziren преимущества выбора MIPS постепенно стали очевидными.

Улучшенный интерфейс разработки с более плавным процессом сборки и развертывания

Ziren запустил новую версию набора инструментов (20250522), которая привносит ряд улучшений для разработчиков:

• Интеграция патчей LLVM для оптимизации процесса компиляции

• Поддержка статической библиотеки C/C++ и исправлений инструкций teq

• Набор инструментов Rust более надежен и устраняет нестандартные хаки

• Поддержка Golang скоро появится

Кроме того, Ziren поддерживает встроенную проверку подписей Ethereum, а предварительно скомпилированный модуль теперь поддерживает полные подписи эллиптических кривых ECDSA, что делает интеграцию в цепочке более плавной и расширяет сценарии приложений, которые он может поддерживать.

Исправления стабильности и безопасности

Ziren полностью защищён верификатором и процессом выполнения схем, включая:

• Исправлена критическая уязвимость случайных чисел FRI в Plonky3

• Исправлена уязвимость vk_root валидации в валидаторе Rust

• Оптимизация согласованности между логикой выполнения инструкций и системой ограничений

• Улучшено управление поведением логики обработки шардов и счетчиков программ

Сравнительная таблица Ziren и zkMIPS 1.0

Все эти обновления работают вместе, чтобы повысить безопасность и согласованность Ziren, делая его более подходящим для требований к аттестации ZK в производственных средах.

Переход к доказательству в реальном времени: ethproofs.org Станьте свидетелем результатов оптимизации

На ethproofs.org компания Ziren продемонстрировала результаты работы в реальном времени, а доказательство в реальном времени уже не за горами:

За счет замены виртуальной машины с Revm на Reth и параллельного извлечения состояния учетной записи время подготовки состояния блока сократилось с 5 минут до менее чем 30 секунд с debug_traceBlock. Это значительно сокращает задержку процесса proof-of-proof на каждом этапе, приближая производительность Ziren к уровню реального времени, закладывая прочную основу для реализации высокочастотных приложений ZK.

Запущен в GOAT Network: основной движок для создания нативного zkRollup Биткоина

Ziren теперь работает в собственном проекте Биткойна zkRollup, GOAT Network, обеспечивая программируемость в стиле Ethereum без необходимости в мостах или доверенных сторонах, сохраняя при этом безопасность основной сети Биткойна. GOAT Network является одной из важных практик на маршрутах BitVM2 и BitVM3.

«Когда мы решили масштабировать Биткойн, нам нужна была система, которой можно было бы доверять сверху донизу — не только поверхностная производительность, но и стабильность и эффективность на уровне схемы». Кевин Лю, соучредитель и генеральный директор ZKM и основной участник GOAT Network, сказал: «Ziren — это продукт этой потребности, инфраструктурный уровень, в котором мы уверены в каждом доказательстве».

Создайте свое приложение ZK, начиная с Ziren

Зирен обобщает многолетний опыт ZKM в области системной инженерии и исследований с нулевым разглашением информации не только для совещаний, но и для zkVM с лучшей структурой, лучшим опытом и более широким применением. Независимо от того, создаете ли вы децентрализованное приложение Ethereum, Bitcoin L2 или систему кроссчейн-проверки, Ziren предоставит вам надежную вычислительную основу.

Написано на Rust, скомпилировано в MIPS, а Ziren сделает все остальное. Стройте с уверенностью. Развертывание без компромиссов.