RISC Zero et Ligero s'associent pour construire l'avenir du calcul privé et vérifiable. Cela permet à des applications de toutes sortes de prouver leur conformité tout en préservant la confidentialité.

Pour offrir les meilleures garanties de confidentialité possibles, les utilisateurs ont besoin de preuves côté client : les utilisateurs devraient être en mesure de générer des preuves sur leurs propres appareils, afin d'être confiants que leurs informations confidentielles sont gardées en sécurité.

La preuve côté client est possible avec Ligero, mais avec un inconvénient : les preuves de Ligero sont trop volumineuses pour être vérifiées sur la chaîne.

C'est un problème familier dans cette industrie — il existe un compromis naturel entre l'efficacité du prouveur et l'efficacité du vérificateur ; optimiser pour la preuve côté client a naturellement des coûts en termes de complexité de la vérification.

La solution est la vérification récursive : d'abord, faites une preuve en utilisant le système optimisé pour l'efficacité du prouveur. Ensuite, vérifiez cette preuve dans un système qui est optimisé pour l'efficacité du vérificateur. Le résultat offre à la fois une preuve rapide et une vérification efficace.

RISC Zero et Ligero s'associent pour faire exactement cela. En permettant une vérification flexible des preuves Ligero à l'intérieur de R0VM, nous permettrons aux utilisateurs de générer des preuves concernant des données privées, sans révéler de détails au-delà de ce qu'ils souhaitent prouver.