RISC Zero og Ligero slår seg sammen for å bygge fremtiden for privat, verifiserbar databehandling. Dette gjør det mulig for applikasjoner av alle slag å bevise samsvar samtidig som personvernet opprettholdes.

For å kunne tilby best mulig personverngarantier, må brukerne bevise på klientsiden: Brukere bør kunne generere bevis på sine egne enheter, for å være trygge på at deres konfidensielle informasjon holdes sikker.

Bevis på klientsiden er mulig med Ligero, men med et forbehold: Ligeros bevis er for store til å verifiseres på kjeden.

Dette er et kjent problem i denne bransjen – det er en naturlig avveining mellom effektiviteten til beviseren og effektiviteten til verifikatoren; Optimalisering for bevis på klientsiden har naturligvis noen kostnader når det gjelder kompleksiteten til verifiseringen.

Løsningen er rekursiv verifisering: Lag først et bevis ved hjelp av systemet som er optimalisert for beviseffektivitet. Bekreft deretter beviset i et system som er optimalisert for verifikatoreffektivitet. Resultatet gir både rask bevising og effektiv verifisering.

RISC Zero og Ligero slår seg sammen for å gjøre nettopp det. Ved å muliggjøre fleksibel verifisering av Ligero-bevis i R0VM, vil vi gjøre det mulig for brukere å generere bevis om private data, uten å avsløre noen detaljer utover det de ønsker å bevise.