RISC Zero i Ligero łączą siły, aby zbudować przyszłość prywatnego, weryfikowalnego obliczenia. Umożliwia to aplikacjom wszelkiego rodzaju udowodnienie zgodności przy jednoczesnym zachowaniu prywatności.

Aby zapewnić jak najlepsze gwarancje prywatności, użytkownicy potrzebują dowodów po stronie klienta: użytkownicy powinni być w stanie generować dowody na swoich własnych urządzeniach, aby mieć pewność, że ich poufne informacje są bezpieczne.

Dowodzenie po stronie klienta jest możliwe z Ligero, ale z zastrzeżeniem: dowody Ligero są zbyt duże, aby je zweryfikować na łańcuchu.

To jest znany problem w tej branży — istnieje naturalny kompromis między wydajnością dowodzącego a wydajnością weryfikatora; optymalizacja pod kątem dowodzenia po stronie klienta naturalnie wiąże się z pewnymi kosztami w zakresie złożoności weryfikacji.

Rozwiązaniem jest rekurencyjna weryfikacja: najpierw stwórz dowód przy użyciu systemu zoptymalizowanego pod kątem efektywności dowodzenia. Następnie zweryfikuj ten dowód w systemie zoptymalizowanym pod kątem efektywności weryfikacji. Rezultat oferuje zarówno szybkie dowodzenie, jak i efektywną weryfikację.

RISC Zero i Ligero łączą siły, aby to zrobić. Umożliwiając elastyczną weryfikację dowodów Ligero wewnątrz R0VM, umożliwimy użytkownikom generowanie dowodów dotyczących danych prywatnych, bez ujawniania jakichkolwiek szczegółów poza tym, co chcą udowodnić.