ZKM heeft officieel een nieuwe generatie GPU-versnelde zkVM uitgebracht onder de naam Ziren: om een productie-grade ZK-infrastructuur te bouwen voor reguliere ontwikkelaars

ZKM heeft officieel een nieuwe generatie versie van zijn zkVM uitgebracht, Ziren (voorheen zkMIPS), die een nieuw hoofdstuk opent in de inzetbaarheid en schaalbaarheid van zero-knowledge proof (ZK) systemen in real-world toepassingsscenario's door middel van GPU-versnelling, gedistribueerde proof-architectuur en een diep geoptimaliseerd beperkingssysteem. Ziren heeft tot doel systeemingenieurs, applicatieontwikkelaars en protocolontwerpers in staat te stellen krachtige ZK-applicaties in reguliere talen te bouwen, waardoor ZK echt van het lab naar reguliere ontwikkelingspraktijken wordt gebracht.

Van zkMIPS tot Ziren: sprongen in prestaties en een verbeterde ontwikkelingservaring

Ziren is een volledige upgrade van zkMIPS v1.1.0 en werd voor het eerst geïntroduceerd:

• 30× GPU-versnelling om de bewijslatentie drastisch te verminderen;

• Gedistribueerde netwerkbestendige architectuur, met ondersteuning voor parallel computing en schaalbare implementatie;

• Het instructiebeperkingssysteem wordt geüpgraded, de instructiemodularisatie wordt geoptimaliseerd, het kolomgebruik wordt geoptimaliseerd en de redundantie wordt geëlimineerd;

• De toolchain en ontwikkelingservaring zijn geüpgraded en ondersteuning voor C/C++ is toegevoegd op basis van ondersteuning voor Rust, en Golang zal binnenkort worden gelanceerd;

• Belangrijke beveiligingsfixes en precompilatieverbeteringen om native compatibiliteit met het Ethereum-ecosysteem te bereiken.

"Ziren is de eerste echt schaalbare en ontwikkelaarsvriendelijke zkVM voor algemeen gebruik, gebouwd op de juiste basis." Ming Guo, medeoprichter en hoofdwetenschapper bij ZKM: "Het heeft bewezen een leider te zijn op het gebied van prestaties op CPU's, en nu tillen we het naar een hoger niveau met GPU-versnelling. Als u op zoek bent naar een optimale ZK-proof stack, dan is Ziren het antwoord. "

Naast de uitgebreide technische upgrade heeft de naam Ziren zelf ook een betekenis. Als voortzetting van zkMIPS is "Ziren" geïnspireerd op een variant van de mythe "Sirene" en vertegenwoordigt het een verschuiving van illusie naar realiteit - de belofte dat technologie niet langer alleen een attractie is, maar een echte bruikbaarheid. Ziren streeft ernaar een echt efficiënte, vertrouwde en inzetbare zk-infrastructuur te zijn in de handen van reguliere ontwikkelaars.

GPU-versnelling en gedistribueerd bewijsparallellisme: de sprong van prestaties naar bruikbaarheid

Het kernattestatieproces van Ziren is volledig GPU-gestuurd, wat resulteert in aanzienlijke prestatieverbeteringen:

• 30x snellere kernproeven

• 15x snellere geaggregeerde proeven

• 30x snellere BN254 conversie proofs

In combinatie met een genetwerkte proof-architectuur kan Ziren proof-taken distribueren over meerdere nodes voor parallelle uitvoering, wat niet alleen de doorvoer aanzienlijk verbetert, maar ook de gedecentraliseerde bruikbaarheid van het systeem verbetert. Deze architectuur is ideaal voor modulaire blockchains, rollups en interchain-verificatiesystemen.

Beperking systeemoptimalisatie

Ziren heeft het beperkingssysteem systematisch geherstructureerd:

• Splits beperkingen op instructieniveau op in modulaire "chips" (voor CPU, hop/branch, geheugen, enz.)

• Verminder het aantal kolommen door de gegevensstructuur te optimaliseren

• Overbodige of ongebruikte beperkingslogica verwijderen

• Stroomlijn ALU-, MADDU/MSUBU- en filiaalverwerkingsprocessen om de uitvoeringsefficiëntie te verbeteren

Deze optimalisaties verminderen de complexiteit van het bewijs aanzienlijk, verbeteren de generatiesnelheid en verbeteren de stabiliteit van het systeem. Vanuit het perspectief van zkVM genereert MIPS kortere uitvoeringssporen dan RISCV en heeft het een betere instructie-efficiëntie, wat bevorderlijk is voor het verbeteren van de bewijsefficiëntie. Met de introductie van Ziren zijn de voordelen van het kiezen voor MIPS geleidelijk duidelijk geworden.

Een betere ontwikkelervaring met een soepelere build-to-deploy-ervaring

Ziren heeft een nieuwe versie van de toolchain (20250522) gelanceerd, die een aantal verbeteringen in de ontwikkelaarservaring met zich meebrengt:

• Integreer LLVM-patches om het compilatieproces te optimaliseren

• Ondersteuning van C/C++ statische bibliotheek en teq-instructiefixes

• Rust toolchain is robuuster en verwijdert niet-standaard hacks

• Golang-ondersteuning komt eraan

Bovendien ondersteunt Ziren Ethereum-native handtekeningverificatie en ondersteunt de voorgecompileerde module nu volledige ECDSA elliptische curve-handtekeningen, waardoor on-chain integratie soepeler verloopt en de toepassingsscenario's die het kan ondersteunen worden uitgebreid.

Oplossingen voor stabiliteit en beveiliging

Ziren heeft het verificatie- en circuituitvoeringsproces volledig robuust, waaronder:

• Een kritieke kwetsbaarheid met betrekking tot willekeurige FRI-getallen in Plonky3 opgelost

• Een kwetsbaarheid voor vk_root validatie in de Rust validator opgelost

• Optimaliseer de consistentie tussen de logica voor het uitvoeren van instructies en het beperkingssysteem

• Verbeterd gedragsbeheer van shard-verwerkingslogica en programmatellers

Ziren vs zkMIPS 1.0 vergelijkingstabel

Al deze updates werken samen om de beveiliging en consistentie van Ziren te verbeteren, waardoor het geschikter wordt voor ZK-attestvereisten in productieomgevingen.

Ga op weg naar real-time bewijs: ethproofs.org Wees getuige van de resultaten van optimalisatie

Op het ethproofs.org demonstreerde Ziren real-time prestatieresultaten, en real-time bewijs is net om de hoek:

Door de virtuele machine van Revm naar Reth te vervangen en de accountstatus parallel te extraheren, werd de voorbereidingstijd van de blokstatus teruggebracht van 5 minuten tot minder dan 30 seconden met debug_traceBlock. Dit vermindert de latentie van het proof-of-proof-proces in elke fase aanzienlijk, waardoor de prestaties van Ziren dichter bij het real-time niveau liggen en een solide basis wordt gelegd voor de implementatie van hoogfrequente ZK-toepassingen.

Gelanceerd op GOAT Network: de kernmotor voor het bouwen van Bitcoin's native zkRollup

Ziren is nu live op Bitcoin's native zkRollup-project, GOAT Network, waardoor programmeerbaarheid in Ethereum-stijl mogelijk is zonder dat er bruggen of vertrouwende partijen nodig zijn, terwijl de beveiliging van het Bitcoin-mainnet behouden blijft. GOAT Network is een van de belangrijke praktijken op de BitVM2- en BitVM3-routes.

"Toen we besloten om Bitcoin op te schalen, hadden we een systeem nodig dat van boven naar beneden kon worden vertrouwd - niet alleen een stapel oppervlakteprestaties, maar ook stabiliteit en efficiëntie op circuitniveau." Kevin Liu, mede-oprichter en CEO van ZKM en een belangrijke bijdrager aan GOAT Network, zei: "Ziren is een product van deze behoefte, een infrastructuurlaag waarin we vertrouwen hebben in elk bewijs."

Bouw je ZK-app, te beginnen met Ziren

Ziren condenseert ZKM's jarenlange diepgaande polijsten van onderliggende systeemengineering en zero-knowledge onderzoek, niet alleen voor vergaderingen, maar ook voor zkVM met een betere structuur, betere ervaring en bredere toepassing. Of u nu een Ethereum DApp, Bitcoin L2 of een cross-chain verificatiesysteem bouwt, Ziren biedt u een vertrouwde computerbasis.

Geschreven in Rust, gecompileerd naar MIPS, en Ziren doet de rest. Bouw met vertrouwen. Implementeer zonder compromissen.