ملخص تقني: المشتريات العدائية في سلاسل الكتل (Blockchain)

بيان المشكلة

تتناول الورقة البحثية تحدي المشتريات العدائية (Adversarial Procurement) في بروتوكولات سلاسل الكتل، وتحديداً في سياق التصميمات الناشئة التي تستفيد من عدم التماثل الحسابي بين مهام التنفيذ والتحقق (مثل براهين المعرفة الصفرية، أو SNARKs). في هذه الأنظمة، يجب على البروتوكول إسناد مهام حسابية مكلفة (مثل إنشاء برهان صلاحية لكتلة ما) إلى مجموعة من $n$ من مقدمي البراهين (Provers) مجهولي الهوية وغير الموثوقين.

تتمثل المشكلة الجوهرية في تصميم آلية تحقق من:

1. تحفيز مقدم برهان واحد على الأقل للقيام بالمهمة (لضمان حيوية النظام - Liveness).
2. تقليل الخسارة الاقتصادية في أسوأ السيناريوهات حيث يكون ما يصل إلى $n-h$ من مقدمي البراهين عدائيين (Byzantine) وقد ينحرفون عن البروتوكول للتسبب في خطأ في الحيوية (عدم تسليم البرهان) أو استحثاث دفع مبالغ زائدة.
3. العمل دون ثقة، حيث لا يمتلك مقدمو البراهين سمعة ولا يمكنهم الالتزام بشكل موثوق بالأفعال المستقبلية.

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

المنهجية

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

• الإعداد: يوجد $n$ من مقدمي البراهين، منهم $h$ صادقون. تكلفة إنشاء البرهان معيرة لتكون 1. إذا لم يتم إنتاج برهان، يتحمل البروتوكول جزاء الحيوية $C$.
• نموذج الخصم: يمكن للخصم إفساد ما يصل إلى $a = n-h$ من مقدمي البراهين. يراقب الخصم الآلية ويختار السلوك الأسوأ (إما رفض تسليم البراهين لتفعيل الجزاء $C$، أو تسليم البراهين للتلاعب بالمدفوعات).
• الهدف: تقليل الخسارة في أسوأ الحالات $\ell(p, s)$، والمعرّفة بأنها التكلفة الإجمالية المتوقعة (المدفوعات + الجزاء) في ظل الاستراتيجية العدائية الأسوأ، مع مراعاة القيد بأن تكون الآلية متوافقة مع الحوافز (أي أن مقدمي البراهين الصادقين يعظمون منفعتهم باتباع البروتوكول).

لجعل المشكلة قابلة للحل، قام المؤلفون بـ:

1. اشتقاق دالة الحد الأدنى $g(s)$ للخسارة المثلى للبروتوكول، والمعلمة بمتجه الاستراتيجية $s$ (احتمالية قيام كل مقدم برهان بتسليم برهان). يفترض هذا الحد خصماً "مضعفاً" يختار بين استراتيجيتين متطرفتين: العمل بنزاهة كاملة أو الرفض الكامل لتسليم البرهان.
2. تحليل القيم الصغرى لهذا الحد الأدنى، وتوصيفها إما كـ توازنات لجنة موحدة محددة (قائد حتمي واحد + لجنة من العشوائيين) أو توازنات لجنة متماثلة (لجنة من العشوائيين بدون قائد محدد).
3. التحقق من قابلية التنفيذ: تحديد ما إذا كانت هناك قاعدة دفع تحفز هذه التوازنات مع تحقيق الحد الأدنى من التكلفة.
4. توسيع التحليل ليشمل المدفوعات السلبية (الخسارة/الرهان - Slashing/Staking)، حيث يضع مقدمو البراهين ضمانات يمكن مصادرتها إذا اكتشف البروتوكول هجوماً.

المساهمات والنتائج الرئيسية

1. توصيف التوازنات المثلى

تثبت الورقة أن القيم الصغرى للحد الأدنى $g(s)$ تنحصر حصرياً في نوعين:

• التوازنات المحددة (Designated Equilibria): يتم تعيين مقدم برهان واحد لتسليم البرهان باحتمالية 1، بينما تقوم لجنة بحجم $k$ بالتسليم باحتمالية $s \in (0, 1)$.
• التوازنات المتماثلة (Symmetric Equilibria): تقوم لجنة بحجم $k$ بالتسليم باحتمالية $s$، ولا يوجد مقدم برهان واحد محدد.

