ZKM - un zkvm basato su mips @ProjectZKM ha recentemente aggiornato la nuova versione con il codice Ziren ZKM è uno dei pochi prodotti zkvm basati sull'istruzione mips, hanno scelto un percorso relativamente meno affollato (rispetto al confronto con l'istruzione zk-risc-v), mips è un'architettura a set di istruzioni storica, il suo vantaggio non risiede nel numero e nell'espandibilità delle istruzioni, ma nella stabilità e nella fissità delle istruzioni. La maggiore sfida per zk-evm era il continuo cambiamento delle istruzioni evm, che portava a nuove restrizioni circuitali e aggiornamenti. Per il settore finanziario e crypto, la stabilità e la sicurezza sono più importanti, quindi la stabilità di zk-mips è un punto di valore centrale. Il CTO di questo progetto, @sd_eigen, ha precedentemente lavorato su un altro progetto zkvm, Eigen_Network, che inizialmente si concentrava sulla privacy, ma dopo aver cambiato direzione è stato acquisito, ma non si sa il motivo. Di seguito un confronto tra mips32 e l'istruzione risc-v: RV32I è estremamente minimale, con estensioni (come M, A, F, D, C) flessibili da scegliere, codifica delle istruzioni semplice, supporta 16/32 bit. Set di istruzioni core: l'RV32I di RISC-V (47 istruzioni) è molto inferiore alle istruzioni intere core di MIPS32 (~150 istruzioni), riflettendo il design minimalista di RISC-V. Con estensioni: le configurazioni comuni di RISC-V (come RV32IMAFC o RV32G) hanno un numero di istruzioni di circa 100-150, che è comunque generalmente inferiore alle oltre 200 di MIPS32 (inclusi i punti in virgola mobile e le estensioni). Complessità delle istruzioni: il set di istruzioni MIPS32 è più complesso, includendo alcune istruzioni speciali (come le slot di ritardo di ramificazione, istruzioni di coprocessore), mentre RISC-V punta alla semplicità, con estensioni modulari e riduzione della ridondanza. Differenze nel design MIPS32: progettato negli anni '80, mirava a processori RISC ad alte prestazioni, il set di istruzioni è relativamente fisso. Include slot di ritardo di ramificazione (caratteristica hardware, richiede gestione di istruzioni aggiuntive), aumentando la complessità di implementazione. Il set di istruzioni è ricco, ma alcune istruzioni sono destinate a scenari hardware specifici, che potrebbero non essere adatte a design moderni leggeri. Ecosistema maturo, ma chiuso, con espansione limitata. RISC-V: ISA open source moderna, progettata negli anni 2010, enfatizza modularità e flessibilità. Non ha slot di ritardo di ramificazione, la codifica delle istruzioni è semplice, facile da implementare in hardware e ottimizzare in software. Può personalizzare il set di istruzioni tramite estensioni, adatto da applicazioni embedded a bassa potenza a calcolo ad alte prestazioni. Ecosistema open source, comunità attiva, supporta iterazioni rapide e personalizzazioni. Alcune informazioni sull'aggiornamento di Ziren: Ziren = zkMIPS v1.1.0 con GPU + validatore di rete - Accelerazione GPU 30 volte - Il validatore di rete supporta prove parallele - Ottimizzazione delle principali restrizioni - Aggiornamenti della toolchain e precompilati - Correzioni di errori critici e miglioramenti di audit Il processo di prova core è ora accelerato dalla GPU, portando a un notevole aumento della velocità: - La velocità di generazione della prova core è aumentata di 30 volte - La velocità di aggregazione delle prove è aumentata di 15 volte - Anche la prova di imballaggio bn254 ha visto un aumento della velocità di 30 volte Ulteriori dettagli sugli aggiornamenti: Attualmente, il primo progetto a eseguire Ziren è un progetto chiamato @GOATRollup, che è una rete Layer 2 (secondo livello) basata su Bitcoin. GOAT Network è la prima rete Layer 2 di Bitcoin basata su zkMIPS (set di istruzioni MIPS a conoscenza zero), BitVM3 e un ordinatore decentralizzato (Sequencer). Realizza un design a minima fiducia attraverso un protocollo di sfida ottimista (GOAT-OCP), l'obiettivo del progetto è risolvere le limitazioni di Bitcoin in termini di scalabilità, velocità delle transazioni e costi, mantenendo al contempo la sicurezza della Layer 1 di Bitcoin. Caratteristiche principali Decentralizzazione: GOAT Network realizza operazioni di rete guidate dalla comunità attraverso nodi ordinatori decentralizzati (Sequencer Node Operators), consentendo ai partecipanti esterni di gestire congiuntamente la produzione di blocchi e l'ordinamento delle transazioni, condividendo i profitti. Sicurezza: il progetto utilizza una soluzione di bridging BitVM3 e la tecnologia zkRollup, garantendo la sicurezza e la privacy delle transazioni attraverso prove a conoscenza zero (ZKP). zkMIPS supporta programmi scritti in linguaggi di alto livello come Rust e Golang, i programmatori non devono auditare i circuiti di prova a conoscenza zero, ma solo verificare la logica aziendale, abbassando la soglia di sviluppo e migliorando la sicurezza. Scalabilità: spostando alcune transazioni al di fuori della catena, GOAT Network migliora notevolmente la velocità delle transazioni di Bitcoin e riduce i costi delle transazioni, mantenendo la sicurezza della catena principale di Bitcoin. Supporta il 100% di compatibilità EVM, i programmatori possono costruire in modo efficiente applicazioni decentralizzate (DApps) Web3. Entrate sostenibili: GOAT Network si impegna a fornire opportunità di guadagno sostenibili per i detentori di Bitcoin, ampliando l'uso di Bitcoin oltre la semplice conservazione del valore.