ZKM hat offiziell eine neue Generation von GPU-beschleunigten zkVM unter dem Namen Ziren veröffentlicht: um eine produktionstaugliche ZK-Infrastruktur für Mainstream-Entwickler aufzubauen

ZKM hat offiziell eine neue Generation seiner zkVM, Ziren (ehemals zkMIPS), veröffentlicht, die ein neues Kapitel in der Einsatzfähigkeit und Skalierbarkeit von Zero-Knowledge-Proof-Systemen (ZK) in realen Anwendungsszenarien durch GPU-Beschleunigung, verteilte Proof-Architektur und tiefgreifend optimiertes Constraint-System aufschlägt. Ziren zielt darauf ab, Systemingenieure, Anwendungsentwickler und Protokolldesigner in die Lage zu versetzen, leistungsstarke ZK-Anwendungen in Mainstream-Sprachen zu erstellen und ZK wirklich aus dem Labor in die Mainstream-Entwicklungspraxis zu bringen.

Von zkMIPS bis Ziren: Leistungssprünge und ein verbessertes Entwicklungserlebnis

Ziren ist ein vollständiges Upgrade von zkMIPS v1.1.0 und wurde zuerst eingeführt:

• 30×GPU-Beschleunigung zur drastischen Reduzierung der Proof-Latenz;

• Verteilte netzwerksichere Architektur, die paralleles Computing und skalierbare Bereitstellung unterstützt;

• Das Befehlseinschränkungssystem wird aktualisiert, die Befehlsmodularisierung wird optimiert, die Spaltenverwendung wird optimiert und die Redundanz wird beseitigt.

• Die Toolchain und die Entwicklungserfahrung wurden aktualisiert, und die Unterstützung für C/C++ wurde auf der Grundlage der Unterstützung von Rust hinzugefügt, und Golang wird in Kürze eingeführt.

• Wichtige Sicherheitskorrekturen und Verbesserungen bei der Vorkompilierung, um eine native Kompatibilität mit dem Ethereum-Ökosystem zu erreichen.

"Ziren ist die erste wirklich skalierbare und entwicklerfreundliche Allzweck-zkVM, die auf dem richtigen Fundament aufbaut." Ming Guo, Mitbegründer und Chief Scientist bei ZKM: "Es hat bewiesen, dass es führend in der Leistung von CPUs ist, und jetzt bringen wir es mit der GPU-Beschleunigung auf die nächste Stufe. Wenn Sie auf der Suche nach einem optimalen ZK-Proof-Stack sind, ist Ziren die Antwort. "

Neben der umfassenden technischen Aufrüstung hat auch der Name Ziren selbst eine Bedeutung. Als Fortsetzung von zkMIPS ist "Ziren" von einer Variante des Mythos "Sirene" inspiriert und stellt eine Verschiebung von der Illusion zur Realität dar – das Versprechen, dass Technologie nicht mehr nur eine Attraktion, sondern eine reale Nutzbarkeit ist. Ziren zielt darauf ab, eine wirklich effiziente, vertrauenswürdige und bereitstellbare zk-Infrastruktur in den Händen von Mainstream-Entwicklern zu sein.

GPU-Beschleunigung und Distributed-Proof-Parallelität: Der Sprung von der Leistung zum Nutzen

Der Kernnachweisprozess von Ziren wurde vollständig GPU-optimiert, was zu erheblichen Leistungsverbesserungen führt:

• 30x schnellere Core-Proofs

• 15x schnellere aggregierte Proofs

• 30x schnellere BN254-Konvertierungsnachweise

In Kombination mit einer vernetzten Proof-Architektur kann Ziren Proof-Aufgaben für die parallele Ausführung auf mehrere Knoten verteilen, was nicht nur den Durchsatz deutlich verbessert, sondern auch die dezentrale Nutzbarkeit des Systems erhöht. Diese Architektur ist ideal für modulare Blockchains, Rollups und Interchain-Verifizierungssysteme.

Optimierung des Constraint-Systems

Ziren hat das Constraint-System systematisch überarbeitet:

• Aufteilung von Einschränkungen auf Befehlsebene in modulare "Chips" (für CPU, Hop/Branch, Speicher usw.)

• Reduzieren Sie die Anzahl der Spalten durch Optimierung der Datenstruktur

• Entfernen redundanter oder nicht verwendeter Einschränkungslogik

• Optimieren Sie ALU-, MADDU/MSUBU- und Branch-Verarbeitungsprozesse, um die Ausführungseffizienz zu verbessern

Diese Optimierungen reduzieren die Komplexität von Proofs erheblich, verbessern die Generierungsgeschwindigkeit und verbessern die Systemstabilität. Aus der Sicht von zkVM generiert MIPS kürzere Ausführungsverfolgungen als RISCV und weist eine bessere Befehlseffizienz auf, was zur Verbesserung der Proof-Effizienz beiträgt. Mit der Veröffentlichung von Ziren wurden die Vorteile der Wahl von MIPS nach und nach deutlich.

