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'architettura mips, hanno scelto un percorso relativamente meno affollato (rispetto al confronto con l'architettura zk-risc-v), mips è un'architettura a set di istruzioni storica, il suo vantaggio non risiede nel numero di istruzioni e nella scalabilità, ma nella stabilità e nella fissità delle istruzioni. Pertanto, la maggiore sfida per zk-evm è stata la continua variazione delle istruzioni evm, che porta a nuovi vincoli 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, il motivo non è noto. Di seguito un confronto tra l'architettura mips32 e l'architettura riscv: RV32I è estremamente minimale, con estensioni (come M, A, F, D, C) scelte in modo flessibile, codifica delle istruzioni semplice, supporta 16/32 bit. Set di istruzioni core: il 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 200+ istruzioni di MIPS32 (inclusi i punti in virgola mobile e le estensioni). Complessità delle istruzioni: il set di istruzioni MIPS32 è più complesso, contiene 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, il che potrebbe non essere adatto ai design moderni leggeri. Ecosistema maturo, ma closed-source, con estensioni limitate. 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 a tutto, dai dispositivi embedded a bassa potenza ai calcoli 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 dei vincoli principali - 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 - La prova di imballaggio bn254 ha anche 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 sequencer decentralizzati. Realizza un design a minima fiducia attraverso il 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 sequencer 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 la 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 devono 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 al contempo 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.