2. ضمانات التقريب

• تقريب إضافي بمقدار 1 (Additive 1-Approximation): يثبت المؤلفون أنه لأي قاعدة دفع وتوازن، يوجد توازن محدد تكون خسارته لا تزيد عن وحدة واحدة (تكلفة برهان واحد) عن الخسارة المثلى (النظرية 3.1).
• قابلية التنفيذ: جميع التوازنات المحددة قابلة للتنفيذ باستخدام قاعدة دفع بسيطة (التمهيدية 3.4). في المقابل، التوازنات المتماثلة قابلة للتنفيذ فقط في ظل شروط محددة (على سبيل المثال، عندما يكون $C$ كبيراً بما يكفي بالنسبة لـ $n$ و $h$)، وغالباً ما تتطلب هياكل دفع معقدة أو مدفوعات سلبية لتكون مجدية.

3. التوسع التقاربي (Asymptotic Scaling)

• التوسع اللوغاريتمي: تتوسع الخسارة في أسوأ الحالات للتوازن المحدد الأمثل كـ $O(\frac{\log C}{\tau})$، حيث $\tau = h/n$ هو كسر مقدمي البراهين الصادقين. يشير هذا إلى أنه حتى مع وجود نسبة ثابتة من الخصوم، فإن تكلفة البروتوكول تنمو لوغاريتمياً فقط مع شدة جزاء الحيوية $C$.
• تأثير الرهان (Staking): يؤدي إدخال إجمالي الرهان $B$ (الضمان) إلى تحسين التوسع بشكل كبير. إذا كان $B$ يتناسب مع $C$، فإن الخسارة تتوسع كـ $O(1/\tau)$، لتصبح فعلياً ثابتة بالنسبة لـ $C$.

4. ديناميكيات الانتقال

تحلل الورقة الانتقال بين المثالية المحددة والمتماثلة كدالة لـ $C$ (مقدار الجزاء) و $\tau$ (نسبة النزاهة).

• بالنسبة لـ $C$ الصغيرة أو $\tau$ العالية، تكون الآلية المحددة هي المثلى.
• بالنسبة لـ $C$ الكبيرة جداً، تصبح الآلية المتماثلة هي المثلى في تحليل الحد الأدنى.
• ومع ذلك، وبسبب قيود قابلية التنفيذ، تظل الآلية المحددة هي الخيار العملي غالباً حتى في الأنظمة التي يكون فيها الحد الأدنى المتماثل أقل، لأن الحل المتماثل قد يتطلب مدفوعات سلبية غير قابلة للتنفيذ أو معقدة.

الأهمية والتوصيات العملية

تجادل الورقة بأن النتائج النظرية توفر توجيهات عملية لمصممي بروتوكولات سلاسل الكتل، وخاصة لـ zk-EVM (آلة إيثيريوم الافتراضية ذات المعرفة الصفرية) وأسواق التفويض الأخرى القابلة للتحقق.

• التوصية: يوصي المؤلفون بشدة بتبني توازن اللجنة الموحدة المحددة الأمثل. هذا التصميم يعين "قائداً" (أو عاملاً رئيسياً) لإنتاج البرهان بشكل حتمي، مدعوماً بلجنة من "الاحتياطيات" التي تنتج البراهين باحتمالية محسوبة $s$.
• التبرير:
  1. البساطة: قاعدة الدفع بديهية وتشبه آليات الإجماع الحالية (مثل الإجماع القائم على القائد مع لجان التصديق).
  2. القرب من المثالية: الخسارة لا تزيد عن تكلفة برهان واحد عن المثالية النظرية، وهو أمر ضئيل بالنظر إلى تكاليف الإثبات الحالية (التي غالباً ما تكون أجزاءً من الدولار).
  3. المتانة: تتعامل بفعالية مع السلوك العدائي في أسوأ الحالات، وتتوسع لوغاريتمياً مع الجزاء $C$.
  4. الجدوى: على عكس الآليات المتماثلة التي قد تتطلب مدفوعات معقدة بنظام اليانصيب أو مدفوعات سلبية (الخسارة) لتكون مثالية، فإن الآليات المحددة قابلة للتنفيذ دائماً باستخدام مدفوعات إيجابية.

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