
يدعم كاردانو بالفعل التحقق من إثباتات الصفر المعرفة مباشرة على سلسلته الرئيسية. (إثبات ZK) قدم Plutus V3 عمليات زوجية أصلية مع ترقية Chang في سبتمبر 2024. وتوفر هذه العمليات لأدوات العقود الذكية الأدوات التشفيرية للتحقق من الإثباتات من أنظمة متوافقة مثل Groth16. يتم توليد الإثبات خارج البلوكشين، ثم يتم التحقق منه بواسطة عقد ذكي أثناء التحقق من المعاملة. ويمكن للشبكة التحقق من استيفاء شرط معين مع الاحتفاظ بالمدخلات الخاصة خلف هذا الإثبات سرية. هذا يسمح للمطورين ببناء تطبيقات على كاردانو حيث يثبت الشخص أهليته دون نشر بيانات اعتماده الكاملة. وباستخدام أنظمة إثبات مناسبة، يمكن أيضًا إجراء حسابات معقدة في مكان آخر، مع قيام كاردانو بالتحقق من إثبات مضغوط للنتيجة. التحقق يستهلك موارد، والإثبات يثبت فقط ما تتحقق منه الدائرة الفعلية، وهناك أشياء رائعة حقًا ممكنة على كاردانو والتي، في رأيي، يمكن أن تفتح بابًا آخر لزيادة فائدة المستخدمين في النظام البيئي.
