💻 computer science

Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay

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

المؤلفون الأصليون: Christopher Blake, Chen Feng, Xuechao Wang, Qianyu Yu

نُشر 2026-04-16

📖 5 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Christopher Blake, Chen Feng, Xuechao Wang, Qianyu Yu

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

إليك شرح لورقة البحث "الإثبات الصارم والمعمم لأمن بروتوكول بيتكوين مع تأخير الشبكة المحدود"، مترجمة إلى لغة بسيطة وسهلة الاستخدام باستخدام التشبيهات.

الصورة الكبيرة: السباق نحو السجل العظيم

تخيل بيتكوين كأنها لعبة عالمية ضخمة لبناء أعلى برج من قطع الليجو.

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

تسأل الورقة سؤالاً حاسماً: هل يمكن للمبنين الصادقين دائماً الفوز والاستمرار في بناء برجهم للأبد، حتى لو حاول الشخص السيئ تأخير طوبهم؟

الخريطة القدلة المعيبة مقابل نظام الـ GPS الجديد

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

الخطأ القديم: اعتقد الباحثون السابقون أن السباق بين البرج الصادق وبرج الشخص السيئ يشبه شخصاً مخموراً يمشي في خط مستقيم ("السير العشوائي" أو Random Walk). افترضوا أنه إذا كان المعدنون الصادقون أسرع قليلاً في المتوسط، فإنهم سيتفوقون في النهاية.
واقع التحقق: أثبت مؤلفو هذه الورقة أن هذا خطأ. السباق ليس مجرد سير عشوائي بسيط لأن "الشخص المخمور" (الشخص السيئ) يمكنه رؤية تحركات المعدنين الصادقين والاستجابة لها فوراً، بينما يظل المعدنون الصادقون عالقين في انتظار طوبهم المتأخر. الحسابات الرياضية لم تكن متطابقة.

الإصلاح: ابتكر المؤلفون طريقة جديدة للنظر إلى السباق. بدلاً من تتبع كل قطعة طوب، نظروا إلى "الفترات المنقطعة" (Punctured Intervals).

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

"كتلة ناكاموتو": الطوبة التي لا تتزعزع

يعتمد جوهر الإثبات على إيجاد نوع خاص من الطوب يسمى "كتلة ناكاموتو" (Nakamoto Block).

تخيل أن المعدنين الصادقين يبنون برجاً. في بعض الأحيان، تحدث لحظة حيث:

يضع أحد المعدنين الصادقين قطعة طوب.
لا يضع أي معدن صادق آخر أي قطعة طوب لفترة من الوقت قبلها أو بعدها (إنها قطعة "وحيدة").
الشخص السيئ يفشل أيضاً في وضع أي قطع طوب في تلك النافذة الزمنية المحددة.

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

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

تثبت الورقة أنه طالما أن سرعة المعدنين الصادقين (حتى مع التأخير) أسرع من سرعة الشخص السيئ، فإن هذه "كتل ناكاموتو" ستستمر في الظهور إلى ما لا نهاية.

حجة "التمكين الذاتي": كيف تربح اللعبة الطويلة

قد تسأل: "حسناً، قطعة واحدة آمنة. ولكن ماذا لو حال الشخص السيئ دون تقدمنا لفترة طويلة؟"

يستخدم المؤلفون "حجة التمكين الذاتي" (Bootstrap Argument) (مثل رفع نفسك من رباط حذائك).

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

القاعدة الذهبية (حد الأمان)

تحدد الورقة "منطقة أمان" بسيطة:

$\lambda_h$ (سرعة الصادقين): مدى سرعة بناء المعدنين الصادقين، حتى عندما يؤخرهم الشخص السيئ.
$\lambda_a$ (سرعة الشخص السيئ): مدى سرعة بناء الشخص السيئ.

الحكم:

إذا كانت سرعة الصادقين > سرعة الشخص السيئ ( $\lambda_h > \lambda_a$ ): النظام آمن. السلسلة الصادقة ستفوز دائماً، ولا يمكن للشخص السيئ إعادة كتابة التاريخ.
إذا كانت سرعة الشخص السيئ > سرعة الصادقين ( $\lambda_a > \lambda_h$ ): النظام غير آمن. يمكن للشخص السيئ ببساطة بناء برج سري وكشفه عندما يصبح أطول، مما يؤدي للسيطرة على الشبكة بنسبة 100%.

