Hydra تصلح ثغرة أمنية في طبقة Cardano الثانية

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

Hydra هو بروتوكول التوسع للطبقة الثانية في Cardano، صمم لمعالجة المعاملات خارج السلسلة بزمن استجابة منخفض قبل تسوية الحالة الناتجة على السلسلة الرئيسية لـ Cardano.

الثغرة أثرت في معاملات Hydra Head

Hydra Head هو بيئة خارج السلسلة يلتزم فيها المشاركون بـ Cardano UTxOs ويعالجون المعاملات دون تسجيل كل عملية مباشرة على الطبقة 1.

سمحت الثغرة لمعاملة غير صالحة بالدخول إلى مجموعة المعاملات الداخلية في Hydra قبل إكمال عملية التحقق المطلوبة.

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

يصنف الإشعار هذه الثغرة على أنها حرجة.

تصحيح Hydra يغير آلية التحقق من المعاملات

التصحيح يغير طريقة تخزين Hydra للمعاملات من أجل معالجتها لاحقا.

يتم الاحتفاظ بالمعاملات الآن فقط بعد نجاح التحقق، ما يمنع معاملة غير صالحة من الوصول إلى مسار اللقطة المتأثر.

تعد إصدارات Hydra حتى 2.4.0 عرضة للثغرة، بينما يحتوي الإصدار 2.4.1 على الإصلاح.

يتطلب الهجوم مشاركة داخل Hydra Head المتأثر. ولا يمثل اختراقا لإجماع الطبقة 1 في Cardano ولا يسمح لمهاجم خارجي بالسيطرة مباشرة على شبكة Cardano.

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

Hydra توسع التحقق والاختبارات

يأتي الإفصاح بينما يتواصل تطوير Hydra على صعيد المواصفات الرسمية والاختبارات وأدوات التشغيل.

يفيد تقرير تطوير Cardano بتاريخ 4 سبتمبر بأن مواصفة Hydra يجري تقنينها في Agda وأن الفريق أضاف اختبارات تفاضلية بين عقدة Hydra والمحقق الخاص بها، إلى جانب مرجع متحقق منه آليا.

تشمل التحديثات أيضا العمل على سلامة النصوص البرمجية ومعالجة قيم UTxO واتساق مؤشرات القياس واختبارات الخصائص على نطاق أوسع، مع إضافة صور عقدة Hydra الأصلية لـ Linux ARM64 إلى جانب دعم AMD64.

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

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