ZKM a officiellement lancé une nouvelle génération de zkVM accélérée par GPU sous le nom de Ziren : pour construire une infrastructure ZK de production pour les développeurs grand public

ZKM a officiellement lancé une version de nouvelle génération de sa zkVM, Ziren (anciennement zkMIPS), qui ouvre un nouveau chapitre dans la déployabilité et l’évolutivité des systèmes de preuve à divulgation nulle de connaissance (ZK) dans des scénarios d’application réels grâce à l’accélération GPU, à l’architecture de preuve distribuée et au système de contraintes profondément optimisé. Ziren vise à permettre aux ingénieurs système, aux développeurs d’applications et aux concepteurs de protocoles de créer des applications ZK hautes performances dans les langages grand public, en faisant véritablement passer ZK du laboratoire aux pratiques de développement courantes.

De zkMIPS à Ziren : des performances inégalées et une expérience de développement améliorée

Ziren est une mise à niveau complète de zkMIPS v1.1.0 et a été introduit pour la première fois :

• Accélération GPU de 30 × pour réduire considérablement la latence de preuve ;

• Architecture à l’épreuve du réseau distribué, prenant en charge le calcul parallèle et le déploiement évolutif ;

• Le système de contraintes d’instructions est mis à niveau, la modularisation des instructions est optimisée, l’utilisation des colonnes est optimisée et la redondance est éliminée ;

• La chaîne d’outils et l’expérience de développement ont été mises à niveau, et la prise en charge de C/C++ a été ajoutée sur la base de la prise en charge de Rust, et Golang sera bientôt lancé ;

• Correctifs de sécurité clés et améliorations de la précompilation pour obtenir une compatibilité native avec l’écosystème Ethereum.

« Ziren est la première zkVM à usage général véritablement évolutive et conviviale pour les développeurs, construite sur de bonnes bases. » Ming Guo, cofondateur et scientifique en chef de ZKM, a déclaré : « Il s’est avéré être un leader en matière de performances sur les processeurs, et maintenant nous le faisons passer au niveau supérieur avec l’accélération GPU. Si vous êtes à la recherche d’une pile d’épreuve ZK optimale, Ziren est la réponse. "

En plus de la mise à niveau technique complète, le nom Ziren lui-même a également une signification. Dans la continuité de zkMIPS, « Ziren » s’inspire d’une variante du mythe « Siren » et représente un passage de l’illusion à la réalité – la promesse que la technologie n’est plus seulement une attraction, mais une véritable facilité d’utilisation. Ziren vise à être une infrastructure zk vraiment efficace, fiable et déployable entre les mains des développeurs grand public.

Accélération GPU et parallélisme à preuve distribuée : le saut de la performance à l’utilité

Le processus d’attestation de base de Ziren a été entièrement GPU-isé, ce qui a permis d’améliorer considérablement les performances :

• Épreuves de base 30 fois plus rapides

• Épreuves agrégées 15 fois plus rapides

• Épreuves de conversion BN254 30 fois plus rapides

Combiné à une architecture de preuve en réseau, Ziren peut répartir les tâches de preuve sur plusieurs nœuds pour une exécution parallèle, ce qui améliore non seulement considérablement le débit, mais améliore également la convivialité décentralisée du système. Cette architecture est idéale pour les blockchains modulaires, les rollups et les systèmes de vérification interchaîne.

Optimisation du système de contraintes

Ziren a systématiquement refactorisé le système de contraintes :

• Divisez les contraintes de niveau d’instruction en « puces » modulaires (couvrant le processeur, le saut/la branche, la mémoire, etc.)

• Réduire le nombre de colonnes en optimisant la structure des données

• Supprimer la logique de contrainte redondante ou inutilisée

• Rationalisez les processus de traitement ALU, MADDU/MSUBU et des succursales pour améliorer l’efficacité de l’exécution

