تحليل الإنفاق المزدوج القائم على معدل الهاش في البيتكوين

جدول المحتويات

1. المقدمة

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

2. سلسلة الكتل واختيار الفرع

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

3. اللحاق بالركب

يُجسّد هذا القسم سيناريو الهجوم الأساسي: يحاول مهاجم يمتلك جزءاً q من إجمالي معدل الهاش في الشبكة تجاوز السلسلة الصادقة (ذات معدل الهاش p = 1 - q) بعد أن يتأخر عنها بمقدار z كتلة. يتم نمذجة العملية على أنها مشية عشوائية ثنائية الحدين. يتم اشتقاق احتمال أن يلحق المهاجم بالركب أبداً من عجز مقداره z كتلة على النحو التالي:

$P = \begin{cases} 1 & \text{if } q \ge p \\ (q/p)^z & \text{if } q < p \end{cases}$

تُظهر هذه النتيجة الأنيقة أنه بالنسبة لمهاجم يمتلك أقل من 50% من معدل الهاش (q < 0.5)، فإن احتمال النجاح يتناقص أُسياً مع عدد التأكيدات z.

4. انتظار التأكيدات

ينتقل التحليل إلى منظور التاجر: كم عدد التأكيدات (n) يجب أن ينتظرها المرء قبل اعتبار المعاملة آمنة؟ تحسب الورقة الاحتمال الذي يمكن أن ينجح فيه المهاجم بعد أن يرى التاجر n تأكيداً. يتضمن ذلك حساب احتمال أن يجد المهاجم n+1 كتلة قبل أن تجد الشبكة الصادقة n كتلة، مع الأخذ في الاعتبار السباق المستمر. تشكل الاحتمالات الناتجة الأساس لأعماق التأكيد الموصى بها.

5. الرسوم البيانية والتحليل

تقدم الورقة تحليلات بيانية ترسم احتمال نجاح الإنفاق المزدوج مقابل عدد تأكيدات التاجر (n) لمعدلات هاش مختلفة للمهاجم (q). تشمل الأفكار الرئيسية المصورة:

• بالنسبة لـ q=0.1 (10% من معدل الهاش)، يهبط احتمال النجاح إلى أقل من 0.1% بعد 5 تأكيدات فقط.
• بالنسبة لـ q=0.3، يتطلب الأمر حوالي 24 تأكيداً لتحقيق نفس مستوى الأمان.
• مع اقتراب q من 0.5، ترتفع التأكيدات المطلوبة بشكل كبير، مما يوضح عتبة هجوم "الـ 51%".

هذه الرسوم البيانية حاسمة لتقييم المخاطر ووضع سياسات تأكيد عملية.

6. اقتصاديات الإنفاق المزدوج

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

7. الاستنتاجات

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

8. الفكرة الأساسية ومنظور المحلل

الفكرة الأساسية: عمل روزنفيلد ليس مجرد رياضيات؛ إنه أول نموذج تسعير مخاطر صارم لطبقة التسوية في البيتكوين. يحول القاعدة البديهية لناكاموتو "أطول سلسلة" إلى اتفاقية مستوى خدمة أمنية قابلة للقياس، حيث يكون عمق التأكيد n هو القسط المدفوع لاحتمال نهائي محدد 1-P. هذا هو الأساس الذي تُبنى عليه جميع سياسات أمان منصات التبادل الحديثة.

التدفق المنطقي: تكمن العبقرية في تصوير الهجوم على أنه مشية عشوائية ثنائية الحدين – وهي عملية عشوائية كلاسيكية. من خلال نمذجة اكتشاف الكتل كعملية بواسون، يختزل روزنفيلد سباق التعدين الفوضوي المتوازي إلى مشكلة إفلاس مقامر أحادية البعد قابلة للحل. القفزة من القسم 3 (احتمال اللحاق) إلى القسم 4 (وقت انتظار التاجر) حرجة؛ فهي تربط قدرة المهاجم بسياسة المدافع.

نقاط القوة والضعف:
نقاط القوة: بساطة النموذج هي قوته. الحل المغلق $P = (q/p)^z$ قوي وسهل التفسير. كان التحليل الاقتصادي في القسم 6 متقدماً على عصره، متوقعاً بحث نظرية الألعاب الصارم لسلاسل الكتل الذي نراه اليوم في أماكن مثل مؤتمر ACM حول التطورات في التقنيات المالية (AFT).
نقطة ضعف حرجة: يفترض النموذج خصماً ثابتاً ذا q ثابت. فهو لا يأخذ في الاعتبار معدل الهاش الاستراتيجي المتقلب – مثل مهاجم يستأجر قدرة تعدين سحابية هائلة في دفعة قصيرة مستهدفة (هجوم "جولد فينجر")، وهو تهديد سلطت عليه الأضواء أبحاث لاحقة مثل ورقة "تجمع التعدين" لإيال وسيرير. كما يتجاهل زمن انتقال الشبكة واستراتيجيات التعدين الأنانية التي يمكن أن تزيد بشكل فعال من q الفعال للمهاجم.

