RISC Zero ja Ligero rakentavat yhdessä yksityisen, todennettavissa olevan tietojenkäsittelyn tulevaisuutta. Näin kaikenlaiset sovellukset voivat todistaa vaatimustenmukaisuuden säilyttäen samalla yksityisyyden.

Parhaan mahdollisen tietosuojatakuun tarjoamiseksi käyttäjät tarvitsevat asiakaspuolen todisteita: käyttäjien pitäisi pystyä luomaan todisteita omilla laitteillaan, jotta he voivat luottaa siihen, että heidän luottamukselliset tietonsa pysyvät turvassa.

Asiakaspuolen todistaminen on mahdollista Ligeron avulla, mutta varoituksella: Ligeron todisteet ovat liian suuria todennettaviksi ketjussa.

Tämä on tuttu ongelma tällä alalla – todistajan tehokkuuden ja todentajan tehokkuuden välillä on luonnollinen kompromissi; Asiakaspuolen todistamiseen optimoinnilla on luonnollisesti kustannuksia todentamisen monimutkaisuuden vuoksi.

Ratkaisu on rekursiivinen verifiointi: ensin tehdään todiste todisteiden tehokkuuteen optimoidulla järjestelmällä. Tarkista sitten tämä todiste järjestelmässä, joka on optimoitu todentajien tehokkuutta varten. Tulos tarjoaa sekä nopean todentamisen että tehokkaan todentamisen.

RISC Zero ja Ligero tekevät yhteistyötä juuri tämän saavuttamiseksi. Ottamalla käyttöön Ligero-todistusten joustavan todentamisen R0VM:ssä annamme käyttäjille mahdollisuuden luoda todisteita yksityisistä tiedoista paljastamatta mitään yksityiskohtia sen lisäksi, mitä he haluavat todistaa.