Společnost ZKM oficiálně vydala novou generaci zkVM akcelerovaného GPU pod názvem Ziren: pro vytvoření produkční infrastruktury ZK pro běžné vývojáře

ZKM oficiálně vydala novou generaci verze svého zkVM, Ziren (dříve zkMIPS), která otevírá novou kapitolu v nasaditelnosti a škálovatelnosti systémů s nulovou znalostí důkazů (ZK) v reálných aplikačních scénářích prostřednictvím akcelerace GPU, distribuované architektury důkazů a hluboce optimalizovaného systému omezení. Cílem Zirenu je umožnit systémovým inženýrům, vývojářům aplikací a návrhářům protokolů vytvářet vysoce výkonné aplikace ZK v běžných jazycích, čímž se ZK z laboratoře skutečně dostane do běžných vývojových postupů.

Od zkMIPS k Zirenu: Skokové výkony a vylepšené vývojové prostředí

Ziren je plná aktualizace zkMIPS v1.1.0 a poprvé představena:

• 30× akcelerace GPU pro výrazné snížení latence důkazu;

• Distribuovaná síťová architektura, podporující paralelní výpočty a škálovatelné nasazení;

• Systém omezení instrukcí je upgradován, modularizace instrukcí je optimalizována, využití sloupců je optimalizováno a redundance je eliminována;

• Sada nástrojů a vývojové prostředí byly upgradovány a na základě podpory Rustu byla přidána podpora pro C/C++ a Golang bude brzy spuštěn;

• Klíčové opravy zabezpečení a vylepšení předkompilace pro dosažení nativní kompatibility s ekosystémem Ethereum.

"Ziren je první skutečně škálovatelný a vývojářsky přívětivý univerzální zkVM postavený na správných základech." Ming Guo, spoluzakladatel a hlavní vědecký pracovník společnosti ZKM, "Ukázalo se, že je lídrem ve výkonu procesorů, a nyní jej posouváme na další úroveň díky akceleraci GPU. Pokud hledáte optimální sadu důkazů ZK, Ziren je odpovědí. "

Kromě komplexního technického vylepšení má svůj význam i samotný název Ziren. Jako pokračování zkMIPS je "Ziren" inspirován variantou mýtu "Siréna" a představuje posun od iluze k realitě – příslib, že technologie již není jen atrakcí, ale skutečnou použitelností. Ziren si klade za cíl být skutečně efektivní, důvěryhodnou a nasaditelnou zk infrastrukturou v rukou mainstreamových vývojářů.

Akcelerace GPU a distribuovaný důkazový paralelismus: Skok od výkonu k užitečnosti

Základní proces ověření jádra Zirenu byl plně dimenzován na GPU, což vedlo k výraznému zlepšení výkonu:

• 30x rychlejší nátisky jádra

• 15× rychlejší agregované nátisky

• 30x rychlejší korektury převodu BN254

V kombinaci se síťovou architekturou důkazů může Ziren distribuovat úlohy důkazů mezi více uzlů pro paralelní provádění, což nejen výrazně zlepšuje propustnost, ale také zvyšuje decentralizovanou použitelnost systému. Tato architektura je ideální pro modulární blockchainy, rollupy a meziřetězcové ověřovací systémy.

Optimalizace systému omezení

Ziren systematicky refaktorizoval systém omezení:

• Rozdělte omezení na úrovni instrukcí na modulární "čipy" (pokrývající CPU, hop/branch, paměť atd.)

• Snižte počet sloupců optimalizací datové struktury

• Odebrání nadbytečné nebo nepoužívané logiky omezujících podmínek

• Zjednodušte procesy zpracování ALU, MADDU/MSUBU a větví a zvyšte efektivitu provádění

Tyto optimalizace výrazně snižují složitost důkazů, zvyšují rychlost generování a zlepšují stabilitu systému. Z pohledu zkVM generuje MIPS kratší stopy provádění než RISCV a má lepší efektivitu instrukcí, což přispívá ke zlepšení efektivity důkazů. S vydáním Zirenu se postupně začaly projevovat výhody výběru MIPS.

