ZKM har officiellt släppt en ny generation av GPU-accelererad zkVM under namnet Ziren: för att bygga en ZK-infrastruktur i produktionsklass för vanliga utvecklare

ZKM släppte officiellt en ny generation version av sin zkVM, Ziren (tidigare zkMIPS), som öppnar ett nytt kapitel i utbyggbarheten och skalbarheten för ZK-system (Zero-knowledge Proof) i verkliga applikationsscenarier genom GPU-acceleration, distribuerad bevisarkitektur och djupt optimerat begränsningssystem. Ziren syftar till att göra det möjligt för systemingenjörer, applikationsutvecklare och protokolldesigners att bygga högpresterande ZK-applikationer på vanliga språk, vilket verkligen tar ZK från labbet till vanliga utvecklingsmetoder.

Från zkMIPS till Ziren: Språng i prestanda och en uppgraderad utvecklingsupplevelse

Ziren är en fullständig uppgradering av zkMIPS v1.1.0 och introducerades först:

• 30× GPU-acceleration för att dramatiskt minska bevislatens;

• Distribuerad nätverkssäker arkitektur med stöd för parallell databehandling och skalbar distribution.

• Instruktionsbegränsningssystemet uppgraderas, instruktionsmodulariseringen optimeras, kolumnanvändningen optimeras och redundansen elimineras;

• Verktygskedjan och utvecklingsupplevelsen har uppgraderats, och stöd för C/C++ har lagts till på grundval av stöd för Rust, och Golang kommer snart att lanseras;

• Viktiga säkerhetskorrigeringar och förkompileringsförbättringar för att uppnå inbyggd kompatibilitet med Ethereums ekosystem.

"Ziren är den första verkligt skalbara och utvecklarvänliga zkVM för allmänt bruk som är byggd på rätt grund." Ming Guo, medgrundare och Chief Scientist på ZKM, "Det har visat sig vara ledande inom prestanda på CPU:er, och nu tar vi det till nästa nivå med GPU-acceleration. Om du letar efter en optimal ZK proof stack är Ziren svaret. "

Förutom den omfattande tekniska uppgraderingen har själva namnet Ziren också en betydelse. Som en fortsättning på zkMIPS är "Ziren" inspirerad av en variant av myten "Siren" och representerar ett skifte från illusion till verklighet – löftet om att teknik inte längre bara är en attraktion, utan en verklig användbarhet. Ziren syftar till att vara en verkligt effektiv, pålitlig och distribuerbar zk-infrastruktur i händerna på vanliga utvecklare.

GPU-acceleration och distribuerad bevisparallellism: Språnget från prestanda till användbarhet

Sirens grundläggande attesteringsprocess har varit helt GPU-iserad, vilket resulterar i betydande prestandaförbättringar:

• 30 gånger snabbare kärnbevis

• 15 gånger snabbare bevis för ballast

• 30 gånger snabbare BN254 konverteringsbevis

I kombination med en nätverksansluten bevisarkitektur kan Ziren distribuera bevisuppgifter över flera noder för parallell exekvering, vilket inte bara avsevärt förbättrar genomströmningen, utan också förbättrar systemets decentraliserade användbarhet. Denna arkitektur är idealisk för modulära blockkedjor, rollups och interchain-verifieringssystem.

Optimering av villkorssystem

Ziren omstrukturerade villkorssystemet systematiskt:

• Dela upp begränsningar på instruktionsnivå i modulära "kretsar" (som täcker CPU, hopp/gren, minne, etc.)

• Minska antalet kolumner genom att optimera datastrukturen

• Ta bort överflödig eller oanvänd villkorslogik

• Effektivisera ALU-, MADDU/MSUBU- och filialbearbetningsprocesser för att förbättra exekveringseffektiviteten

