Le ultime novità su zkVM Qui riportiamo i progressi dei principali costruttori nell'ecosistema zkVM, documentando recenti rilasci significativi, innovazioni tecniche e aggiornamenti generali. In evidenza: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm, e @ProjectZKM. 🔹 Visita per ulteriori rapporti da tutto il settore 🔹

Brevis 🔹 ProverNet Whitepaper 🔹 @brevis_zk ha rilasciato il suo whitepaper ProverNet che delinea un marketplace decentralizzato dove le applicazioni richiedono capacità di proving ZK e provers specializzati competono per fornirla: Il sistema utilizza un meccanismo di asta doppia online veritiero per abbinare carichi di lavoro eterogenei con risorse adatte, garantendo al contempo la qualità del servizio attraverso incentivi economici. ProverNet introduce il token BREV per pagamenti, staking e governance, e una mainnet beta con un'asta semplificata è prevista per il lancio a breve. 🔹 Media 🔹 In un recente episodio di @HouseofZK Radio, @no89thkey, co-fondatore di Brevis, ha trattato di come il team sia passato dalle sue origini DeFi alla costruzione di calcoli verificabili e proving quasi in tempo reale: Ha parlato del Pico zkVM, del prover distribuito Pico Prism utilizzato per il proving dei blocchi @Ethereum, e di come l'architettura modulare del coprocessore di Brevis supporti la fedeltà on-chain, ricompense semplificate e integrazioni bridge CEX/DEX. Podcast completo: 🔹 Eventi 🔹 Brevis ha ospitato e partecipato a diverse sessioni chiave durante @EFDevcon, portando prospettive pratiche sul calcolo verificabile e il passaggio verso modelli di esecuzione basati su proof off-chain: • Brevis ha tenuto ZKONNECT, con House of ZK come co-host, concentrandosi su come zkVM, coprocessori ZK, zkML e zkTLS stiano passando da concetti a produzione. Il programma ha evidenziato implementazioni pratiche di calcolo verificabile, accesso ai dati cross-chain e inferenza AI, insieme a diverse keynote e discussioni che delineano come i team stiano applicando l'infrastruttura ZK a applicazioni reali. • Michael ha tenuto una keynote a Verifying Intelligence 3.0, organizzato da House of ZK e co-ospitato da Brevis: Ha delineato perché la maggior parte del calcolo blockchain migrerà off-chain e sarà verificata tramite ZKP, presentando Brevis come il layer di calcolo infinito che esegue logiche pesanti off-chain e restituisce output succinti e verificabili. Il discorso ha coperto il Pico zkVM, il proving in tempo reale di Ethereum, l'architettura modulare di Brevis e le attuali integrazioni che alimentano DeFi intelligente, attestazioni che preservano la privacy e sistemi di incentivi continui. 🔹 Partnership 🔹 Infine, Brevis e @vana hanno presentato un modello congiunto per l'uso di dati privati in AI combinando input autenticati con calcolo locale che non rivela informazioni grezze: Brevis zkTLS prova l'origine dei dati, mentre Pico zkVM li elabora sul dispositivo dell'utente. Vana gestisce il consenso e le ricompense, fornendo agli sviluppatori metriche verificate e consentendo agli utenti di mantenere il pieno controllo sui propri dati. 🔹 Visita per ulteriori rapporti da tutto il settore 🔹

