RISC Zero och Ligero samarbetar för att bygga framtiden för privat, verifierbar databehandling. Detta gör det möjligt för applikationer av alla slag att bevisa överensstämmelse samtidigt som integriteten upprätthålls.

För att kunna erbjuda bästa möjliga integritetsgarantier behöver användarna bevisning på klientsidan: användarna bör kunna generera bevis på sina egna enheter för att vara säkra på att deras konfidentiella information hålls säker.

Bevisning på klientsidan är möjlig med Ligero, men med en varning: Ligeros bevis är för stora för att verifiera i kedjan.

Detta är ett välkänt problem i den här branschen - det finns en naturlig kompromiss mellan effektiviteten hos provaren och effektiviteten hos kontrollören; Att optimera för provning på klientsidan har naturligtvis vissa kostnader när det gäller verifieringens komplexitet.

Lösningen är rekursiv verifiering: först gör du ett bevis med hjälp av ett system som är optimerat för provares effektivitet. Verifiera sedan beviset i ett system som är optimerat för verifierarens effektivitet. Resultatet erbjuder både snabb jäsning och effektiv verifiering.

RISC Zero och Ligero samarbetar för att göra just det. Genom att möjliggöra flexibel verifiering av Ligero-bevis i R0VM gör vi det möjligt för användare att generera bevis om privata data, utan att avslöja några detaljer utöver vad de vill bevisa.