Společnosti RISC Zero a Ligero se spojily, aby vybudovaly budoucnost soukromých, ověřitelných výpočetních prostředků. To umožňuje aplikacím všeho druhu prokázat shodu při zachování soukromí.

Aby bylo možné nabídnout co nejlepší záruky ochrany osobních údajů, potřebují uživatelé dokazování na straně klienta: uživatelé by měli mít možnost generovat důkazy na svých vlastních zařízeních, aby si byli jisti, že jejich důvěrné informace jsou v bezpečí.

U Ligera je možné dokazování na straně klienta, ale s upozorněním: Důkazy na straně Ligera jsou příliš velké na to, aby se daly ověřit v řetězci.

To je v tomto odvětví známý problém – existuje přirozený kompromis mezi účinností dokazovatele a účinností ověřovatele; Optimalizace pro dokazování na straně klienta s sebou přirozeně nese určité náklady z hlediska složitosti verifikace.

Řešením je rekurzivní verifikace: nejprve proveďte důkaz pomocí systému optimalizovaného pro účinnost dokazování. Poté tento důkaz ověřte v systému, který je optimalizován pro účinnost ověřovače. Výsledek nabízí jak rychlé prokázání, tak efektivní ověření.

Společnosti RISC Zero a Ligero se spojily, aby toho dosáhly. Povolením flexibilního ověřování důkazů Ligero v rámci R0VM umožníme uživatelům generovat důkazy o soukromých datech, aniž by museli prozrazovat jakékoli podrobnosti nad rámec toho, co chtějí dokázat.