Dessa optimeringar minskar beviskomplexiteten avsevärt, förbättrar genereringshastigheten och förbättrar systemets stabilitet. Ur zkVM:s perspektiv genererar MIPS kortare exekveringsspår än RISCV och har bättre instruktionseffektivitet, vilket bidrar till att förbättra beviseffektiviteten. I och med lanseringen av Ziren har fördelarna med att välja MIPS successivt blivit uppenbara.

En bättre utvecklingsupplevelse med en smidigare kompileringsupplevelse för att distribuera

Ziren har lanserat en ny version av verktygskedjan (20250522), som ger ett antal förbättringar av utvecklarupplevelsen:

• Integrera LLVM-patchar för att optimera kompileringsprocessen

• Stöd för C/C++ statiskt bibliotek och teq-instruktionsfixar

• Rust toolchain är mer robust och tar bort icke-standardiserade hack

• Stöd för Golang kommer snart

Dessutom stöder Ziren Ethereum-native signaturverifiering, och den förkompilerade modulen stöder nu fullständiga ECDSA elliptiska kurvsignaturer, vilket gör on-chain-integration smidigare och utökar de applikationsscenarier som den kan stödja.

Stabilitets- och säkerhetskorrigeringar

Ziren har gjort verifierings- och kretsexekveringsprocessen helt robust, inklusive:

• Åtgärdade en kritisk FRI-slumptalssårbarhet i Plonky3

• Fixade en vk_root-valideringssårbarhet i Rust-valideraren

• Optimera konsekvensen mellan instruktionskörningslogiken och begränsningssystemet

• Förbättrad beteendehantering av logik för bearbetning av fragment och programräknare

Ziren vs zkMIPS 1.0 jämförelse diagram

Alla dessa uppdateringar arbetar tillsammans för att förbättra säkerheten och konsekvensen för Ziren, vilket gör den mer lämplig för ZK-attesteringskrav i produktionsklassade miljöer.

Gå mot realtidsbevis: ethproofs.org Bevittna resultaten av optimeringen

Vid ethproofs.org demonstrerade Ziren prestandaresultat i realtid, och realtidsbevis är precis runt hörnet:

Genom att byta ut den virtuella datorn från Revm till Reth och extrahera kontotillståndet parallellt minskades förberedelsetiden för blocktillstånd från 5 minuter till mindre än 30 sekunder med debug_traceBlock. Detta minskar kraftigt latensen för proof-of-proof-processen i varje steg, vilket gör Zirens prestanda närmare realtidsnivån, vilket lägger en solid grund för implementeringen av högfrekventa ZK-applikationer.

Lanserad på GOAT Network: kärnmotorn för att bygga Bitcoins inbyggda zkRollup

Ziren är nu live på Bitcoins inhemska zkRollup-projekt, GOAT Network, vilket möjliggör programmerbarhet i Ethereum-stil utan behov av broar eller betrodda parter, samtidigt som Bitcoins mainnet-säkerhet bevaras. GOAT Network är en av de viktiga metoderna på BitVM2- och BitVM3-rutterna.

"När vi bestämde oss för att skala Bitcoin behövde vi ett system som vi kunde lita på från topp till botten – inte bara en stack med ytprestanda, utan stabilitet och effektivitet på kretsnivå." Kevin Liu, medgrundare och VD för ZKM och en central bidragsgivare till GOAT Network, sa: "Ziren är en produkt av detta behov, ett infrastrukturlager som vi har förtroende för varje bevis på."

Bygg din ZK-app, börja med Ziren

Ziren kondenserar ZKM:s år av djupgående polering av underliggande systemteknik och nollkunskapsforskning, inte bara för möten, utan också för zkVM med bättre struktur, bättre erfarenhet och bredare tillämpning. Oavsett om du bygger ett Ethereum DApp, Bitcoin L2 eller ett verifieringssystem över kedjan, ger Ziren dig en pålitlig datorgrund.

Skriven i Rust, kompilerad till MIPS, och Ziren kommer att göra resten. Bygg med självförtroende. Distribuera utan kompromisser.