Coinspeaker RISC Zero Lancio ZkVM 1.0 per lo sviluppo di DApp
RISC Zero, una piattaforma informatica generale verificabile a conoscenza zero basata su zk-STARK, ha annunciato ufficialmente il lancio di zkVM 1.0. Come riportato da The Block, il nuovo prodotto è un nuovo zkVM per uso generale che il team di sviluppatori è orgoglioso di essere pronto per la produzione. È abbastanza distinto dalle soluzioni esistenti perché utilizza prove zk per lo sviluppo di app basate su finanza decentralizzata (DeFi) su diverse blockchain.
Caratteristiche di zkVM 1.0 di RISC Zero
Il processo di dimostrazione conveniente di zkVM 1.0 è pubblicizzato come una delle sue caratteristiche principali, tra le altre. Il team dietro la piattaforma ha anche evidenziato le sue migliori metriche di prestazioni come un vantaggio aggiuntivo. In particolare, zkVM 1.0 ha la capacità di generare dimostrazioni per diversi programmi, in quanto è sviluppato su Rust.
Questa funzionalità offre spazio per lo sviluppo di una logica complessa, eliminando le limitazioni solitamente associate alle dimensioni o ai costi del gas. L'obiettivo di RISC Zero con questa nuova piattaforma è di scaricare una percentuale significativa di lavoro computazionale nelle DApp on-chain. Con le prove zk, la compressione dei calcoli viene ottenuta e verificata a un ritmo rapido. Tutto ciò viene eseguito senza che il verificatore esegua il calcolo da solo.
Nel complesso, questo meccanismo svolge un ruolo cruciale nel migliorare la scalabilità delle app blockchain. Facilita l'esecuzione di operazioni complesse off-chain mantenendo anche la verifica on-chain. Ciò si verifica in potenziali casi d'uso in blockchain Layer-2, bridge cross-chain e aree in cui è importante avere un computing efficiente e verificabile.
Di solito, le zkEVM sono pensate specificamente per gli ambienti Ethereum Virtual Machine (EVM), ma le zkVM, d'altro canto, sono macchine virtuali che sfruttano le prove ZK per le DApp. Oltre alla zkVM 1.0 appena lanciata, altre zkVM esistenti includono Nexus zkVM, Jolt della popolare criptovaluta Andreessen Horowitz (a16z) e SPI di Succinct Labs che ha recentemente preso parte alla collaborazione tra Polygon e AggLayer.
Nel prossimo futuro, zkVM 1.0 supporterà l'interoperabilità delle DApp su qualsiasi blockchain che integri un RISC ZERO Verifier. Di conseguenza, le applicazioni possono funzionare su varie catene come Ethereum, Base, OP, World Chain, Arbitrum e Starknet.
Per inaugurare il lancio di zkVM 1.0, RISC Zero ha condotto una cerimonia di installazione affidabile. Secondo il progetto, i codici hanno anche superato rigorosi audit di terze parti.
Spazio e tempo Lancio Prova di SQL
In una notizia simile, la startup californiana Space and Time (SXT) specializzata in criptovalute ha recentemente rilasciato il suo stack di dimostrazione ZK sub-secondo chiamato Proof of SQL.
È stato creato per garantire ai suoi utenti l'accesso a questo dimostratore zero-knowledge ad alte prestazioni su GitHub. Proof of SQL è progettato come una nuova dimostrazione ZK che garantisce crittograficamente il calcolo accurato delle query del database SQL rispetto ai dati non manomessi.
Una delle complessità chiave dei modelli ZK è il fatto che consentono agli sviluppatori o agli utenti di confermare la validità o la veridicità di dati o transazioni senza rivelare informazioni riservate. Questa caratteristica lo rende preferito tra le altre soluzioni.
Prossimo
RISC Zero Launch ZkVM 1.0 per lo sviluppo di DApp