Lepší vývojové prostředí s plynulejším prostředím od sestavení po nasazení

Ziren spustil novou verzi toolchainu (20250522), která přináší řadu vylepšení vývojářského zážitku:

• Integrujte záplaty LLVM pro optimalizaci procesu kompilace

• Podpora statické knihovny C/C++ a oprav instrukcí teq

• Sada nástrojů Rust je robustnější a odstraňuje nestandardní hacky

• Podpora pro Golang bude brzy k dispozici

Kromě toho Ziren podporuje ověřování podpisů nativním pro Ethereum a předkompilovaný modul nyní podporuje plné podpisy eliptických křivek ECDSA, díky čemuž je integrace v řetězci plynulejší a rozšiřuje scénáře použití, které může podporovat.

Opravy stability a zabezpečení

Ziren plně zpřesnil proces ověřovače a provádění okruhů, včetně:

• Opravena kritická zranitelnost náhodných čísel FRI v Plonky3

• Opravena zranitelnost ověřování vk_root v nástroji Rust validator

• Optimalizujte konzistenci mezi logikou provádění instrukcí a systémem omezení

• Vylepšená správa chování logiky zpracování shardů a čítačů programů

Srovnávací tabulka Ziren vs zkMIPS 1.0

Všechny tyto aktualizace společně zlepšují zabezpečení a konzistenci systému Ziren, takže je vhodnější pro požadavky na ověření ZK v produkčních prostředích.

Posuňte se k důkazům v reálném čase: ethproofs.org Sledujte výsledky optimalizace

Na ethproofs.org Ziren předvedl výsledky výkonu v reálném čase a důkaz v reálném čase je hned za rohem:

Výměnou virtuálního stroje z Revm do Reth a paralelní extrahováním stavu účtu se doba přípravy stavu bloku zkrátila z 5 minut na méně než 30 sekund při debug_traceBlock. To výrazně snižuje latenci procesu proof-of-proof v každé fázi, čímž se výkon Zirenu přibližuje úrovni v reálném čase a pokládá pevný základ pro implementaci vysokofrekvenčních aplikací ZK.

Spuštěno na GOAT Network: základní motor pro budování nativního zkRollupu Bitcoinu

Ziren je nyní aktivní na nativním projektu zkRollup Bitcoinu, GOAT Network, který umožňuje programovatelnost ve stylu Etherea bez potřeby mostů nebo důvěryhodných stran při zachování bezpečnosti bitcoinové mainnetu. GOAT Network je jedním z důležitých postupů na trasách BitVM2 a BitVM3.

"Když jsme se rozhodli škálovat Bitcoin, potřebovali jsme systém, kterému bychom mohli důvěřovat shora dolů – nejen hromadu povrchového výkonu, ale také stabilitu a efektivitu na úrovni obvodu." Kevin Liu, spoluzakladatel a generální ředitel společnosti ZKM a hlavní přispěvatel společnosti GOAT Network, řekl: "Ziren je produktem této potřeby, vrstvou infrastruktury, ve kterou máme důvěru v každý důkaz."

Vytvořte si aplikaci ZK, začněte se Zirenem

Ziren shrnuje roky hloubkového zdokonalování základního systémového inženýrství a výzkumu nulových znalostí, a to nejen pro schůzky, ale také pro zkVM s lepší strukturou, lepšími zkušenostmi a širším použitím. Ať už vytváříte decentralizovanou aplikaci Ethereum, Bitcoin L2 nebo ověřovací systém napříč řetězci, Ziren vám poskytne důvěryhodný výpočetní základ.

Napsáno v Rustu, zkompilováno do MIPS a Ziren se postará o zbytek. Stavějte s jistotou. Nasazujte bez kompromisů.