Eine bessere Entwicklungserfahrung mit einer reibungsloseren Build-to-Deploy-Erfahrung

Ziren hat eine neue Version der Toolchain (20250522) veröffentlicht, die eine Reihe von Verbesserungen für die Entwicklererfahrung mit sich bringt:

• Integrieren Sie LLVM-Patches, um den Kompilierungsprozess zu optimieren

• Unterstützt die statische C/C++-Bibliothek und TEQ-Befehlskorrekturen

• Die Rust-Toolchain ist robuster und entfernt nicht standardmäßige Hacks

• Golang-Support ist in Kürze verfügbar

Darüber hinaus unterstützt Ziren die native Signaturverifizierung von Ethereum, und das vorkompilierte Modul unterstützt jetzt vollständige ECDSA-Signaturen mit elliptischen Kurven, was die On-Chain-Integration reibungsloser macht und die Anwendungsszenarien erweitert, die es unterstützen kann.

Stabilitäts- und Sicherheitskorrekturen

Ziren hat den Verifizierer- und Circuit-Execution-Prozess vollständig robust, einschließlich:

• Es wurde eine kritische FRI-Zufallszahlen-Schwachstelle in Plonky3 behoben.

• Es wurde eine vk_root Validierungsschwachstelle im Rust-Validator behoben.

• Optimieren der Konsistenz zwischen der Befehlsausführungslogik und dem Constraint-System

• Verbessertes Verhaltensmanagement von Shard-Verarbeitungslogik und Programmzählern

Ziren vs zkMIPS 1.0 Vergleichstabelle

Alle diese Updates arbeiten zusammen, um die Sicherheit und Konsistenz von Ziren zu verbessern und es besser für die ZK-Nachweisanforderungen in Produktionsumgebungen geeignet zu machen.

Auf dem Weg zum Echtzeit-Proof: ethproofs.org Werden Sie Zeuge der Optimierungsergebnisse

Auf der ethproofs.org demonstrierte Ziren Echtzeit-Performance-Ergebnisse, und der Echtzeit-Nachweis steht vor der Tür:

Durch den Austausch der virtuellen Maschine von Revm nach Reth und das parallele Extrahieren des Kontostatus wurde die Vorbereitungszeit für den Blockstatus von 5 Minuten auf weniger als 30 Sekunden mit debug_traceBlock reduziert. Dadurch wird die Latenz des Proof-of-Proof-Prozesses in jeder Phase erheblich reduziert, wodurch die Leistung von Ziren näher an das Echtzeitniveau heranrückt und eine solide Grundlage für die Implementierung von hochfrequenten ZK-Anwendungen geschaffen wird.

Gestartet auf GOAT Network: die Kern-Engine für den Aufbau von Bitcoins nativem zkRollup

Ziren ist jetzt live auf Bitcoins nativem zkRollup-Projekt, GOAT Network, und ermöglicht eine Programmierbarkeit im Ethereum-Stil ohne die Notwendigkeit von Brücken oder vertrauenswürdigen Parteien, während die Sicherheit des Bitcoin-Mainnets gewahrt bleibt. GOAT Network ist eine der wichtigsten Praktiken auf den BitVM2- und BitVM3-Routen.

"Als wir uns entschieden, Bitcoin zu skalieren, brauchten wir ein System, dem man von oben bis unten vertrauen kann – nicht nur ein Stapel von Oberflächenleistung, sondern Stabilität und Effizienz auf Schaltungsebene." Kevin Liu, Mitbegründer und CEO von ZKM und einer der wichtigsten Mitwirkenden des GOAT Network, sagte: "Ziren ist ein Produkt dieses Bedarfs, eine Infrastrukturschicht, auf die wir Vertrauen in jeden Beweis haben."

Erstellen Sie Ihre ZK-App, beginnend mit Ziren

Ziren verdichtet die jahrelange tiefgreifende Feinarbeit des ZKM an der zugrundeliegenden Systemtechnik und Zero-Knowledge-Forschung, nicht nur für Meetings, sondern auch für zkVM mit besserer Struktur, besserer Erfahrung und breiterer Anwendung. Ganz gleich, ob Sie eine Ethereum-DApp, Bitcoin L2 oder ein Cross-Chain-Verifizierungssystem erstellen, Ziren bietet Ihnen eine vertrauenswürdige Computing-Grundlage.

Geschrieben in Rust, kompiliert nach MIPS, und Ziren erledigt den Rest. Bauen Sie mit Zuversicht. Bereitstellung ohne Kompromisse.