تتعاون RISC Zero و Ligero لبناء مستقبل الحوسبة الخاصة التي يمكن التحقق منها. يتيح ذلك للتطبيقات من جميع الأنواع إثبات الامتثال مع الحفاظ على الخصوصية.

من أجل تقديم أفضل ضمانات الخصوصية الممكنة ، يحتاج المستخدمون إلى إثبات من جانب العميل: يجب أن يكون المستخدمون قادرين على إنشاء إثباتات على أجهزتهم الخاصة ، من أجل أن يكونوا واثقين من أن معلوماتهم السرية تظل آمنة.

من الممكن إثبات جانب العميل مع Ligero ، ولكن مع تحذير: إثباتات Ligero أكبر من أن يتم التحقق منها على السلسلة.

هذه مشكلة مألوفة في هذه الصناعة - هناك مقايضة طبيعية بين كفاءة المدقق وكفاءة المدقق. التحسين لإثبات جانب العميل بشكل طبيعي له بعض التكاليف من حيث تعقيد التحقق.

الحل هو التحقق المتكرر: أولا ، قم بعمل دليل باستخدام النظام المحسن لكفاءة البروفر. بعد ذلك، تحقق من هذا الدليل في نظام تم تحسينه لكفاءة المدقق. توفر النتيجة إثباتا سريعا والتحقق الفعال.

تتعاون RISC Zero و Ligero للقيام بذلك. من خلال تمكين التحقق المرن من إثباتات Ligero داخل R0VM، سنمكن المستخدمين من إنشاء إثباتات حول البيانات الخاصة، دون الكشف عن أي تفاصيل تتجاوز ما يريدون إثباته.