Ces optimisations réduisent considérablement la complexité de l’épreuve, améliorent la vitesse de génération et améliorent la stabilité du système. Du point de vue de zkVM, MIPS génère des traces d’exécution plus courtes que RISCV et a une meilleure efficacité d’instruction, ce qui est propice à l’amélioration de l’efficacité de la preuve. Avec la sortie de Ziren, les avantages de choisir MIPS sont progressivement devenus évidents.

Une meilleure expérience de développement avec une expérience de création à déploiement plus fluide

Ziren a lancé une nouvelle version de la chaîne d’outils (20250522), qui apporte un certain nombre d’améliorations à l’expérience des développeurs :

• Intégrez les correctifs LLVM pour optimiser le processus de compilation

• Prise en charge de la bibliothèque statique C/C++ et des correctifs d’instructions teq

• La chaîne d’outils Rust est plus robuste et supprime les hacks non standard

• Le support Golang arrive bientôt

De plus, Ziren prend en charge la vérification des signatures natives d’Ethereum, et le module précompilé prend désormais en charge les signatures de courbes elliptiques ECDSA complètes, ce qui rend l’intégration on-chain plus fluide et élargit les scénarios d’application qu’il peut prendre en charge.

Correctifs de stabilité et de sécurité

Ziren a entièrement renforcé le processus de vérification et d’exécution de circuits, notamment :

• Correction d’une vulnérabilité critique de nombre aléatoire RRI dans Plonky3

• Correction d’une vulnérabilité de validation vk_root dans le validateur Rust

• Optimiser la cohérence entre la logique d’exécution des instructions et le système de contraintes

• Amélioration de la gestion du comportement de la logique de traitement des partitions et des compteurs de programme

Tableau comparatif Ziren vs zkMIPS 1.0

Toutes ces mises à jour fonctionnent ensemble pour améliorer la sécurité et la cohérence de Ziren, ce qui le rend plus adapté aux exigences d’attestation ZK dans les environnements de production.

Vers la preuve en temps réel : ethproofs.org Observez les résultats de l’optimisation

Lors de l’ethproofs.org, Ziren a démontré des résultats de performance en temps réel, et la preuve en temps réel est à portée de main :

En remplaçant la machine virtuelle de Revm par Reth et en extrayant l’état du compte en parallèle, le temps de préparation de l’état des blocs a été réduit de 5 minutes à moins de 30 secondes avec debug_traceBlock. Cela réduit considérablement la latence du processus de preuve de preuve à chaque étape, ce qui rapproche les performances de Ziren du niveau temps réel, jetant ainsi une base solide pour la mise en œuvre d’applications ZK à haute fréquence.

Lancé sur GOAT Network : le moteur de base pour construire le zkRollup natif de Bitcoin

Ziren est maintenant en ligne sur le projet zkRollup natif de Bitcoin, GOAT Network, permettant une programmabilité de type Ethereum sans avoir besoin de ponts ou de parties de confiance, tout en préservant la sécurité du réseau principal Bitcoin. GOAT Network est l’une des pratiques importantes sur les routes BitVM2 et BitVM3.

« Lorsque nous avons décidé de faire évoluer Bitcoin, nous avions besoin d’un système fiable de haut en bas – pas seulement une pile de performances de surface, mais une stabilité et une efficacité au niveau du circuit. » Kevin Liu, cofondateur et PDG de ZKM et l’un des principaux contributeurs de GOAT Network, a déclaré : « Ziren est un produit de ce besoin, une couche d’infrastructure dans laquelle nous avons confiance en chaque preuve. »

Créez votre application ZK, en commençant par Ziren

Ziren condense les années de polissage en profondeur de l’ingénierie système sous-jacente et de la recherche à connaissance zéro, non seulement pour les réunions, mais aussi pour zkVM avec une meilleure structure, une meilleure expérience et une application plus large. Que vous construisiez une DApp Ethereum, un Bitcoin L2 ou un système de vérification inter-chaînes, Ziren vous fournit une base informatique fiable.

Écrit en Rust, compilé en MIPS, et Ziren fera le reste. Construisez en toute confiance. Déployez sans compromis.