Jolt (@a16zcrypto) 🔹 Chiamata Ethproofs 🔹 @SuccinctJT, Ricercatore presso @a16zcrypto, ha presentato alla recente chiamata @eth_proofs. Ha evidenziato come gli attuali zkVM controllino la memoria del provatore suddividendo le tracce in blocchi e aggregando ricorsivamente le prove, ma questo aggiunge complessità, rischio di bug e costi di prestazione. Timestamp - 32:30: Justin ha poi spiegato come Jolt mira a sostituire questo con un approccio in streaming che limita la memoria del provatore a pochi gigabyte, indipendentemente dal numero di cicli. Due dei circa venti componenti richiesti per il Sumcheck sono già in streaming, con il lavoro rimanente previsto per essere completato a breve. 🔹 Ricerca 🔹 Justin ha anche pubblicato un documento basato sui risultati di un sondaggio incentrato su come il design moderno degli SNARK raggiunga prove rapide concentrandosi sul protocollo di somma di controllo: Il documento delinea perché tecniche come la valutazione batch, gli argomenti di lookup, i polinomi virtuali e la preservazione dei piccoli valori riducono il lavoro del provatore e i costi di impegno. Utilizzando Jolt come caso studio principale, mostra come sfruttare la struttura computazionale ripetuta consenta zkVM efficienti e guidi i futuri miglioramenti delle prestazioni. 🔹 Visita per ulteriori rapporti da tutto il settore 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden ha rilasciato il suo Testnet v0.12, introducendo aggiornamenti significativi nei flussi di privacy, gestione delle chiavi, gestione degli indirizzi e strumenti per sviluppatori: La versione aggiunge un nuovo formato di indirizzo con supporto per la crittografia, uno strato di trasporto di note private con @Nethermind, firma ECDSA tramite precompilati e miglioramenti nella gestione dei dati nel nodo. Include anche guardrail di base per la visibilità dei dati delle transazioni, il nuovo installer midenup per un onboarding semplificato, un devnet dedicato per esperimenti e molteplici miglioramenti a livello di VM per la composabilità e il debugging. 🔹 Pubblicazioni 🔹 Il progetto ha pubblicato un articolo che spiega come i multisig privati diventino fattibili attraverso un nuovo sistema chiamato Private State Management, co-sviluppato con @OpenZeppelin: Il pezzo delinea perché i multisig tradizionali si basano su uno stato pubblico condiviso, come il modello di privacy di Miden complica il coordinamento e come i livelli di sincronizzazione, coordinamento e autenticazione di PSM mantengano allineati i conti privati. Si conclude con esempi di casi d'uso pratici e nota che un primo Proof-of-Concept è già disponibile. 🔹 Eventi 🔹 All'@EFDevcon, Miden ha ospitato e partecipato a diversi eventi, tra cui: • Il Privacy Salon, un evento organizzato da Miden che ha riunito costruttori, ricercatori e fondatori per brevi interventi orientati alle idee e discussioni aperte su privacy, sistemi decentralizzati e le intersezioni in evoluzione tra crypto, web3 e finanza tradizionale. • Verifying Intelligence 3.0, organizzato da @HouseofZK, dove @huitseeker, Engineering Lead di Miden, ha parlato del ruolo degli zkVM nella zkML, spiegando le differenze tra la dimostrazione dell'inferenza e l'addestramento, le limitazioni delle TEE e come il design di Miden supporti scenari pratici di verifica AI resistenti agli avversari. Timestamp - 02:50:12: 🔹 Integrazioni 🔹 Il progetto ha introdotto due nuove partnership che espandono il suo ecosistema in termini di privacy, onboarding e infrastruttura, tra cui: • @get_para: Integrato il wallet embedded di Para e l'autenticazione MPC distribuita per abilitare un onboarding senza custodia e senza soluzione di continuità per le applicazioni Miden. La collaborazione ha introdotto il login senza password, la creazione istantanea di wallet e flussi utente senza attriti, allineando lo stack UX di Para con il modello di privacy conforme di Miden per supportare applicazioni private di DeFi, fintech, gaming e istituzionali costruite su esecuzione ZK: • @gateway_eth: Partner con per fornire infrastruttura di livello enterprise per la rete blockchain scalabile e focalizzata sulla privacy di Miden. La partnership garantisce alta disponibilità, accesso rapido ai dati e affidabilità operativa mentre Miden scala, con Gateway che esegue componenti core come il bridge nativo, i provers e l'explorer di blocchi per supportare il rollout dell'architettura di edge-execution di Miden: 🔹 Visita per ulteriori report da tutto il settore 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs ha lanciato la versione Alpha del suo exchange decentralizzato di futures perpetui come parte del suo Testnet III, offrendo una piattaforma CLOB semplificata e non custodiale costruita su un'infrastruttura verificabile: Il rilascio si concentra sulle funzioni di trading fondamentali, un onboarding semplificato e fondi di test invece di beni reali. Sebbene l'interfaccia sia minimale, il libro ordini sottostante è progettato per prestazioni a bassa latenza e si espanderà con il feedback guidato dalla comunità e prove crittografiche introdotte progressivamente. 🔹 Stato della Rete 🔹 Nexus ha rilasciato il suo rapporto di rete di novembre: I punti salienti includono: • La rete ha elaborato 87.198 milioni di transazioni, con 87.038 milioni completate, mostrando un'alta affidabilità e un gap molto ridotto tra attività avviate e finalizzate. • Il throughput delle prove è stato regolato da 5.810 a 4,16 prove al secondo nel corso del mese, riflettendo un ritorno a una baseline di prova più stabile dopo il rapido picco di ottobre. • I contratti verificati hanno raggiunto 2.548 milioni, dimostrando una continua fiducia degli sviluppatori nell'ambiente di prova nonostante una latenza più alta e un throughput moderato. • Le commissioni di transazione hanno avuto una media di 0,048 NEX, mantenendo basso il costo della verificabilità e lasciando spazio per iterazioni rapide e interazioni onchain frequenti. 🔹 Eventi 🔹 Il Chief Scientist di Nexus @JensGroth16 ha partecipato a una chiacchierata informale all'evento Verifying Intelligence di @HouseofZK durante @EFDevcon, discutendo di come gli ZKP siano evoluti dal lavoro teorico iniziale alle applicazioni odierne nell'AI verificabile: Ha delineato il focus di Nexus sulla combinazione di correttezza dimostrabile con sicurezza economica e ha sottolineato la necessità di standard, educazione e una fiducia istituzionale più ampia per garantire che i sistemi verificabili diventino utilizzabili e ampiamente adottati. 🔹 Visita per ulteriori rapporti da tutto il settore 🔹

