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, «Доведено, що компанія є лідером за продуктивністю на процесорах, і тепер ми виводимо її на новий рівень із прискоренням графічного процесора. Якщо ви шукаєте оптимальний стек доказів ZK, Ziren — це відповідь. "

Крім всебічного технічного оновлення, значення має і саме ім'я Ziren. Як продовження zkMIPS, "Ziren" натхненна варіантом міфу "Сирена" і являє собою перехід від ілюзії до реальності – обіцянки того, що технології більше не просто атракціон, а реальне юзабіліті. Ziren прагне бути по-справжньому ефективною, надійною та розгорнутою інфраструктурою zk у руках основних розробників.

Прискорення графічного процесора та паралелізм із розподіленим доказом: стрибок від продуктивності до корисності

Основний процес атестації Ziren був повністю оптимізований для графічного процесора, що призвело до значного покращення продуктивності:

• У 30 разів швидша проба ядра

• У 15 разів швидші агреговані докази

• У 30 разів швидша перевірка конвертації BN254

У поєднанні з мережевою архітектурою доказу, 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. Це значно зменшує затримку процесу підтвердження доказу захисту на кожному етапі, роблячи продуктивність Ziren ближчою до рівня реального часу, закладаючи міцну основу для реалізації високочастотних додатків ZK.

Запущено на GOAT Network: основний двигун для створення рідного для Bitcoin zkRollup

Тепер Ziren працює в рідному для Bitcoin проекті zkRollup, GOAT Network, що забезпечує програмування в стилі Ethereum без необхідності мостів або довірчих сторін, зберігаючи при цьому безпеку основної мережі Bitcoin. GOAT Network є однією з важливих практик на маршрутах BitVM2 і BitVM3.

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

Створіть свій додаток ZK, починаючи з Ziren

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

Написано на Rust, скомпільовано в MIPS, а Ziren зробить все інше. Будуйте з упевненістю. Розгортання без компромісів.