RISC Zero & Ligero bekerja sama untuk membangun masa depan komputasi pribadi yang dapat diverifikasi. Hal ini memungkinkan semua jenis aplikasi untuk membuktikan kepatuhan sambil menjaga privasi.

Untuk menawarkan jaminan privasi terbaik, pengguna memerlukan pembuktian sisi klien: pengguna harus dapat menghasilkan bukti di perangkat mereka sendiri, agar yakin bahwa informasi rahasia mereka tetap aman.

Pembuktian sisi klien dimungkinkan dengan Ligero, tetapi dengan peringatan: Bukti Ligero terlalu besar untuk diverifikasi on-chain.

Ini adalah masalah yang akrab dalam industri ini — ada pengorbanan alami antara efisiensi pembuktian dan efisiensi verifikator; Mengoptimalkan pembuktian sisi klien secara alami memiliki beberapa biaya dalam hal kompleksitas verifikasi.

Solusinya adalah verifikasi rekursif: pertama, buat bukti menggunakan sistem yang dioptimalkan untuk efisiensi pembukti. Kemudian, verifikasi bukti tersebut dalam sistem yang dioptimalkan untuk efisiensi verifier. Hasilnya menawarkan pembuktian cepat dan verifikasi yang efisien.

RISC Zero & Ligero bekerja sama untuk melakukan hal itu. Dengan mengaktifkan verifikasi fleksibel bukti Ligero di dalam R0VM, kami akan memungkinkan pengguna untuk menghasilkan bukti tentang data pribadi, tanpa mengungkapkan detail apa pun di luar apa yang ingin mereka buktikan.