تحليل هجوم رفض التعبئة على مجمع التعدين لآلة أوراكل NEST

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

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

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

تحليل عملية الهجوم

افترض أن جميع الأعضاء المشاركين في التعدين هم مجمع التعدين (يمكن اعتبار المنجم الفردي أيضًا مجمع تعدين صغير) ، وكل مجمع تعدين لديه نسبة قوة حوسبة مختلفة ، وهم يعرفون هذه المعلومات عن بعضهم البعض.

1. إعداد الهجوم: يقوم مجمع التعدين الضار بتجميع العملات المشفرة المستخدمة في التحكيم مسبقًا من خلال قروض سريعة وغيرها من الوسائل.

2. تقديم عرض خبيث: يقدم مجمع التعدين عرضاً لـ NEST يختلف بشكل كبير عن السعر الحقيقي في السوق.

3. لعبة التحقق: خلال فترة التحقق، تواجه جميع مجمعات التعدين خيارين - تجميع معاملات عرض التصحيح أو تجاهل تلك المعاملات. هذا يشكل لعبة ثابتة متعددة الأطراف ذات معلومات كاملة.

4. اتخاذ القرار في الألعاب: يقوم مجمع التعدين باتخاذ قرارات بناءً على نسبة قوته الحسابية و مقارنة العوائد المحتملة. لنفترض أن العائد الفوري من تعديل السعر هو a، بينما العائد من عدم التعديل والربح بعد تأكيد السعر هو b (عادةً ما يكون b > a).

5. حساب العائد:

   • اختر سعر التصحيح: Pia (Pi هي نسبة قوة الحوسبة لمجمع التعدين)
   • اختيار عدم التصحيح: Pib * Pn (Pn هو احتمال عدم ظهور أي تعديل في الأسعار لجميع كتل فترة التحقق)

6. توازن ناش: يقوم مجمع التعدين بتعديل العرض بناءً على نسبة قوة الحوسبة ونسبة العائد، للوصول في النهاية إلى حالة توازن ناش.

!

ملخص

قد تؤدي مجمع التعدين بفضل مزايا قوة الحوسبة إلى تأخير أو عرقلة تصحيح الأسعار، مما يتيح الاستفادة من آلة أوراكل NEST لتحقيق الأرباح. هذه ليست فقط تحديات تواجه NEST، بل تعكس أيضًا تأثير ظاهرة مجمع التعدين على مفهوم اللامركزية في blockchain. كيف يمكن معالجة المشكلات الناجمة عن مجمع التعدين بشكل فعال، هو تحدٍ مهم في عملية تحقيق اللامركزية الحقيقية.

!