Risc Zero & Boundless 🔹 Ethproofs Call 🔹 Nella recente chiamata @eth_proofs Call #6, @BruestleJeremy, CEO e co-fondatore di @RiscZero, ha condiviso come il team sia riuscito a avviare un vero kernel Linux all'interno dello zkVM dopo aver aggiunto il supporto S-mode Risc-V, un MMU completo e memoria virtualizzata. Timestamp - 20:30: La demo ha mostrato più processi in esecuzione e un ambiente quasi deterministico adatto a stack software più ampi. Risс Zero prevede di rilasciare questo nella prossima versione del circuito mentre i progressi sul prover continuano. 🔹 Eventi 🔹 @boundless_xyz ha partecipato a diversi eventi durante il Devconnect a Buenos Aires, tra cui: • Una sessione di lettura del whitepaper organizzata da @HouseofZK in collaborazione con @WPReadingClub e @invisiblgarden, dove Boundless, @citrea_xyz, @MinaProtocol e @o1_labs hanno partecipato a discussioni a tavola rotonda sugli sviluppi recenti della ricerca e sulle idee emergenti nell'ecosistema Web3 e ZK. • Un panel Verifying Intelligence 3.0, dove @reka_eth, Direttore Marketing di Boundless, ha contribuito a una discussione sulla prova del contributo umano in un'era plasmata da AI e robotica, insieme ai relatori @humpty0x di @OntologyNetwork, @zKsisyfos di @StarkWareLtd, @DacEconomy di @ProjectZKM e @Viggy_117 di @eigencloud. Timestamp - 00:57:54: 🔹 Visita per ulteriori rapporti da tutto il settore 🔹

