Firma ZKM oficjalnie wypuściła nową generację akcelerowanego przez GPU zkVM pod nazwą Ziren: w celu zbudowania infrastruktury ZK klasy produkcyjnej dla głównych programistów

ZKM oficjalnie wypuścił nową generację wersji swojego zkVM, Ziren (dawniej zkMIPS), która otwiera nowy rozdział w wdrażalności i skalowalności systemów dowodu z wiedzą zerową (ZK) w rzeczywistych scenariuszach zastosowań dzięki akceleracji GPU, rozproszonej architekturze proof i głęboko zoptymalizowanemu systemowi ograniczeń. Ziren ma na celu umożliwienie inżynierom systemowym, twórcom aplikacji i projektantom protokołów tworzenia wysokowydajnych aplikacji ZK w popularnych językach, naprawdę przenosząc ZK z laboratorium do głównego nurtu praktyk programistycznych.

Od zkMIPS do Ziren: skoki w wydajności i ulepszone środowisko programistyczne

Ziren to pełna aktualizacja zkMIPS v1.1.0 i po raz pierwszy wprowadzona:

• 30× akceleracja GPU w celu radykalnego zmniejszenia opóźnień dowodu;

• Architektura odporna na rozproszoną sieć, obsługująca obliczenia równoległe i skalowalne wdrażanie;

• System ograniczeń instrukcji jest aktualizowany, modularyzacja instrukcji jest optymalizowana, użycie kolumn jest optymalizowane, a nadmiarowość jest eliminowana;

• Łańcuch narzędzi i doświadczenie programistyczne zostały zaktualizowane, a obsługa C/C++ została dodana na podstawie obsługi Rusta, a Golang zostanie wkrótce uruchomiony;

• Kluczowe poprawki bezpieczeństwa i ulepszenia prekompilacji w celu osiągnięcia natywnej kompatybilności z ekosystemem Ethereum.

"Ziren to pierwsza w pełni skalowalna i przyjazna dla programistów maszyna zkVM ogólnego przeznaczenia zbudowana na odpowiednim fundamencie". Ming Guo, współzałożyciel i główny naukowiec w ZKM: "Udowodniono, że jest liderem pod względem wydajności procesorów, a teraz przenosimy go na wyższy poziom dzięki akceleracji GPU. Jeśli szukasz optymalnego stosu ZK proof, Ziren jest odpowiedzią. "

Oprócz kompleksowego ulepszenia technicznego, sama nazwa Ziren ma również znaczenie. Jako kontynuacja zkMIPS, "Ziren" jest inspirowany wariantem mitu "Syrena" i reprezentuje przejście od iluzji do rzeczywistości – obietnicę, że technologia nie jest już tylko atrakcją, ale prawdziwą użytecznością. Ziren ma na celu bycie naprawdę wydajną, zaufaną i możliwą do wdrożenia infrastrukturą zk w rękach głównych programistów.

Akceleracja GPU i równoległość dowodu rozproszonego: skok od wydajności do użyteczności

Podstawowy proces zaświadczania Ziren został w pełni oparty na procesorze graficznym, co zaowocowało znaczną poprawą wydajności:

• 30 razy szybsze wydruki próbne rdzenia

• 15 razy szybsze wydruki próbne kruszywa

• 30-krotnie szybsze dowody konwersji BN254

W połączeniu z sieciową architekturą dowodu, Ziren może rozdzielać zadania dowodowe na wiele węzłów w celu równoległego wykonania, co nie tylko znacznie poprawia przepustowość, ale także zwiększa zdecentralizowaną użyteczność systemu. Ta architektura jest idealna dla modułowych łańcuchów bloków, rollupów i systemów weryfikacji międzyłańcuchowej.

Optymalizacja systemu ograniczeń

Ziren systematycznie refaktoryzował system ograniczeń:

• Podziel ograniczenia na poziomie instrukcji na modułowe "chipy" (obejmujące procesor, przeskok/gałąź, pamięć itp.)

• Zmniejsz liczbę kolumn, optymalizując strukturę danych

• Usuwanie nadmiarowej lub nieużywanej logiki ograniczeń

• Usprawnienie procesów przetwarzania ALU, MADDU/MSUBU i branż w celu poprawy wydajności realizacji

Te optymalizacje znacznie zmniejszają złożoność dowodu, poprawiają szybkość generowania i poprawiają stabilność systemu. Z perspektywy zkVM, MIPS generuje krótsze ślady wykonania niż RISCV i ma lepszą wydajność instrukcji, co sprzyja poprawie wydajności dowodu. Wraz z wydaniem Ziren stopniowo uwidoczniły się zalety wyboru MIPS.

