Lo speciale ZKM @ProjectZKM ha rilasciato zkMIPS 1.0, la prima versione completamente pronta per la produzione della sua macchina virtuale basata su MIPS progettata per il calcolo verificabile ad alte prestazioni: Si tratta dell'aggiornamento più significativo dall'inizio del progetto, che offre un aumento delle prestazioni da 6 a 19 volte rispetto alla versione 0.3.0, grazie a una revisione tecnica completa. Alcuni aspetti chiave dell'aggiornamento includono: • L'architettura ha visto un aggiornamento da MIPS2 a MIPS32r2, consentendo l'accesso a un set di istruzioni più ampio e sbloccando ottimizzazioni a livello di compilatore e programmi di dimensioni ridotte. zkMIPS ora funziona sul backend Plonky3 - un moderno sistema STARK che utilizza il protocollo FRI - e beneficia del passaggio al campo primo KoalaBear a 31 bit, offrendo un'aritmetica più veloce rispetto alla precedente configurazione Goldilocks a 64 bit. • Gli alberi di Merkle sono stati sostituiti con l'hashing multiset per garantire la coerenza della memoria, riducendo le dimensioni del testimone e supportando la verifica parallela. Un'architettura circuitale modulare basata su chip riduce al minimo l'area di vincolo e le operazioni di percorso caldo come Keccak e l'aritmetica di campo sono state scaricate nelle precompilazioni per ridurre i costi di dimostrazione. Il sistema è già integrato nella ZKM Proof Network e viene utilizzato per testare in tempo reale @ethereum blocchi della mainnet nell'ambito dell'iniziativa @eth_proofs del @ethereumfndn. È anche in produzione con @GOATRollup, un Bitcoin L2 costruito su BitVM2. Reazione Diversi media hanno ripreso la notizia immediatamente, con @Utoday_en che ha pubblicato un articolo esclusivo su ciò che distingue il progetto dagli altri zkVM: L'articolo offre elogi generali per il team ZKM e la sua notevole qualità ingegneristica, e sottolinea che la scelta di MIPS32r2 rispetto a RISC-V offre vantaggi architetturali: programmi più brevi, meno vincoli e un migliore allineamento con i circuiti ZK. Il lancio ha visto anche i commenti di Ethproofs, @a16zcrypto e House of ZK @0x1164: ZKM ha annunciato una discussione pubblica sulla versione 1.0 di zkMIPS, con il CTO del progetto, @sd_eigen, che ha discusso le ottimizzazioni, i risultati dei benchmark, l'architettura del sistema e i piani di sviluppo futuri. L'evento si svolgerà il 12 maggio alle 12 UTC: Approfondimenti tecnici In un recente articolo, il progetto ha spiegato perché, nello sviluppo della sua macchina virtuale zkMIPS, il team ha scelto l'architettura MIPS32r2 rispetto a RISC-V, anche se quest'ultima è la scelta predefinita per la maggior parte delle zkVM moderne. L'articolo afferma che la decisione non riguardava l'essere diversi, ma la selezione della base più efficiente per il calcolo scalabile e verificabile. Uno dei motivi principali era la maggiore densità di istruzioni di MIPS32r2. Con operazioni come MOVZ, MOVN e MADDU, la logica complessa può essere espressa in un minor numero di passaggi, riducendo la lunghezza della traccia di esecuzione. Al contrario, la stessa logica su RISC-V richiede spesso più istruzioni, aumentando il carico di prova. Un altro fattore è stata la maturità e la stabilità dell'ecosistema MIPS. Con decenni di utilizzo e specifiche fisse, MIPS è ben testato, anche utilizzato in sistemi critici come la VM a prova di frode di Optimism. RISC-V, sebbene in rapida crescita, è ancora in evoluzione e frammentato. L'articolo completo lo trovate qui: