أداة الاسترداد بالمعرفة الصفرية الخاصة بـ Cardano تكمل مطالبة محفظة كاملة على شبكة الاختبار Preview

أداة استرداد بالمعرفة الصفرية على Cardano أكملت مطالبة كاملة على شبكة الاختبار Preview، حيث نقلت الأصول من عقد وصاية بعد التأكد من أن المطالب يسيطر على البذرة الرئيسية الأصلية.

يتضمن الإصدار مفتوح المصدر الدارة التشفيرية، المُثبت المحلي، مُحقق Plutus V3، أعمال تحقق شكلي، معاملات اختبار وواجهة نموذجية تُدعى ReclaimGlobal. وهو يوسع تجربة سابقة كشف عنها Charles Hoskinson إلى تدفق استرداد قابل للمراجعة علنا بنتائج فعالة على السلسلة.

حظي المستودع بمزيد من الاهتمام بعد أن أبرز المطور Phil معماريته ووثائقه ونظام الإثبات الخاص به. وقد أعاد Hoskinson لاحقا نشر هذا التقييم.

ReclaimGlobal تربط ملكية المحفظة بالأصول المُستردة

تم تصميم ReclaimGlobal لحالات يتم فيها بالفعل نقل الأصول من بيانات اعتماد مخترقة ووضعها داخل عقد استرداد.

يقوم المستخدم المتضرر بتوصيل المحفظة المخترقة في وضع القراءة فقط، ويولد محليا دليلا على الملكية، ويختار محفظة جديدة لتلقي الأصول. تبقى عبارة الاسترداد على جهاز المستخدم ولا تُقدَّم إلى العقد أو إلى مشغل الاسترداد أو إلى خادم خارجي.

يسمح مسار قفل منفصل لمشغل أو منقذ أو متبرع بإيداع الأصول في UTxO على Cardano مرتبط بالمالك. بعدها لا يمكن المطالبة بالأموال إلا من قبل مستخدم قادر على إثبات أن بيانات اعتماد الدفع المتأثرة مشتقة من البذرة الرئيسية المقابلة.

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

يوثق المستودع حادثة شملت نحو 8,823 من بيانات اعتماد الدفع المتأثرة. وتوضح الشروحات التقنية أن عبارات الاسترداد والبذور الرئيسية وأكواد السلسلة لم تُكشَف. وبدلا من ذلك، تم اختراق مفاتيح التوقيع المشتقة بسبب خلل في رقم عشوائي حتمي داخل مُوقِّع المعاملة.

لأن بيانات اعتماد المحفظة الفردية تُشتق من سر رئيسي عبر عمليات أحادية الاتجاه، قد يسمح مفتاح مشتق مسروق بتوقيع معاملات غير مصرح بها من دون كشف البذرة الأصلية. يستخدم نظام الاسترداد هذا الفارق لتمييز مالك المحفظة الشرعي عن مهاجم لا يملك سوى بيانات الاعتماد المخترقة.

Plutus V3 تتحقق من الملكية من دون كشف البذرة

يُنشأ دليل الملكية محليا عبر نظام إثبات Groth16 الذي يعمل على المنحنى BLS12-381. يبلغ حجم الدليل الناتج 336 بايتا، بينما تحتوي الدارة الأساسية على نحو 3.45 مليون قيد.

بيئة Plutus V3 الخاصة بـ Cardano تتحقق من الدليل قبل أن يفرج عقد الوصاية عن أي أصول. ولا تُنشر عبارة الاسترداد والمفاتيح الخاصة ومسار الاشتقاق الكامل الخاص بالمطالب على السلسلة.

بيانات اعتماد الوجهة الجديدة مرتبطة تشفيريا بالدليل. لا يستطيع مراقب نسخ المعاملة واستبدال عنوان الاستلام لأن تغيير الوجهة يبطل المطالبة.

يتحقق المُحقّق أيضا من أن الدفعة المطلوبة تطابق الاستحقاق المخزن في بيانات الوصاية. وتمنع شروط إضافية العقد من الدفع لنفسه أو إعادة الأصول إلى بيانات الاعتماد المخترقة.

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

ثم جرى اختبار تدفق الاسترداد الكامل عبر مُحقّق الوصاية الكامل. أُودِعت خمس وحدات ADA تجريبية، وتم توليد دليل لمحفظة وجهة أُنشئت حديثا، وتحقق العقد من الملكية والاستحقاق وربط الوجهة قبل الإفراج عن الأصول.

أضافت مطالبة لاحقة مزيدا من الحمايات، بما في ذلك قاعدة تمنع الدفع مرة أخرى إلى بيانات الاعتماد المتأثرة وآلية قائمة على التذاكر لتتبع المطالبات المصروفة. وقد تمت تسوية المعاملة ضمن حدود التنفيذ في Cardano.

يتضمن المستودع أيضا براهين Lean 4 تغطي منطق اتخاذ القرار لدى المُحقّق، إلى جانب المواصفات التقنية وشيفرة الدارة وعدة جولات من المراجعة. ولا يزال هناك ارتباط شكلي واحد مفتوحا بين نظام القيود R1CS الكامل وعلاقة الشاهد المعيارية، بما في ذلك مكونات SHA-512 و Ed25519.

استخدام الشبكة الرئيسية يتطلب ضوابط إضافية للأمن والحوكمة

تعمل ReclaimGlobal حاليا كنموذج أولي على شبكة الاختبار Preview، مع استمرار تطوير عدة ضوابط أمان مخصصة للإنتاج.

المفتاح المتحقق المستخدم في النشر الحالي تم إنتاجه عبر إعداد موثوق بمشغل واحد. ويذكر المستودع أن هذا النموذج مناسب لتطوير شبكة الاختبار وليس لنظام مسؤول عن أصول مستخدمين حقيقية.

يتطلب Groth16 عملية إعداد مُهيكلة لإنشاء مفاتيح الإثبات والتحقق. من الناحية النظرية، يمكن لمشارك يحتفظ بكل مواد الإعداد السرية أن يصنع أدلة غير صالحة تمر مع ذلك عبر التحقق.

لذلك يستخدم النموذج المقترح للإنتاج مراسم متعددة الأطراف يضيف فيها مساهمون مستقلون عشوائيتهم الخاصة ويدمرون أسرارهم الفردية. يوضح المستودع عملية تتضمن عشوائية عامة، ومحضر مساهمات منشورا، وتحققا مستقلا من المراسم المكتملة.

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

تشمل الأعمال الإضافية إكمال نظام حالة الصرف ومُبطِل المعاملات على السلسلة، وتعزيز حماية الترميز، وتحويل النموذج الأولي إلى تطبيق CIP-30 جاهز للإنتاج، والاستعانة بتدقيق خارجي كامل للدارة والعقد ومراسم الإعداد.

لقد أثبتت معاملات Preview أن Cardano يمكنه التحقق من دليل ملكية يحتوي على قيود بالملايين وإتمام دفعة الاسترداد ضمن معاملة واحدة. ويتوقف نقل النظام إلى بيئة الإنتاج الآن على إزالة الثقة بمشغل واحد ووضع قواعد شفافة للوصاية والأهلية وتفويض المطالبات.