ZKM har offisielt gitt ut en ny generasjon GPU-akselerert zkVM under navnet Ziren: for å bygge en ZK-infrastruktur av produksjonskvalitet for vanlige utviklere

ZKM ga offisielt ut en ny generasjons versjon av sin zkVM, Ziren (tidligere zkMIPS), som åpner et nytt kapittel i distribuerbarheten og skalerbarheten til nullkunnskapsbevis (ZK)-systemer i virkelige applikasjonsscenarier gjennom GPU-akselerasjon, distribuert bevisarkitektur og dypt optimalisert begrensningssystem. Ziren har som mål å gjøre det mulig for systemingeniører, applikasjonsutviklere og protokolldesignere å bygge høyytelses ZK-applikasjoner på vanlige språk, og virkelig bringe ZK fra laboratoriet til vanlig utviklingspraksis.

Fra zkMIPS til Ziren: Sprang i ytelse og en oppgradert utviklingsopplevelse

Ziren er en full oppgradering av zkMIPS v1.1.0 og ble først introdusert:

• 30 × GPU-akselerasjon for å redusere bevisforsinkelsen dramatisk;

• Distribuert nettverkssikker arkitektur, som støtter parallell databehandling og skalerbar distribusjon;

• Instruksjonsbegrensningssystemet oppgraderes, instruksjonsmodulariseringen optimaliseres, kolonnebruken optimaliseres og redundansen elimineres;

• Verktøykjeden og utviklingsopplevelsen er oppgradert, og støtte for C/C++ er lagt til på grunnlag av støtte for Rust, og Golang vil bli lansert snart;

• Viktige sikkerhetsrettinger og forhåndskompileringsforbedringer for å oppnå innebygd kompatibilitet med Ethereum-økosystemet.

"Ziren er den første virkelig skalerbare og utviklervennlige zkVM for generell bruk bygget på riktig grunnlag." Ming Guo, medgründer og sjefsforsker ved ZKM, "Det har vist seg å være ledende innen ytelse på CPUer, og nå tar vi det til neste nivå med GPU-akselerasjon. Hvis du leter etter en optimal ZK-bevisstabel, er Ziren svaret. «

I tillegg til den omfattende tekniske oppgraderingen, har navnet Ziren i seg selv også en betydning. Som en fortsettelse av zkMIPS er «Ziren» inspirert av en variant av myten «Siren» og representerer et skifte fra illusjon til virkelighet – løftet om at teknologi ikke lenger bare er en attraksjon, men en reell brukervennlighet. Ziren har som mål å være en virkelig effektiv, pålitelig og distribuerbar zk-infrastruktur i hendene på vanlige utviklere.

GPU-akselerasjon og distribuert bevisparallellitet: Spranget fra ytelse til nytte

Zirens kjerneattesteringsprosess har blitt fullstendig GPU-isert, noe som har resultert i betydelige ytelsesforbedringer:

• 30 ganger raskere kjernebevis

• 15 ganger raskere aggregatbevis

• 30 ganger raskere BN254 konverteringsbevis

Kombinert med en nettverksbasert bevisarkitektur kan Ziren distribuere bevisoppgaver på tvers av flere noder for parallell utførelse, noe som ikke bare forbedrer gjennomstrømningen betydelig, men også forbedrer den desentraliserte brukervennligheten til systemet. Denne arkitekturen er ideell for modulære blokkjeder, rollups og verifiseringssystemer mellom kjeder.

Optimalisering av begrensningssystem

Ziren refaktorerte systematisk begrensningssystemet:

• Del begrensninger på instruksjonsnivå i modulære "brikker" (som dekker CPU, hopp/gren, minne, etc.)

• Reduser antall kolonner ved å optimalisere datastrukturen

• Fjerne overflødig eller ubrukt begrensningslogikk

• Effektiviser ALU-, MADDU/MSUBU- og grenbehandlingsprosesser for å forbedre utførelseseffektiviteten

