Charles Hoskinson يوضح نموذج أمان جسر Cardano باستخدام إثباتات Midnight ZK

Charles Hoskinson اقترح نموذج أمان جديداً لجسور Cardano عقب استغلال Wanchain الذي شمل Cardano و BNB Chain. في فيديو السبورة الخاص به، “Getting Bridges back on Track”، أوضح كيف يمكن لإثباتات Midnight ZK والتفويض الطبقي والقواطع التلقائية أن تقلل من مخاطر هجمات الجسور في المستقبل.

كشف استغلال Wanchain أربع مساحات لهجوم الجسر

الحادثة المبلغ عنها سابقاً في جسر Wanchain شملت مغادرة ما يقارب 515 مليون من رموز $NIGHT جانب Cardano من خزينة الجسر قبل أن تصل معظم السيولة إلى منصات Cardano اللامركزية. لم يتعرض بروتوكول Midnight ولا شبكة المدققين الخاصة به ولا الأصل الأصلي على Cardano للاختراق.

تطرق Hoskinson أيضاً إلى الدعوات لإعادة معروض cNIGHT إلى حالته السابقة. وقال إن الرموز قد وُزعت بالفعل كأصول أصلية على Cardano، مما يترك Midnight و Input Output من دون آلية مركزية لعكس ملكية الرموز المحتفظ بها في محافظ المستخدمين.

وفقاً للنموذج الموصوف في الفيديو، يقوم المستخدمون بقفل تمثيل $NIGHT على Cardano قبل استلام أصل مغلف مقابل على BNB Chain. ويتطلب استرجاع الأصل تدمير الرموز المغلفة قبل أن يمكن فتح قفل الرموز الأصلية على Cardano.

حدّد Hoskinson أربع مساحات هجوم منفصلة في تلك العملية: عقد Plutus على Cardano، وعقد Solidity على BNB Chain، وبنية Cardano التحتية خارج السلسلة، وبنية BNB Chain التحتية خارج السلسلة. قد يؤدي فشل أي مكوّن إلى تأكيدات زائفة أو تفويض غير صالح أو إطلاق غير مصرح به للرموز.

وأضاف أن الجسور يمكنها التحقق من أمور تتجاوز تحويلات الأصول. فقد تثبت أيضاً حالة المعاملة وعضوية UTxO وأحداث السك والحرق والتفويض والمكافآت ومخرجات السكربت وإجراءات الحوكمة. وقد سرد عرضه 42 فئة من ادعاءات حالة Cardano الممكنة و 52 فئة لـ Midnight.

سيزيل نموذج Midnight ZK مشغّل الجسر

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

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

Midnight هي سلسلة شريكة لـ Cardano تركز على الخصوصية وتدعم تطبيقات تجمع بين الحالة العامة والخاصة وإثباتات عديمة المعرفة والكشف الانتقائي. لغة Compact الخاصة بها مصممة لتمكين مطوري TypeScript من بناء تطبيقات داعمة لـ ZK من دون تنفيذ التشفير الأساسي مباشرة.

اقترح Hoskinson الجمع بين تحقق ZK ونظام تواقيع العتبة. لن تمضي معاملة قدماً إلا عندما توافق كل من الآليتين عليها. وقد يوقف فشل أي من الطبقتين عمل الجسر، بينما تواصل الطبقة الثانية حماية الأصول المقفلة من الإطلاق غير المصرح به.

تشمل الأسس التقنية ورقة بحثية بعنوان “Crossing with Confidence: Formal Analysis and Model Checking of Blockchain Bridges”، التي تحدد خصائص الأمان عبر عدة معماريات للجسور وتختبرها. ولم يعلن Hoskinson عن فريق تطوير أو موعد إصدار أو اكتمال جسر ZK بين Cardano و Midnight.

Cardano Pub/Sub و Midnight Passport يوسّعان نموذج الأمان

وصف Hoskinson أيضاً نظام تنبيه على مستوى Cardano لاحتواء الهجمات بعد اكتشافها. يمكن للبورصات اللامركزية وبروتوكولات الإقراض والمحافظ والبورصات المركزية ومشغّلي الجسور الاشتراك في قنوات أمنية موثوقة عبر شبكة نشر واشتراك.

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

وضع Hoskinson بنية Pub/Sub التحتية ضمن أولويات Cardano لعام 2027، عقب تحقيق مزيد من التقدم على Ouroboros Leios. وقد نشرت Input Output سابقاً نموذجاً أولياً تجريبياً لـ Cardano Pub/Sub، وأُرشِف في 17 يوليو مع إشعار بأن التطوير انتقل إلى مستودع جديد.

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

ربط Hoskinson تلك العملية بـ Midnight Passport وبالكشف الانتقائي. وتصف وثائق Midnight منتج Passport بأنه محفظة استهلاكية معلنة بلا بذور بمفاتيح مقيمة على العتاد واسترداد بمساعد موثوق. وفي النموذج المقترح، يمكنه أيضاً ربط محفظة بمالكها بشكل خاص وبتفويض قبعة بيضاء وبوثيقة تأمين.

أبحاث الجسور الرسمية والعمل التجريبي على Pub/Sub متاحان بالفعل للعامة. أما جسر ZK وقواطع الإنتاج ونظام ترخيص القبعات البيضاء ونموذج التأمين المعتمد على Passport فما تزال مكونات مقترحة من دون جداول تنفيذ منشورة.