Game-Theoretic Analysis of Transaction Selection in DAG-Based Distributed Ledgers

ملخص تقني: تحليل نظريات الألعاب لاختيار المعاملات في سجلات التوزيع القائمة على الرسم البياني الموجه غير الدوري (DAG)

بيان المشكلة
في تقنيات السجلات الموزعة القائمة على الـ DAG، يقترح العديد من المصدقين (validators) كتلًا بشكل متزامن لتحسين الإنتاجية. ومع ذلك، يفرض هذا التوازي تحديًا يتمثل في تصادم المعاملات، حيث يختار عدة مصدقين نفس المعاملة، مما يؤدي إلى عدم الكفاءة لأن الإدراج المتكرر لا يزيد من المنفعة الإجمالية للنظام. تعتمد الأنظمة الحالية غالبًا على استدلالات بدائية لاختيار المعاملات، مثل الاختيار الموحد أو التناسبي، دون تحليل دقيق لما إذا كانت هذه الاستراتيجيات تشكل توازنات ناش (Nash equilibria) تحت آليات محددة لتخصيص الرسوم. إن التفاعل بين نماذج توزيع الرسوم وحوافز المصدقين في بيئة لامركزية وغير تعاونية لا يزال غير مدروس بعمق. تعالج هذه الورقة هذه الفجوة من خلال اشتقاق توازنات ناش المختلطة المتماثلة لاستراتيجيات اختيار المعاملات تحت آليتين مختلفتين لتخصيص الرسوم وتقييم أدائهما مقابل المعايير المرجعية البدائية.

المنهجية
يعمل المؤلفون على نمذجة عملية اختيار المعاملات كعبة أحادية الجولة (نموذج قاصر/myopic model) تتضمن $N$ من المصدقين ومجموعة محدودة من $m$ من المعاملات ذات الرسوم المتفاوتة. يختار كل مصدق مجموعة فرعية مكونة من $b$ من المعاملات لإدراجها في كتلته. تركز الدراسة على آليتين لتخصيص الرسوم:

1. التخصيص العشوائي للرسوم (RFA): إذا قام عدة مصدقين بإدراج معاملة ما، يتم تخصيص الرسم عشوائيًا لواحد منهم فقط. وتعد هذه الآلية نموذجية لأنظمة إثبات العمل (PoW) ذات الترتيب الكلي (مثل GHOSTDAG).
2. المشاركة التعاونية للرسوم (CFS): إذا أدرج مصدق واحد على الأقل معاملة ما، يتم توزيع الرسم بالتساوي بين جميع المصدقين الـ $N$. وهذه الآلية أكثر شيوعًا في البروتوكولات الشبيهة بـ (BFT).

يستخدم المؤلفون إطار عمل نظريات الألعاب لاشتقاق توازنات ناش المتماثلة. يقومون أولاً بوضع نتيجة نظرية عامة (النظرية IV.1) تتميز بدالة متناقصة تمامًا $f(p)$ تمثل الحصة المتوقعة من المكافآت. وإدراكًا منهم أن عكس $f(p)$ مباشرةً في حالة RFA يعد أمرًا مكلفًا حاسوبيًا، تقترح الورقة نهجًا فعالًا قائمًا على التحسين باستخدام شروط كاروش-كون-تاكر (KKT). يحول هذا النهج اشتقاق التوازن إلى مسألة تحسين محدبة يمكن حلها عبر طريقة التدرج المتجه المسقط (projected gradient descent).

يتم تقييم أداء التوازنات المستمدة عددياً مقابل معيارين مرجعيين بدائيين:

• الاختيار العشوائي للمعاملات (Rts): الاختيار الموحد.
• الاختيار التناسبي للمعاملات (PTS): احتمالية الاختيار تتناسب طرديًا مع رسوم المعاملة.

المقاييس تشمل إنتاجية المعاملات الفعالة (العدد المتوقع للمعاملات الفريدة المدرجة) وإنتاجية الرسوم الفعالة (إجمالي المكافآت المتوقعة التي تم جمعها). تستخدم المحاكاة توزيع رسوم يشبه "زيبف" (Zipf-like) لنمذجة هياكل الرسوم الملتوية.

المساهمات الرئيسية

