RISC Zero și Ligero fac echipă pentru a construi viitorul calculului privat și verificabil. Acest lucru permite aplicațiilor de tot felul să dovedească conformitatea, menținând în același timp confidențialitatea.

Pentru a oferi cele mai bune garanții posibile de confidențialitate, utilizatorii au nevoie de dovezi pe partea clientului: utilizatorii ar trebui să poată genera dovezi pe propriile dispozitive, pentru a fi siguri că informațiile lor confidențiale sunt păstrate în siguranță.

Dovedirea pe partea clientului este posibilă cu Ligero, dar cu un avertisment: dovezile lui Ligero sunt prea mari pentru a fi verificate în lanț.

Aceasta este o problemă familiară în această industrie - există un compromis natural între eficiența demonstratorului și eficiența verificatorului; Optimizarea pentru testarea pe partea de client are, în mod natural, unele costuri în ceea ce privește complexitatea verificării.

Soluția este verificarea recursivă: mai întâi, faceți o dovadă folosind sistemul optimizat pentru eficiența testatorului. Apoi, verificați acea dovadă într-un sistem optimizat pentru eficiența verificatorului. Rezultatul oferă atât testare rapidă, cât și verificare eficientă.

RISC Zero și Ligero fac echipă pentru a face exact acest lucru. Prin activarea verificării flexibile a dovezilor Ligero în R0VM, vom permite utilizatorilor să genereze dovezi despre datele private, fără a dezvălui detalii dincolo de ceea ce doresc să dovedească.