Qui riportiamo i progressi dei principali costruttori nell'ecosistema zkVM, documentando recenti rilasci significativi, innovazioni tecniche e aggiornamenti generali. In evidenza: @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc & @openvm_org 👇

Succinct 🔹 Tech 🔹 @SuccinctLabs ha introdotto SP1-CC, un coprocessore ZK per @ethereum che consente agli sviluppatori di leggere lo stato storico della blockchain, eseguire calcoli complessi offchain e verificare i risultati onchain con una singola prova: SP1-CC rimuove i vincoli di gas e le limitazioni dell'EVM senza modificare il codice L1, abilitando nuovi casi d'uso in governance, DeFi, airdrop e divulgazioni di sicurezza. Team come @eigenlayer lo utilizzano già per ridurre i costi e aumentare la flessibilità. 🔹 Partnerships 🔹 Il progetto ha recentemente annunciato una serie di nuove partnership tra cui: 🔹 @Snarkify_ZKP: Entrato a far parte della Succinct Prover Network come team di prover iniziale, portando un motore di prova SP1-SRT personalizzato ottimizzato per la generazione di ZKP in tempo reale su GPU e FPGA, contribuendo a ridurre la latenza e i costi in tutta la rete: 🔹 @a41_allforone: Integrato nella rete come prover multi-nodo con un scheduler che coordina centinaia di GPU, insieme a un backend ottimizzato per Python, abilitando prove ad alta capacità per applicazioni come giochi, AI e rollup: 🔹 @cysic_xyz: Aggiunto alla rete come prover accelerato dall'hardware che gestisce grandi cluster di GPU e si prepara a lanciare un ASIC personalizzato per carichi di lavoro zkVM, contribuendo con una profonda esperienza da ZPRIZE e infrastrutture ZK di livello produttivo: 🔹 @worldcoin: Collaborato per provare tutte le transazioni su World Chain utilizzando OP Succinct, eseguendo un esperimento mainnet di 7 giorni con verifica delle prove parallele e dimostrando prove di validità rapide ed economiche per una delle più grandi catene OP Stack: 🔹 @Mantle_Official: Supportato la transizione della Mantle Network a OP Succinct su testnet, allineandosi con la loro roadmap per migliorare la sicurezza e la decentralizzazione con prove di errore alimentate da ZK e infrastrutture modulari: 🔹 @zan_team: Entrato come prover multi-nodo supportato da @AntChainOpenLab, contribuendo con infrastrutture accelerate dall'hardware e ottimizzazione SP1 basata su FPGA che migliora la velocità di prova di 20 volte rispetto alle CPU, contribuendo a ridurre i costi della rete e aprendo la strada per gli ASIC ZK: 🔹 Media 🔹 Infine, il cofondatore di Succinct @pumatheuma ha partecipato a 'Succinct Special' con @alicelingl, dove hanno discusso degli ultimi sviluppi di Succinct e di tutto ciò che riguarda ZK:

