Compass Investments

– Una delle caratteristiche principali di zkVM 1.0 è un processo di testing più efficiente. Il team della piattaforma cita tra i vantaggi anche le metriche di performance più elevate. In particolare, zkVM 1.0 è sviluppato nel linguaggio Rust, che consente di generare prove per vari programmi.

Questa caratteristica consente lo sviluppo di logiche complesse ed elimina i vincoli tipicamente associati alle dimensioni e al costo del gas. L’obiettivo della nuova piattaforma per RISC Zero è quello di scaricare gran parte del lavoro computazionale nella catena DApps. Lo zk-proofing consente di compattare la computazione e di ottenere una verifica veloce. Allo stesso tempo, i verificatori non eseguono il calcolo in modo indipendente.

Nel complesso, questo meccanismo svolge un ruolo importante nel migliorare la scalabilità delle applicazioni blockchain. Permette di eseguire operazioni complesse fuori dalla catena, mantenendo la verifica nella blockchain. Pertanto, può essere utilizzato in aree in cui è importante un calcolo efficiente e verificabile, come le blockchain di livello 2 e i ponti intercatena.

In genere, le zkEVM sono progettate per le macchine virtuali di Ethereum (EVM), mentre le zkVM sono macchine virtuali che utilizzano il proof-of-concept ZK per le DApp. Oltre alla zkVM 1.0 lanciata di recente, le zkVM esistenti includono Nexus zkVM, Jolt della popolare criptovaluta Andreessen Horowitz (a16z) e SPI di Succinct Labs, che recentemente è entrata a far parte della collaborazione tra Polygon e AggLayer. Verifica.

Nel prossimo futuro, zkVM 1.0 supporterà l’interoperabilità delle DApp con qualsiasi blockchain con un verificatore RISC ZERO integrato. In questo modo, le applicazioni potranno essere eseguite su diverse catene come Ethereum, Base, OP, World Chain, Arbitrum e Starknet.

Per celebrare il lancio di zkVM 1.0, RISC ZERO ha organizzato una cerimonia di configurazione di fiducia. Il codice è stato inoltre sottoposto a una rigorosa verifica da parte di terzi, ha dichiarato il progetto.

Notizie correlate: la startup californiana di criptovalute Space and Time (SXT) ha recentemente rilasciato uno stack di proof-of-stake ZK al di sotto del secondo, chiamato Proof of SQL.

L’accesso a questo strumento di prova a conoscenza zero ad alte prestazioni è aperto agli utenti su GitHub. Proof of SQL è stato progettato come un nuovo ZK Prover che garantisce crittograficamente la correttezza del calcolo di query SQL a database contenenti dati non autorizzati.