Disse optimaliseringene reduserer beviskompleksiteten betydelig, forbedrer genereringshastigheten og forbedrer systemstabiliteten. Fra zkVMs perspektiv genererer MIPS kortere utførelsesspor enn RISCV og har bedre instruksjonseffektivitet, noe som bidrar til å forbedre beviseffektiviteten. Med utgivelsen av Ziren har fordelene ved å velge MIPS gradvis blitt tydelige.

En bedre utviklingsopplevelse med en jevnere bygg-til-distribusjon-opplevelse

Ziren har lansert en ny versjon av verktøykjeden (20250522), som gir en rekke forbedringer av utvikleropplevelsen:

• Integrer LLVM-oppdateringer for å optimalisere kompileringsprosessen

• Støtte C/C++ statisk bibliotek og teq-instruksjonsreparasjoner

• Rust-verktøykjeden er mer robust og fjerner ikke-standardiserte hacks

• Golang-støtte kommer snart

I tillegg støtter Ziren Ethereum-native signaturverifisering, og den forhåndskompilerte modulen støtter nå fulle ECDSA elliptiske kurvesignaturer, noe som gjør integrasjon på kjeden jevnere og utvider applikasjonsscenariene den kan støtte.

Stabilitets- og sikkerhetsreparasjoner

Ziren har fullstendig robustgjort verifikator- og kretsutførelsesprosessen, inkludert:

• Rettet et kritisk FRI-problem med tilfeldige tall i Plonky3

• Rettet et sikkerhetsproblem med vk_root validering i Rust-validatoren

• Optimalisere konsistensen mellom logikken for instruksjonsutførelse og begrensningssystemet

• Forbedret atferdsstyring av fragmentbehandlingslogikk og programtellere

Ziren vs zkMIPS 1.0 sammenligningsdiagram

Alle disse oppdateringene fungerer sammen for å forbedre sikkerheten og konsistensen til Ziren, noe som gjør den mer egnet for ZK-attesteringskrav i produksjonsmiljøer.

Gå mot sanntidsbevis: ethproofs.org Se resultatene av optimalisering

På ethproofs.org demonstrerte Ziren ytelsesresultater i sanntid, og sanntidsbevis er rett rundt hjørnet:

Ved å erstatte den virtuelle maskinen fra Revm til Reth og trekke ut kontotilstanden parallelt, ble forberedelsestiden for blokktilstanden redusert fra 5 minutter til mindre enn 30 sekunder med debug_traceBlock. Dette reduserer ventetiden til proof-of-proof-prosessen betraktelig på hvert trinn, noe som gjør Zirens ytelse nærmere sanntidsnivået, og legger et solid grunnlag for implementering av høyfrekvente ZK-applikasjoner.

Lansert på GOAT Network: kjernemotoren for å bygge Bitcoins opprinnelige zkRollup

Ziren er nå live på Bitcoins opprinnelige zkRollup-prosjekt, GOAT Network, som muliggjør programmerbarhet i Ethereum-stil uten behov for broer eller tillitsfulle parter, samtidig som Bitcoins mainnet-sikkerhet bevares. GOAT Network er en av de viktige praksisene på BitVM2- og BitVM3-rutene.

"Da vi bestemte oss for å skalere Bitcoin, trengte vi et system som kunne stole på fra topp til bunn - ikke bare en stabel med overflateytelse, men stabilitet og effektivitet på kretsnivå." Kevin Liu, medgründer og administrerende direktør i ZKM og en sentral bidragsyter til GOAT Network, sa: "Ziren er et produkt av dette behovet, et infrastrukturlag der vi har tillit til hvert bevis."

Bygg ZK-appen din, og start med Ziren

Ziren kondenserer ZKMs år med dyptgående polering av underliggende systemteknikk og nullkunnskapsforskning, ikke bare for møter, men også for zkVM med bedre struktur, bedre opplevelse og bredere anvendelse. Enten du bygger et Ethereum DApp, Bitcoin L2 eller et verifiseringssystem på tvers av kjeder, gir Ziren deg et pålitelig datagrunnlag.

Skrevet i Rust, kompilert til MIPS, og Ziren vil gjøre resten. Bygg med selvtillit. Distribuer uten kompromisser.