RISC Zero e Ligero si stanno unendo per costruire il futuro del calcolo privato e verificabile. Questo consente a applicazioni di ogni tipo di dimostrare la conformità mantenendo la privacy.

Per offrire le migliori garanzie di privacy possibili, gli utenti hanno bisogno di prove lato client: gli utenti dovrebbero essere in grado di generare prove sui propri dispositivi, per essere certi che le loro informazioni riservate siano mantenute al sicuro.

La prova lato client è possibile con Ligero, ma con una caveat: le prove di Ligero sono troppo grandi per essere verificate on-chain.

Questo è un problema familiare in questo settore: c'è un compromesso naturale tra l'efficienza del provatore e l'efficienza del verificatore; ottimizzare per la prova lato client comporta naturalmente alcuni costi in termini di complessità della verifica.

La soluzione è la verifica ricorsiva: prima, crea una prova utilizzando il sistema ottimizzato per l'efficienza del provatore. Poi, verifica quella prova in un sistema ottimizzato per l'efficienza del verificatore. Il risultato offre sia una prova rapida che una verifica efficiente.

RISC Zero e Ligero si stanno unendo per fare proprio questo. Abilitando la verifica flessibile delle prove di Ligero all'interno di R0VM, consentiremo agli utenti di generare prove su dati privati, senza rivelare alcun dettaglio oltre a ciò che vogliono dimostrare.