Lepsze środowisko programistyczne dzięki płynniejszemu środowisku kompilacji do wdrożenia

Firma Ziren uruchomiła nową wersję łańcucha narzędzi (20250522), która wprowadza szereg ulepszeń w zakresie środowiska deweloperskiego:

• Zintegruj poprawki LLVM, aby zoptymalizować proces kompilacji

• Obsługa statycznej biblioteki C/C++ i poprawek instrukcji teq

• Łańcuch narzędzi Rust jest bardziej wytrzymały i usuwa niestandardowe hacki

• Wsparcie Golang już wkrótce

Ponadto Ziren obsługuje weryfikację podpisów natywnych dla Ethereum, a prekompilowany moduł obsługuje teraz pełne podpisy krzywych eliptycznych ECDSA, co sprawia, że integracja on-chain jest płynniejsza i rozszerza scenariusze aplikacji, które może obsługiwać.

Poprawki stabilności i bezpieczeństwa

Firma Ziren w pełni wzmocniła proces weryfikatora i wykonywania obwodów, w tym:

• Naprawiono krytyczną lukę w zabezpieczeniach liczb losowych FRI w Plonky3

• Naprawiono lukę w zabezpieczeniach vk_root walidacji w walidatorze Rust

• Zoptymalizuj spójność między logiką wykonywania instrukcji a systemem ograniczeń

• Ulepszono zarządzanie zachowaniem logiki przetwarzania fragmentów i liczników programu

Wykres porównawczy Ziren vs zkMIPS 1.0

Wszystkie te aktualizacje współpracują ze sobą w celu poprawy bezpieczeństwa i spójności systemu Ziren, dzięki czemu jest on bardziej odpowiedni do wymagań zaświadczania ZK w środowiskach klasy produkcyjnej.

Przejdź do dowodu w czasie rzeczywistym: ethproofs.org Zobacz wyniki optymalizacji

Na ethproofs.org firma Ziren zademonstrowała wyniki wydajności w czasie rzeczywistym, a dowód w czasie rzeczywistym jest tuż za rogiem:

Dzięki podmieniu maszyny wirtualnej z Revm na Reth i równoległemu wyodrębnieniu stanu konta, czas przygotowania stanu bloku został skrócony z 5 minut do mniej niż 30 sekund przy użyciu debug_traceBlock. To znacznie zmniejsza opóźnienia procesu proof-of-proof na każdym etapie, dzięki czemu wydajność Ziren jest bliższa poziomowi czasu rzeczywistego, tworząc solidne podstawy do wdrażania aplikacji ZK o wysokiej częstotliwości.

Uruchomiony w GOAT Network: podstawowy silnik do budowy natywnego zkRollup Bitcoina

Ziren jest teraz dostępny w natywnym projekcie Bitcoina zkRollup, GOAT Network, umożliwiając programowalność w stylu Ethereum bez potrzeby mostów lub stron zaufania, przy jednoczesnym zachowaniu bezpieczeństwa mainnetu Bitcoin. GOAT Network jest jedną z ważnych praktyk na trasach BitVM2 i BitVM3.

"Kiedy zdecydowaliśmy się na skalowanie Bitcoina, potrzebowaliśmy systemu, któremu można zaufać od góry do dołu – nie tylko stosu wydajności powierzchniowej, ale także stabilności i wydajności na poziomie obwodu". Kevin Liu, współzałożyciel i dyrektor generalny ZKM oraz główny współtwórca GOAT Network, powiedział: "Ziren jest produktem tej potrzeby, warstwą infrastruktury, w której mamy zaufanie do każdego dowodu".

Zbuduj swoją aplikację ZK, zaczynając od Ziren

Ziren łączy lata dogłębnego doskonalenia przez ZKM podstawowej inżynierii systemowej i badań nad wiedzą zerową, nie tylko na potrzeby spotkań, ale także dla zkVM, z lepszą strukturą, lepszym doświadczeniem i szerszym zastosowaniem. Niezależnie od tego, czy budujesz Ethereum DApp, Bitcoin L2 czy system weryfikacji cross-chain, Ziren zapewnia zaufaną podstawę obliczeniową.

Napisany w Rust, skompilowany do MIPS, a Ziren zrobi resztę. Buduj bez obaw. Wdrażaj bez kompromisów.