RISC Zero en Ligero bundelen hun krachten om de toekomst van privé, verifieerbare berekeningen te bouwen. Dit stelt toepassingen van allerlei aard in staat om naleving te bewijzen terwijl de privacy behouden blijft.

Om de best mogelijke privacygaranties te bieden, hebben gebruikers client-side bewijs nodig: gebruikers moeten in staat zijn om bewijzen op hun eigen apparaten te genereren, zodat ze er zeker van kunnen zijn dat hun vertrouwelijke informatie veilig wordt bewaard.

Client-side bewijzen zijn mogelijk met Ligero, maar met een kanttekening: de bewijzen van Ligero zijn te groot om on-chain te verifiëren.

Dit is een bekend probleem in deze industrie — er is een natuurlijke afweging tussen de efficiëntie van de prover en de efficiëntie van de verifier; optimaliseren voor client-side proving heeft natuurlijk enkele kosten in termen van de complexiteit van de verificatie.

De oplossing is recursieve verificatie: maak eerst een bewijs met het systeem dat is geoptimaliseerd voor de efficiëntie van de bewijsleverancier. Verifieer vervolgens dat bewijs in een systeem dat is geoptimaliseerd voor de efficiëntie van de verifier. Het resultaat biedt zowel snel bewijs als efficiënte verificatie.

RISC Zero en Ligero werken samen om dat te doen. Door flexibele verificatie van Ligero-bewijzen binnen R0VM mogelijk te maken, stellen we gebruikers in staat om bewijzen te genereren over privégegevens, zonder enige details te onthullen behalve wat ze willen bewijzen.