L’offre spéciale ZKM @ProjectZKM a publié zkMIPS 1.0, la première version entièrement prête pour la production de sa machine virtuelle basée sur MIPS conçue pour le calcul vérifiable haute performance : Il s’agit de la mise à niveau la plus importante depuis le début du projet, offrant une augmentation des performances de 6 à 19 fois par rapport à la version 0.3.0, grâce à une refonte technique complète. Voici quelques aspects clés de la mise à niveau : • L’architecture a été mise à niveau de MIPS2 à MIPS32r2, ce qui permet d’accéder à un jeu d’instructions plus large et de débloquer des optimisations au niveau du compilateur et des tailles de programme plus petites. zkMIPS fonctionne désormais sur le backend Plonky3 - un système STARK moderne utilisant le protocole FRI - et bénéficie du passage au champ KoalaBear prime 31 bits, offrant une arithmétique plus rapide que la configuration précédente de Boucle d’or 64 bits. • Les arbres de Merkle ont été remplacés par le hachage multi-ensembles pour la cohérence de la mémoire, réduisant la taille des témoins et prenant en charge la vérification parallèle. Une architecture de circuit modulaire basée sur une puce minimise la zone de contrainte, et les opérations de chemin chaud telles que Keccak et l’arithmétique de champ ont été déchargées dans les précompilations pour réduire les coûts de preuve. Le système est déjà intégré dans le réseau ZKM Proof et est utilisé pour tester en direct @ethereum blocs de réseau principal dans le cadre de l’initiative @eth_proofs du @ethereumfndn. Il est également en production avec @GOATRollup, un Bitcoin L2 construit sur BitVM2. Réaction De nombreux médias ont repris la nouvelle dès le départ, @Utoday_en publiant un article exclusif sur ce qui distingue le projet des autres zkVM : L’article fait l’éloge de l’équipe ZKM et de sa qualité d’ingénierie remarquable, et souligne que le choix du MIPS32r2 plutôt que du RISC-V offre des avantages architecturaux : des programmes plus courts, moins de contraintes et un meilleur alignement avec les circuits ZK. Le lancement a également été marqué par les commentaires d’Ethproofs, de @a16zcrypto et de la @0x1164 de House of ZK : ZKM a annoncé une discussion publique sur la version 1.0 de zkMIPS, avec le directeur technique du projet, @sd_eigen, pour discuter des optimisations, des résultats des benchmarks, de l’architecture du système et des plans de développement futurs. L’événement aura lieu le 12 mai à 12h UTC : Perspectives d’ingénierie Dans un article récent, le projet a expliqué pourquoi, lors du développement de sa machine virtuelle zkMIPS, l’équipe a choisi l’architecture MIPS32r2 plutôt que RISC-V - même si cette dernière est le choix par défaut pour la plupart des zkVM modernes. L’article indique que la décision n’était pas d’être différent, mais de sélectionner la base la plus efficace pour le calcul vérifiable évolutif. L’une des principales raisons était la densité d’instructions plus élevée de MIPS32r2. Avec des opérations telles que MOVZ, MOVN et MADDU, la logique complexe peut être exprimée en moins d’étapes, ce qui réduit la longueur de la trace d’exécution. En revanche, la même logique sur RISC-V nécessite souvent plus d’instructions, ce qui augmente la charge de preuve. Un autre facteur a été la maturité et la stabilité de l’écosystème MIPS. Avec des décennies d’utilisation et une spécification fixe, MIPS est bien testé, même utilisé dans des systèmes critiques comme la VM antifraude d’Optimism. RISC-V, bien qu’en croissance rapide, est toujours en évolution et fragmenté. L’article complet peut être trouvé ici :