1. اشتقاق توازنات ناش المتماثلة: توفر الورقة أول اشتقاق صريح لتوازنات ناش المختلطة المتماثلة لكل من نموذجي RFA وCFS في لعبة اختيار معاملات أحادية الجولة.
2. طريقة حساب فعالة: يقدم المؤلفون إطار عمل للتحسين المحدب باستخدام شروط KKT لحساب هذه التوازنات بكفاءة، متجاوزين الصعوبة الحسابية لطرق العكس المباشر، خاصة في نموذج RFA.
3. تحليل الأداء المقارن: تُظهر المحاكاة العددية أن توازن آلية المشاركة التعاونية للرسوم (CFS-NE) يحقق باستمرار إنتاجية رسوم أعلى ومكافآت أكبر مقارنة بتوازن آلية التخصيص العشوائي للرسوم (RFA-NE)، خاصة تحت توزيعات الرسوم الملتوية.
4. معايرة الاستراتيجيات البدائية: يكشف التحليل أنه بينما يعد استدلال (PTS) أمثلًا لإنتاجية الرسوم، فإن هيئة الاختيار التناسبي (PTS) غالبًا ما تتفوق على RFA-NE من حيث المكافآات. وفي السيناريوهات التي لا يكون فيها CFS متاحًا (مثل أنظمة PoW غير المصرح بها)، يعمل PTS كبديل قوي يمكنه الاقتراب من أداء توازن RFA.

النتائج
تؤدي التقييمات العددية تحت متغيرات مختلفة (عدد المعاملات، الحد الأقصى للرسوم، والتواء الرسوم) إلى الرؤى التالية:

• إنتاجية الرسوم: يحقق توازن CFS باستمرار أقصى إنتاجية للرسوم عبر جميع السيناريوهات المختبرة. كما يؤدي استراتيجية PTS أداءً جيدًا، متفوقًا بشكل كبير على توازن RFA. وعلى العكس من ذلك، غالبًا ما يسفر توازن RFA عن إنتاجية رسوم أقل حتى من استراتيجية التوزيع الموحد (RTS).
• إنتاجية المعاملات: يوجد مقايضة بين تعظيم الرسوم وتنوع المعاملات. تحقق الاستراتيجية الموحدة (RTS) أعلى إنتاجية معاملات فعالة من خلال تقليل التصادمات عبر توزيع الاحتمالات بشكل متساوٍ. ومع ذلك، يأتي هذا على حساب انخفاض إنتاجية الرسوم. أما توازن CFS، فبينما يعظم الرسوم، فإنه يؤدي إلى أدنى إنتاجية معاملات فعالة لأن المصدقين يركزون على المعاملات ذات الرسوم العالية، مما يؤدي إلى معدلات تصادم أعلى لتلك العناصر المحددة.
• تأثير الالتواء: مع زيادة التواء توزيعات الرسوم (زيادة معامل زيبف)، تتسع فجوة الأداء. يحافظ كل من CFS وPTS على إنتاجية رسوم فائقة، بينما يعاني RFA، مما يسلط الضوء على عدم كفاءته في التعامل مع هياكل الرسوم المتنوعة.

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

على وجه التحديد، تشير الدراسة إلى ما يلي:

• آلية CFS متفوقة من حيث الإيرادات: إذا كان الهدف الأساسي هو تعظيم إيرادات الرسوم، فإن CFS مع استراتيجية التوازن المقابلة لها هي الآلية الأكثر فعالية.
• آلية RFA تعاني من عدم كفاءة متأصلة: تؤدي آلية RFA، الشائعة في أنظمة PoW، إلى توازنات يمكن التفوق عليها بواسطة استدلالات بسيطة مثل الاختيار التناسبي، مما يشير إلى عدم توافق بين الحوافز الفردية والرفاهية الجماعية في مثل هذه التصاميم.
• الاستدلالات العملية: بالنسبة للبروتوكولات التي لا يكون فيها تطبيق CFS متاحًا (مثل غياب مجموعة المصدقين المعروفة في البيئات غير المصرح بها)، يوفر الاختيار التناسبي استدلالًا قيمًا يقترب من أداء توازن RFA دون الحاجة إلى حساب توازن معقد.

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