Succinct 🔹 SP1 Hypercube 🔹 @SuccinctLabs ha riportato che l'ultima versione del suo SP1 Hypercube zkVM può dimostrare il 99,7% dei blocchi L1 di @ethereum in meno di 12 secondi su 16 GPU RTX 5090, estendendo il suo precedente traguardo di dimostrazione in tempo reale: Il rilascio aggiunge importanti miglioramenti delle prestazioni, verifica formale di tutti i vincoli RISC-V, rimozione delle dipendenze dalla congettura del gap di prossimità e nuove misure di sicurezza. Hypercube sta completando le verifiche e sarà rilasciato come open source e attraverso la Succinct Prover Network. 🔹 Ricerca 🔹 In uno studio recente di @ronrothblum, Responsabile della crittografia presso Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) e @kleptographic (@NYU_Courant), gli autori presentano TensorSwitch, uno schema di impegno polinomiale basato su hash quasi ottimale: Affronta due principali limitazioni negli SNARG basati su hash: tempo del provatore e grandi dimensioni della prova. Utilizzando codici tensoriali e prove oracolari interattive, TensorSwitch raggiunge tempi di impegno e apertura lineari rispetto alla dimensione dell'input, costi di hashing sublineari e query del verificatore asintoticamente minime, senza fare affidamento su setup fidati o crittografia basata su gruppi. 🔹 C2PA 🔹 Succinct è entrata a far parte di @C2PA_org, lavorando insieme ad altri partecipanti per sviluppare standard aperti per la verifica dei contenuti digitali: Con l'aumento dei media generati dall'AI, il progetto introduce la verifica ZK per rafforzare i flussi di lavoro di provenienza con privacy e attestazioni scalabili. Succinct mira a supportare standard di metadati unificati e migliorare l'interoperabilità tra le piattaforme. Unendosi a C2PA, il progetto prevede di contribuire alla ricerca e assistere nel dispiegamento di strumenti di autenticità dei contenuti in contesti pratici. 🔹 OP Succinct Lite 🔹 @Celo ha aggiornato il suo testnet Sepolia a OP Succinct Lite attraverso il hardfork Jello, avvicinandosi al lancio della mainnet: All'inizio di quest'anno, Celo è passato a un Ethereum L2 per supportare pagamenti nel mondo reale ed è diventato la prima catena ad adottare OP Succinct Lite con EigenDA v2. 🔹 Visita per ulteriori rapporti da tutto il settore 🔹

ZKM 🔹 Audit 🔹 Ziren di ZKM è attualmente in fase di audit da parte di @VeridiseInc, utilizzando la sua piattaforma di verifica Picus: Veridise ha adattato i vincoli Plonky3 di Ziren e ha eseguito analisi tramite @AuditHubDev. I risultati iniziali hanno confermato un comportamento deterministico per l'addizione e la sottrazione nel chip AddSub. I team pianificano di espandere la verifica a circuiti completi e integrare controlli nel flusso di lavoro di sviluppo di ZKM. 🔹 Pubblicazioni 🔹 @ProjectZKM ha pubblicato un articolo che spiega come il protocollo GKR verifica i calcoli dei circuiti aritmetici controllando ricorsivamente la coerenza tra i livelli del circuito utilizzando il protocollo multivariato Sumcheck: Il pezzo spiega la struttura a strati del circuito, il ruolo delle estensioni multilineari, come Sumcheck riduce la verifica a valutazioni puntuali e come la ricorsione termina al livello di input. Mostra perché GKR è efficiente per circuiti grandi e fondamentale nei moderni sistemi ZK. 🔹 Eventi 🔹 ZKM ha rilasciato un articolo sul loro tempo a @EFDevcon, con i punti salienti che includono: • ZKONNECT di @brevis_zk e House of ZK: il CTO di ZKM @sd_eigen ha partecipato al panel di dimostrazione in tempo reale EVM Proved in 10 Seconds discutendo dei sistemi di prova accelerati da GPU. • Verifying Intelligence di House of ZK e Brevis: Stephen ha parlato della privacy basata su ZK nei flussi di lavoro AI e ha esaminato l'audit di Ziren con @VeridiseInc. Il co-fondatore @DacEconomy ha partecipato al panel AI e Lavoro sulla verifica dei contributi umani. • @EtherArgentina Hackathon: ZKM ha sponsorizzato l'evento con Stephen come giudice e il Responsabile Educazione @alicelingl che ha mentoreggiato i team. • Native BTCFi Summit di @babylonlabs_io e @build_on_bob: discussioni su finanza allineata a @Bitcoin e scalabilità di BTC. • StarkConnect di @Starknet: Stephen ha partecipato a una sessione sulla scalabilità di Bitcoin con Starknet, @AlpenLabs e @atomiqlabs. • ZK Real World Summit: panel su catene che preservano la privacy con @MantaNetwork, @ZKVProtocol e @nillion. • Cultural Vivo di @invisiblgarden: ZKM è tornato come sponsor a supportare l'hub per costruttori di ZK e AI. 🔹 Visita per ulteriori rapporti da tutto il settore 🔹