ZKM - Un zkvm basé sur mips @ProjectZKM a récemment mis à jour une nouvelle version, codée Ziren. ZKM est l'un des rares produits zkvm basés sur l'ensemble d'instructions mips, ils ont choisi une voie relativement moins encombrée (comparée à l'ensemble d'instructions zk-risc-v), mips est un ensemble d'instructions à jeu réduit avec une longue histoire, son avantage ne réside pas dans le nombre d'instructions et l'évolutivité, mais dans la stabilité et la fixation des instructions. Le plus grand défi du zk-evm était le changement constant des instructions evm, ce qui entraînait de nouvelles contraintes de circuit à mettre à jour. Pour le secteur financier et crypto, la stabilité et la sécurité sont plus importantes, donc la stabilité du zk-mips est un de ses points de valeur clés. Le CTO de ce projet, @sd_eigen, a précédemment travaillé sur un autre projet zkvm, Eigen_Network, qui se concentrait sur la confidentialité, mais a ensuite changé de direction et a été acquis, ce qui reste inconnu. Voici une comparaison entre les ensembles d'instructions mips32 et riscv-v : RV32I est minimaliste, avec des extensions (comme M, A, F, D, C) choisies de manière flexible, l'encodage des instructions est simple, prenant en charge 16/32 bits. L'ensemble d'instructions de base : L'ensemble d'instructions de base RV32I de RISC-V (47 instructions) est bien inférieur aux instructions entières de base de MIPS32 (~150 instructions), illustrant le principe de conception minimaliste de RISC-V. Avec extensions : Les configurations courantes de RISC-V (comme RV32IMAFC ou RV32G) comptent environ 100-150 instructions, ce qui est généralement inférieur aux 200+ instructions de MIPS32 (y compris les flottantes et les extensions). Complexité des instructions : L'ensemble d'instructions MIPS32 est plus complexe, contenant certaines instructions spécifiques (comme les slots de retard de branche, les instructions de coprocesseur), tandis que RISC-V vise la simplicité, avec des extensions modulaires et une réduction des redondances. Différences de philosophie de conception MIPS32 : Conçu dans les années 1980, visant des processeurs RISC haute performance, l'ensemble d'instructions est relativement fixe. Comprend des slots de retard de branche (caractéristique matérielle nécessitant une gestion d'instructions supplémentaires), augmentant la complexité de mise en œuvre. L'ensemble d'instructions est riche, mais certaines instructions sont destinées à des scénarios matériels spécifiques, ce qui peut ne pas convenir aux conceptions modernes légères. Écosystème mature, mais fermé, avec des extensions limitées. RISC-V : ISA moderne open source, conçu dans les années 2010, mettant l'accent sur la modularité et la flexibilité. Pas de slots de retard de branche, encodage des instructions simple, facile à mettre en œuvre matériellement et à optimiser logiciellement. Peut personnaliser l'ensemble d'instructions via des extensions, adapté des systèmes embarqués à faible consommation aux calculs haute performance. Écosystème open source, communauté active, soutenant une itération rapide et une personnalisation. Quelques informations sur la mise à jour de Ziren : Ziren = zkMIPS v1.1.0 avec GPU + vérificateur réseau - Accélération GPU 30x - Le vérificateur réseau prend en charge les preuves parallèles - Optimisation des contraintes principales - Mise à jour de la chaîne d'outils et précompilation - Corrections d'erreurs critiques et améliorations d'audit Le processus de preuve principal a maintenant été accéléré par GPU, entraînant une augmentation significative de la vitesse : - Vitesse de génération de preuves principales augmentée de 30 fois - Vitesse d'agrégation des preuves augmentée de 15 fois - La preuve d'emballage bn254 a également vu sa vitesse augmentée de 30 fois Plus de détails sur les mises à jour : Le premier projet à exécuter Ziren est un projet appelé @GOATRollup, qui est un réseau de couche 2 basé sur Bitcoin. GOAT Network est le premier réseau de couche 2 Bitcoin basé sur zkMIPS (ensemble d'instructions MIPS à connaissance nulle), BitVM3 et un ordonnateur décentralisé (Sequencer). Il réalise une conception à confiance minimale via un protocole de défi optimiste (GOAT-OCP), l'objectif du projet est de résoudre les limitations de Bitcoin en matière d'évolutivité, de vitesse de transaction et de coût, tout en maintenant la sécurité de Bitcoin Layer 1. Caractéristiques principales Décentralisation : GOAT Network réalise une opération de réseau dirigée par la communauté grâce à des nœuds d'ordonnateur décentralisés (Sequencer Node Operators), permettant aux participants externes de gérer collectivement la production de blocs et le tri des transactions, partageant les bénéfices. Sécurité : Le projet utilise un schéma de pont BitVM3 et la technologie zkRollup, garantissant la sécurité et la confidentialité des transactions via des preuves à connaissance nulle (ZKP). zkMIPS prend en charge les programmes écrits dans des langages de haut niveau comme Rust et Golang, les développeurs n'ont pas besoin d'auditer les circuits de preuve à connaissance nulle, ils doivent simplement vérifier la logique métier, ce qui réduit la barrière de développement et améliore la sécurité. Évolutivité : En déplaçant certaines transactions hors chaîne, GOAT Network améliore considérablement la vitesse des transactions Bitcoin et réduit les coûts de transaction, tout en héritant de la sécurité de la chaîne principale de Bitcoin. Il prend en charge 100 % de compatibilité EVM, permettant aux développeurs de construire efficacement des applications décentralisées (DApps) Web3. Revenus durables : GOAT Network s'engage à offrir aux détenteurs de Bitcoin des opportunités de revenus durables, élargissant l'utilisation de Bitcoin au-delà du simple stockage de valeur.