ملخص للقارئ العادي

هذه الورقة هي "فحص سلامة" صارم لبروتوكول بيتكوين.

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

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

إليك ملخص تقني مفصل للورقة البحثية بعنوان: "إثبات صارم ومعمم لأمن بروتوكول بيتكوين مع تأخير الشبكة المحدود."

1. بيان المشكلة

تتناول الورقة البحثية الإثبات الأمني الصارم لبروتوكول بيتكوين تحت نموذج تأخير الشبكة المحدود ( $\Delta$ -bounded delay)، حيث يمكن للمهاجم تأخير إرسال الكتل لمدة تصل إلى $\Delta$ .

بينما حاولت أعمال سابقة (تحديداً [7] و [8]) إثبات أمن بيتكوين في هذا النموذج، حدد المؤلفون عيوباً ونقاط ضعف حرجة:

افتراض خاطئ في [7]: يفترض الإثبات في [7] بشكل غير صحيح أن الفرق بين طول سلسلة المهاجم وطول السلسلة الأمينة يتبع مساراً عشوائياً (random walk). ويقدم المؤلفون مثالاً مضاداً يوضح أن هذه العملية ليست مساراً عشوائياً بسبب التبعيات في أوقات وصول الكتل.
التعقيد والافتقار إلى الدقة في [8]: وُصف الإثبات البديل في [8] بأنه طويل، وغير بديهي، ويفتقر إلى تعريفات دقيقة للمتغيرات المستخدمة في حججه الإرغودية (ergodic arguments).
النطاق المحدود: تفترض الإثباتات الحالية عموماً درجات موحدة للكتل (بيتكوين القياسية). وهي لا تتوسع بسهولة لتشمل البروتوكولات التي تسمح بأنواع مختلفة من الكتل ذات قيم (درجات) متفاوتة، مثل بروتوكول "Merged Bitcoin" المقدم في ورقة بحثية مرافقة.

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

2. المنهجية والنموذج

يقترح المؤلفون نموذجاً معمماً ونهجاً رياضياً جديداً لحل الأخطاء في الأعمال السابقة.

أ. نموذج البروتوكول المعمم

درجات الكتل المتغيرة: على عكس بيتكوين القياسية حيث يكون لكل كتلة درجة قدرها 1، يسمح هذا النموذج للمعدنين (سواء الأمناء أو المهاجمين) بتعدين أنواع مختلفة من الكتل، لكل منها درجة محددة $c_i > 0$ .
قاعدة اختيار الفرع (Fork-Choice Rule): يقوم المعدنون بتوسيع السلسلة ذات الدرجة الإجمالية الأعلى.
نموذج الشبكة: يُستخدم نموذج التأخير المحدود بـ $\Delta$ . يمكن للمهاجم تأخير الكتل الأمينة لمدة تصل إلى $\Delta$ وتأخير كتل الخاصة به بشكل تعسفي قبل البث، ولكن بمجرد البث إلى عقدة أمينة واحدة، يكون التأخير إلى العقد الأخرى محدوداً بـ $\Delta$ .

ب. التعريفات الرئيسية

السلسلة الأمينة المتأخرة بالكامل ( $T_h$ ): سلسلة افتراضية حيث يتم تأخير جميع الكتل الأمينة بالحد الأقصى للزمن $\Delta$ ولا توجد كتل مهاجمة.
فترة ناكاموتو (Nakamoto Interval): فترة زمنية بطول $2q$ $2 q$ متمركزة عند $\tau_q$ $τ_{q}$ تحتوي على كتلة أمينة واحدة بالضبط ("الكتلة الوحيدة" أو loner) بحيث:
1. لا توجد كتل أمينة أخرى في الفترة الممتدة $[\tau_q - q - \Delta, \tau_q + q + \Delta]$ .
2. لا توجد كتل مهاجمة في $[\tau_q - q - 2\Delta, \tau_q + q + 2\Delta]$ .
3. السلسلة الأمينة تهيمن على سلسلة المهاجم في الماضي (الحدث $E_1$ ) والمستقبل (الحدث $E_2$ ) بالنسبة لهذه الفترة.
كتلة ناكاموتو (Nakamoto Block): الكتلة الأمينة التي تصل ضمن فترة ناكاموتو. تثبت الورقة أن هذه الكتل تظل في السلسلة القانونية (canonical chain) للأبد.

