RISC Zero und Ligero arbeiten zusammen, um die Zukunft des privaten, überprüfbaren Rechnens zu gestalten. Dies ermöglicht Anwendungen aller Art, die Einhaltung nachzuweisen und gleichzeitig die Privatsphäre zu wahren.

Um die bestmöglichen Datenschutzgarantien zu bieten, benötigen Benutzer clientseitige Nachweise: Benutzer sollten in der Lage sein, Nachweise auf ihren eigenen Geräten zu generieren, um sicherzustellen, dass ihre vertraulichen Informationen sicher aufbewahrt werden.

Client-seitige Beweise sind mit Ligero möglich, aber mit einem Vorbehalt: Die Beweise von Ligero sind zu groß, um sie on-chain zu verifizieren.

Dies ist ein bekanntes Problem in dieser Branche – es gibt einen natürlichen Kompromiss zwischen der Effizienz des Beweisführers und der Effizienz des Verifiers; die Optimierung für die clientseitige Beweisführung hat natürlich einige Kosten in Bezug auf die Komplexität der Verifizierung.

Die Lösung ist rekursive Verifikation: Zuerst wird ein Beweis mit dem System erstellt, das für die Effizienz des Beweisführers optimiert ist. Dann wird dieser Beweis in einem System verifiziert, das für die Effizienz des Verifiers optimiert ist. Das Ergebnis bietet sowohl schnelles Beweisen als auch effiziente Verifikation.

RISC Zero und Ligero arbeiten zusammen, um genau das zu tun. Durch die Ermöglichung flexibler Verifizierung von Ligero-Beweisen innerhalb von R0VM werden wir es den Nutzern ermöglichen, Beweise über private Daten zu generieren, ohne Details preiszugeben, die über das hinausgehen, was sie beweisen möchten.