ZKM 🔹 Tech 🔹 @ProjectZKM ha introdotto Ziren - un zkVM accelerato da GPU con prova distribuita, precedentemente noto come zkMIPS: Costruito sull'architettura MIPS32r2 zk-efficiente, Ziren sta già alimentando applicazioni nel mondo reale come @GOATRollup e riduce significativamente il tempo di generazione delle prove rispetto alle versioni precedenti. 🔹 Ricerca 🔹 ZKM ha pubblicato diversi nuovi articoli che evidenziano i più recenti progressi nel suo stack di prove ZK: 🔹 Il primo articolo ha introdotto gli aggiornamenti che sono arrivati con il rebranding di Ziren - accelerazione GPU, prova distribuita e varie ottimizzazioni delle restrizioni: 🔹 Il secondo ha spiegato il Framework del Sistema Ziren, coprendo l'intero pipeline dal codice di alto livello alle prove on-chain. Dettaglia come le tracce di esecuzione basate su MIPS vengano convertite in STARKs, aggregate ricorsivamente con PLONK e finalizzate in Groth16 per una verifica efficiente: 🔹 Il terzo articolo ha completato la trilogia della serie ISA di ZKM, concentrandosi sul perché ZKM abbia scelto MIPS32r2 rispetto a RISC-V. Sottolinea la stabilità dei circuiti e la longevità delle prove, spiegando come MIPS offra un ISA fisso e immutabile, garantendo che le prove rimangano valide per anni senza necessità di rifacimento: 🔹 Nell'articolo più recente, ZKM ha introdotto gli Impegni Polinomiali Frastagliati - un metodo per gestire matrici irregolari negli zkVM. Utilizzando conversioni da sparse a dense e protocolli di somma, consente impegni scalabili ed efficienti attraverso strutture di prova dinamiche: 🔹 Media 🔹 Infine, @DacEconomy (Chief Scientist di ZKM) e @sd_eigen (contributore principale di GOAT Network) hanno partecipato a @alicelingl per discutere di come lo zkVM di ZKM alimenti il Bitcoin L2 di GOAT Network: Hanno esplorato l'infrastruttura Entangled Rollup, la generazione di prove in tempo reale e aggregate, e la sostituzione della fiducia dei validatori con certezza matematica - evidenziando l'architettura e il modello di sicurezza dietro l'approccio di GOAT alla scalabilità di Bitcoin.

RISC Zero/Boundless 🔹 Tech 🔹 @boundless_xyz di @RiscZero ha lanciato la sua Mainnet Beta su @base, portando gli ZKP nell'uso reale: È stato introdotto 'The Signal' - un client ZK open-source che comprime la finalità di @ethereum in una singola prova, abilitando la verifica cross-chain. Separando l'esecuzione dal consenso, Boundless consente un calcolo scalabile senza compromettere la sicurezza. La prova è senza permessi, con incentivi reali e supporto per applicazioni live già in esecuzione su Base. 🔹 Partnerships 🔹 The Signal di Boundless è ora supportato da @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject e @union_build. Insieme, queste reti consentono alla finalità ZK-based di @ethereum di diventare un primitivo universale e verificabile per applicazioni cross-chain - senza oracoli, ponti o assunzioni di fiducia:

Nell'ultima Ethproofs Call, @succinct_li di @brevis_zk ha condiviso aggiornamenti sul zkVM interno di Brevis, Pico: (Timestamp 11:06) Il prover basato su GPU di Brevis, Pico v1.0, offre miglioramenti di velocità fino a 20× rispetto alla loro versione CPU e supera i principali concorrenti di circa il 25-27%. Il team prevede di rilasciare Pico v2.0 entro la fine di agosto, puntando a una dimostrazione in tempo reale. Hanno anche intenzione di rendere open-source il codice GPU dopo aver completato il supporto multi-GPU e multi-macchina nei prossimi mesi.

Lita @0xLita ha introdotto Valida 0.10.0, un aggiornamento importante per il suo stack zkVM: Il rilascio aggiunge Continuazioni per prove di esecuzione parziale, un'API WASM lato client per prove zk basate su browser e un supporto migliorato per la toolchain Rust/LLVM. Include anche immagini Docker per x86 e ARM, supporto iniziale per Secp256k1 e memcpy, e Reva, un esecutore di blocchi @ethereum.

OpenVM @openvm_org ha rilasciato la versione 1.3.0, introducendo librerie guest rinnovate che separano in modo chiaro i binding a basso livello dalle API ad alto livello: L'aggiornamento include una nuova libreria Rust per la verifica delle prove STARK, miglioramenti della CLI che supportano le opzioni di Cargo e patch per crate crittografici come k256 e p256. Non ci sono state modifiche ai circuiti. Si incoraggiano gli sviluppatori a migrare verso le nuove librerie.