ج. النهج الرياضي: عملية الوصول المثقوبة (The Punctured Arrival Process)

لتصحيح خطأ "المسار العشوائي" في [7]، قدم المؤلفون عملية وصول مثقوبة:

التثقيب (Puncturing): يتم تقسيم الخط الزمني إلى فترات بطول $B$ تليها فجوات بطول $\Delta$ . الكتل التي تصل خلال فجوات $\Delta$ يتم "حذفها" (تثقيبها).
الاستقلالية: يخلق هذا التثقيب أجزاءً مستقلة ومتماثلة التوزيع (i.i.d.) من نمو الدرجة.
بناء المسار العشوائي: يشكل التراكم الدرجي لهذه الأجزاء المثقوبة مساراً عشوائياً حقيقياً.
- إذا كان معدل التعدين الأمين ( $\lambda_h$ ) أكبر من معدل المهاجم ( $\lambda_a$ )، فإن المسار العشوائي يمتلك انحرافاً موجباً (positive drift).
- باستخدام نظرية المسار العشوائي، يثبت المؤلفون أنه باحتمال $p > 0$ ، يظل نمو الدرجة الأمينة فوق عتبة معينة إلى الأبد، بينما يظل نمو درجة المهاجم تحت متوسطه.

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

تصحيح الأخطاء السابقة: تحدد الورقة صراحةً وتصلح الافتراض الخاطئ للمسار العشوائي في [7] من خلال استخدام عملية وصول الكتل المثقوبة لتوليد مسار عشوائي صالح بزيادات مستقلة ومتماثلة التوزيع (i.i.d.).
التعميم على الكتل متعددة الدرجات: تم تعميم الإثبات للتعامل مع الكتل ذات الدرجات المختلفة، مما يجعله قابلاً للتطبيق على "Merged Bitcoin" وغيرها من آليات الإجماع المعممة.
تعريف صارم لمنطقة الأمان: يحدد المؤلفون منطقة الأمان بدقة كـ $\lambda_a < \lambda_h$ ، حيث $\lambda_h$ هو معدل نمو الدرجة الأمينة المتأخرة بالكامل و $\lambda_a$ هو معدل نمو درجة المهاجم.
حجة التمهيد (Bootstrap Argument): تستخدم الورقة حجة قائمة على الاستقراء (induction-based bootstrap argument) لإظचान أن احتمال عدم وجود كتل آمنة في فترة زمنية $t$ يتلاشى أسياً مع زيادة $t$ .

4. النتائج الرئيسية

تثبت الورقة النظريات التالية:

النظرية 1 (استمرار كتل ناكاموتو): إذا حدثت فترة ناكاموتو (المعرفة بالأحداث $L_q$ و $E_1$ و $E_2$ )، فإن الكتلة الأمينة داخل تلك الفترة تظل في السلسلة القانونية للأبد.
النظرية 2 (وجود فترات ناكاموتو): إذا كان $\lambda_h > \lambda_a$ $λ_{h} > λ_{a}$ ، فإن احتمال أن تكون أي فترة ذات حجم كافٍ هي فترة ناكاموتو هو أكبر تماماً من الصفر.
- تم إثبات ذلك من خلال إظبات أن معدل نمو الدرجة الأمينة يظل قريباً من أو فوق $\lambda_h$ ومعدل المهاجم يظل قريباً من أو تحت $\lambda_a$ باحتمال غير صفري.
النظرية 3 (نظرية الأمان الرئيسية): إذا كان $\lambda_h > \lambda_a$ ، فإن احتمال أن تحتوي فترة فرعية بطول $t$ على عدم وجود كتل أمينة تبقى في السلسلة للأبد يتلاشى أسياً مع $t \to \infty$ .
النتيجة (الكتل الأمينة اللانهائية): باحتمال 1، تحتوي السلسلة القانونية على عدد لانهائي من الكتل الأمينة إذا كان $\lambda_h > \lambda_a$ .
النظرية 4 (منطقة عدم الأمان): إذا كان $\lambda_a > \lambda_h$ ، فإن البروتوكول غير آمن. يمكن للمهاجم تنفيذ هجوم تعدين خاص للسيطرة على السلسلة في النهاية باحتمال 1.

5. الأهمية

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

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