رؤى قابلة للتنفيذ: 1. للمنصات: لا تستخدم رقم تأكيد واحد يناسب الجميع. استخدم صيغة روزنفيلد ديناميكياً. بالنسبة لإيداع بقيمة 100 دولار، قد تكفي 3 تأكيدات. بالنسبة لسحب بقيمة 10 ملايين دولار، تحتاج إلى عشرات التأكيدات، أو الأفضل من ذلك، الانتقال إلى سلسلة معززة بأداة نهائية. 2. لمصممي البروتوكولات: هذه الورقة هي الحجة الأساسية لـ إثبات الحصة (PoS). تكلفة الأمن الأُسية ((q/p)^z) في إثبات العمل قاسية اقتصادياً. تسعى أنظمة إثبات الحصة مثل كاسبر الخاص بالإيثيريوم، كما هو موثق في مواصفاتها البحثية، إلى استبدال هذه النهائية الاحتمالية بنهائية تشفيرية قابلة للعقاب، مما يغير حساب الهجوم بشكل جذري. 3. للتجار: الاستنتاج الحقيقي هو أنه بالنسبة للمدفوعات الفورية ذات القيمة الصغيرة (مثل القهوة)، فإن انتظار أي تأكيدات غير عملي. هذه الحقيقة الاقتصادية غذت مباشرة تطوير قنوات الدفع خارج السلسلة (شبكة البرق)، والتي تتجنب مشكلة روزنفيلد تماماً بنقل المعاملات خارج الطبقة الأساسية.

9. التفاصيل التقنية والإطار الرياضي

يعامل النموذج الأساسي اكتشاف الكتل على أنه محاولات مستقلة. ليكن p هو احتمال أن تجد السلسلة الصادقة الكتلة التالية، و q = 1-p للمهاجم. حالة النظام هي العجز z للمهاجم. الاحتمال p_z بأن يصل المهاجم أبداً إلى التعادل من عجز z يحقق علاقة التكرار المشتقة من مشكلة إفلاس المقامر:

$p_z = q \cdot p_{z-1} + p \cdot p_{z+1}$

مع الشروط الحدودية p_0 = 1 (التعادل يعني النجاح) و p_\infty = 0. حل هذا يعطي الحل المغلق $p_z = (q/p)^z$ لـ q < p.

بالنسبة لسيناريو التاجر مع n تأكيدات، فإن احتمال نجاح المهاجم هو احتمال قدرته على بناء سلسلة أطول من السلسلة الصادقة بدءاً من تأخير n كتلة. يتم حساب ذلك عن طريق جمع جميع سيناريوهات التقدم الممكنة عندما يبث التاجر المعاملة.

10. إطار التحليل: حالة مثال

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

1. تحديد المعاملات:
   • الحصة المقدرة لمعدل هاش المهاجم: q = 0.2 (20%). يمكن أن يعتمد هذا على بيانات تجمعات التعدين العامة.
   • القيمة المعرضة للخطر (مبلغ الإيداع): V = 500,000 دولار.
   • تحمل المخاطر للمنصة: الاحتمال المقبول للإنفاق المزدوج: $\epsilon = 0.001$ (0.1%).
2. تطبيق نموذج روزنفيلد: نحتاج إلى إيجاد أصغر n بحيث يكون احتمال الهجوم $P(n, q) \le \epsilon$. باستخدام الصيغة $P \approx \sum_{k=0}^{\infty} \frac{\lambda^k e^{-\lambda}}{k!} \cdot (q/p)^{n+1-k}$ لـ $k \le n+1$ (حيث $\lambda = n(q/p)$)، أو الرجوع إلى رسوم/جداول محسوبة مسبقاً.
3. الحساب/النتيجة: بالنسبة لـ q=0.2 و \epsilon=0.001، فإن التأكيدات المطلوبة n هي تقريباً 9.
4. قرار السياسة: تحدد المنصة متطلبات التأكيد لهذا الأصل على 9 كتل. لزمن كتلة قدره 10 دقائق، يعني هذا فترة احتجاز للإيداع مدتها 90 دقيقة، موازنةً بين الأمان وتجربة المستخدم.

11. التطبيقات المستقبلية واتجاهات البحث

• سياسات التأكيد الديناميكية: دمج بيانات معدل الهاش في الوقت الفعلي وقيمة مجمع الذاكرة لضبط n ديناميكياً، وإنشاء محرك تأكيد "حساس للمخاطر".
• الأمان عبر السلاسل: تطبيق النموذج لتقييم أمان الجسور بين سلاسل الكتل والمعاملات عبر السلاسل، حيث قد تمتد القيمة الاقتصادية المعرضة للخطر عبر سلاسل متعددة ذات قيم q مختلفة.
• اعتبارات ما بعد الكم: البحث في كيف يمكن أن يؤثر ظهور الحوسبة الكمومية على تكلفة تنفيذ هجوم 51% (عن طريق كسر خوارزميات التعدين) وإعادة معايرة معامل q في نماذج الأمان.
• التكامل مع MEV (القيمة القابلة للاستخراج القصوى): غالباً ما تكون هجمات الإنفاق المزدوج الحديثة مكونات لاستراتيجيات MEV أكثر تعقيداً. يجب أن تأخذ النماذج المستقبلية في الاعتبار الربح الإضافي الذي يمكن للمهاجم استخراجه من إعادة ترتيب الكتل أو حجبها، إلى جانب مبلغ الإنفاق المزدوج فقط.

12. المراجع

1. Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
2. Rosenfeld, M. (2014). Analysis of Hashrate-Based Double-Spending. arXiv:1402.2009.
3. Eyal, I., & Sirer, E. G. (2014). Majority is not Enough: Bitcoin Mining is Vulnerable. International Conference on Financial Cryptography and Data Security.
4. Buterin, V., & Griffith, V. (2017). Casper the Friendly Finality Gadget. arXiv:1710.09437.
5. Gervais, A., Karame, G. O., Wüst, K., Glykantzis, V., Ritzdorf, H., & Capkun, S. (2016). On the Security and Performance of Proof of Work Blockchains. ACM SIGSAC Conference on Computer and Communications Security.