💻 computer science

Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines

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

المؤلفون الأصليون: Zhenhang Shang, Kani Chen

نُشر 2026-04-07

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Zhenhang Shang, Kani Chen

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

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

في الماضي، بنى الناس هذه الآلات باستخدام "دوال التأخير القابلة للتحقق" (VDFs). فكر في الـ VDF كأنه ساعة رملية رقمية.

القاعدة: يجب أن تنتظر حتى ينتهي الرمل (مثلاً 5 ثوانٍ) قبل أن تتمكن من رؤية الرقم.
الوعد: حتى لو كنت تملك حاسوباً فائق السرعة، لا يمكنك تسريع حركة الرمل. يستغرق الأمر 5 ثوانٍ بالضبط للجميع.

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

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

التشبيه: "اليانصيب المزور" مقابل "اللص السريع"

تخيل أن جائزة اليانصيب هي 100 دولار.

الطريقة النزيهة: تنتظر 5 ثوانٍ، ينتهي الرمل، ثم تحصل على الرقم.
طريقة اللص: يمتلك اللص مصفاة رمال فائقة السرعة (أجهزة متخصصة) تعمل أسرع بـ 3 مرات من الطبيعي.
- يمكن للصوص رؤية الرقم في 1.6 ثانية.
- بينما لا يزال الناس النزهاء في حالة انتظار.

السؤال الاقتصادي:
هل يستحق الأمر بالنسبة للص م شراء تلك المصفاة فائقة السرعة؟

التكلفة: استئجار المصفاة يكلف دولاراً واحداً.
المكافأة: إذا رأى اللص الرقم مبكراً، يمكنه المراهنة أو استباق عملية تجارية ليربح 100 دولار.
النتيجة: الربح = 99 دولاراً. انطلق! اللص يشن هجوماً.

ولكن ماذا لو كانت الجائزة هي 0.50 دولار فقط؟

التكلفة: 1 دولار.
المكافأة: 0.50 دولار.
النتيجة: خسارة = -0.50 دولار. لا تفعل ذلك. اللص ينسحب.

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

استراتيجية "وقف الخسارة" (Stop-Loss)

يصور المؤلفون المهاجم كمستثمر ذكي يلعب لعبة "متى أتوقف؟"

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

تثبت الورقة أنه لكي يكون النظام آمناً، يجب أن يكون وقت الانتظار طويلاً بما يكفي بحيث تكون تكلفة الهجوم دائماً أعلى من الربح المحتمل.

حيل "الطحن" (Grinding) و"الإلغاء الانتقائي" (Abort)

تنظر الورقة أيضاً في طرق مخادعة يحاول بها المهاجمون الغش:

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

كلتا الحيلتين تجعلان "الجائزة" أكبر فعلياً، مما يعني أن "وقت الانتظار" يجب أن يكون أطول بك even لتوقفهما.

الحل: "معايير التأخير الآمنة اقتصادياً" (ESDP)

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

يقترحون صيغة للمصممين:

وقت الانتظار = (سرعة حاسوب المهاجم) × (الجائزة المحتملة) / (تكلفة تشغيل الحاسوب)

مثال من الواقع من الورقة البحثية:

إذا كانت الجائزة 50 دولاراً (فرصة تجارية نموذجية في الكريبتو).
وكان بإمكان المهاجم استئجار حاسوب فائق مقابل 0.0005 دولار في الثانية.
تقول الرياضيات إن وقت الانتظار يجب أن يكون حوالي 3 أيام لجعل الهجوم غير مربح.

مهلاً، 3 أيام؟
نعم. تخلص الورقة إلى أنه بالنسبة للعديد من الأنظمة الحالية، فإن "وقت الانتظار" المتمثل في بضع ثوانٍ هو قصير بشكل خطير. لكي تكون آمناً حقاً، علينا إما:

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

الملخص

هذه الورقة هي بمث//ابة جرس إنذار لمصممي البلوكشين. إنها تقول: "لا تثق بالرياضيات فقط؛ ثق بالاقتصاد."

إذا بنيت يانصيباً رقمياً حيث الجائزة ضخمة، فلا يمكنك مجرد استخدام مؤقت لمدة 5 ثوانٍ. يجب عليك حساب بالضبط مقدار المال الذي يمكن للص سرقته، وكم سيكلفه ذلك، وتحديد المؤقت طويلاً بما يكفي لجعل السرقة صفقة تجارية سيئة.

القاعدة الذهبية: النظام يكون آمناً بقدر التكلفة التي يجبر المهاجم على دفعها. إذا كانت التكلفة أقل من المكافأة، فسيتم كسر النظام في النهاية.

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

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

تُستخدم دالات التأخير القابلة للتحقق (VDFs) بشكل متزايد لبناء منارات العشوائية (Randomness Beacons) لسلاسل الكتل (blockchains) والأنظمة الموزعة. تعتمد هذه المنارات على خاصية أن حساب المخرجات يتطلب وقتاً تسلسلياً محدداً ( $T$ )، مما يمنع الخصوم من التنبؤ بالنتيجة أو التأثير عليها بشكل أسرع بكثير من المشاركين الشرفاء.

الفجوة: تركز التحليلات الأمنية الحالية بشكل أساسي على الصعوبة التشفيرية (بافتراض خصم يعمل في زمن حدودي في أسوأ الحالات) ولكنها تتجاهل العقلانية الاقتصادية. في عمليات النشر الواقعية (مثل سلاسل الكتل العامة)، يتحرك الخصوم بدافع الربح (مثل القيمة القابلة للاستخراج القصوى (MEV)، أو اختيار الموثقين، أو الرهانات الجانبية).

قد تكون دالة VDF آمنة تشفيرياً (أي لا توجد خوارزمية لكسر التسلسل)، ومع ذلك تكون غير آمنة اقتصادياً إذا استطاع خصم عقلاني تحقيق ربح عن طريق شراء أجهزة أسرع (عامل تسريع $\delta$ ) لحساب المخرجات مبكراً.
إن اختيار المعلمات الحالي (الذي غالباً ما يكون بضع ثوانٍ) قد لا يكون كافياً عندما يتجاوز الربح المحتمل ( $V$ ) من التلاعب بالمنارة تكلفة الهجوم.

2. المنهجية

قام المؤلفون بتطوير إطار عمل رسمي ينمذج التفاعل بين منارة تعتمد على VDF وخصم عقلاني باستخدام التحكم العشوائي ونظرية التوقف الأمثل.

أ. النموذج الاقتصادي

قدرات الخصم: يمتلك الخصم عامل تسريع حوسبي $\delta \ge 1$ (الوقت اللازم للحساب هو $T/\delta$ ) ويتكبد معدل تكلفة $c$ (مثل استئجار السحابة أو تكاليف الأجهزة الموزعة).
عملية المكافأة: يحصل الخصم على مكافأة $V_t$ إذا علم بمخرجات المنارة أو تلاعب بها قبل أن يكشفها المشاركون الشرفاء. يتم نمذجة $V_t$ كعملية عشوائية (مثل فرص MEV).
مشكلة القرار: يواجه الخصم مشكلة توقف أمثل. يجب عليه أن يقرر ما إذا كان سيبدأ هجوماً في جولة معينة بناءً على مشهد المكافأة الحالي وتكلفة الحوسبة.
دالة الربح:
$\text{Profit} = \mathbb{I}_{\text{success}} \cdot V_{\tau} - \int_{t_0}^{\tau} a_t c(t) dt$
حيث $\tau$ هو وقت التوقف، والنجاح يعني إكمال الـ VDF قبل الموعد النهائي للشرفاء ( $t_H$ ).

ب. التحليل النظري

هيكل العتبة: يثبت المؤلفون أن استراتيجية الخصم المثلى تتبع هيكل عتبة أحادي الميل. توجد حدود قرار في فضاء الحالة (العمل المتبقي، المكافأة الحالية، الوقت) بحيث يهاجم الخصم إذا وفقط إذا تجاوزت الحالة هذا الحد.
شرط العتبة الخطية: تحت افتراضات مبسطة (مكافأة ثابتة، التزام كامل)، يتقلص شرط الأمن الاقتصادي إلى متباينة خطية:
$T \ge \frac{\delta}{c} \mathbb{E}[V]$
وهذا يعني أن التأخير $T$ يجب أن يكون كبيراً بما يكفي بحيث تتجاوز تكلفة الحوسبة المكافأة المتوقعة.
المتانة: يمتد الإطار ليشمل عدم اليقين في المعلمات (باستخدام الحدود الفترية أو حدود العزوم مثل متباينة تشيبيشيف) والتكوين متعدد البروتوكولات (جمع المكافآت من عدة بروتوكولات معتمدة).

ج. أسطح الهجوم الموسعة

تم توسيع النموذج ليشمل:

الطحن (Grinding): استكشاف الخصوم لعدد $G$ من البذور المرشحة. هذا يزيد من المكافأة الفعلية إلى $\mathbb{E}[\max(V_1, \dots, V_G)]$ ، مما يتطلب تأخيراً أكبر بكثير.
الإجهاض الانتقائي (Selective Abort): الخصوم الذين يمكنهم قمع المخرجات غير المواتية وإعادة المحاولة. هذا يضاعف المكافأة فعلياً بعامل قدره $1/(1-p)$ ، حيث $p$ هو احتمال امتلاك القدرة على الإجهاض.
ألعاب متعددة الخصوم: نمذجة المنافسة بين $n$ من الوكلاء العقلانيين. بينما تقلل المنافسة من الربح المتوقع الفردي، يظهر المؤلفون أنه بدون معلمات تأخير صارمة، يمكن أن يستمر معدل هجوم ذو توازن غير صفري. كما أن التحالفات تزيد من التهديد، مما يتطلب تأخيراً يتناسب مع حجم التحالف.

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

نموذج الخصم العقلاني: أول نموذج صريح لمنارات VDF يدمج العقلانية الاقتصادية، والتسريع الحوسبي، واتخاذ القرار الديناميكي.
تعريفات أمنية رسمية: قدم مفهوم الأمن الاقتصادي، المعرّف بأنه الحالة التي لا يستطيع فيها أي خصم عقلاني تحقيق ربح متوقع إيجابي من خلال الانحراف عن السلوك الشريف.
العتبات التحليلية: استُخلصت شروط ضرورية وكافية محكمة تربط معلمة التأخير $T$ بتكلفة الخصم ( $c$ )، والتسريع ( $\delta$ )، وتوزيعات المكافأة ( $V$ ).
دراسات الحالة والتقييم الواقعي:
- استخدام تكاليف السحابة الواقعية، ومعايير الأجهزة (FPGAs/ASICs)، وبيانات MEV.
- النتيجة: العديد من تأخيرات VDF المقترحة (ثوانٍ معدودة) هي غير آمنة اقتصادياً في ظل ظروف معقولة. على سبيل المثال، مع متوسط MEV قدره 50 دولاراً وتسريع FPGA، فإن التأخير المطلوب للأمن الاقتصادي هو حوالي 3.1 يوم، وهو ما يتجاوز بكثير زمن الفتح (slot time) البالغ 12 ثانية في إيثيريوم.
إرشادات التصميم و ESDP: قدمت معلمات تأخير آمنة اقتصادياً (ESDP)، وهي تجريد جديد لمواصفات البروتوكول يسمح للمصممين بالتصريح صراحة عن متطلبات التأخير بناءً على الحدود الاقتصادية.

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

عدم أمان التأخيرات القصيرة: التأخيرات القياسية (ثوانٍ) غير كافية عندما تكون المكافآت (مثل MEV) في عشرات أو مئات الدولارات. التأخير المطلوب يتناسب طردياً مع المكافأة المتوقعة.
تأثير الطحن والإجهاض: أسطح الهجوم مثل الطحن (تجربة بذور متعددة) والإجهاض الانتقائي تزيد من المكافأة الفعلية بشكل كبير، مما يستلد تأخيراً أطول بكثير أو قيوداً أكثر صرامة على البروتوكول (مثل تحديد اشتقاق البذور).
تهديد التحالف: يمكن لتحالف من $m$ من المهاجمين تجميع الموارد، مما يقلل فعلياً من التكلفة لكل عضو ويتطلب أن يكون التأخير $T$ أكبر بمقدار $m$ مرة للحفاظ على الأمن.
المقايضة: هناك توتر جوهري بين الأمن الاقتصادي (الذي يتطلب $T$ كبيراً) وحيوية النظام/سهولة الاستخدام (التي تتطلب $T$ صغيراً). تجادل الورقة بأن $T$ يجب أن يكون معلماً قابلاً للتعديل ديناميكياً، وليس ثابتاً تشفيرياً.

5. الأهمية

تحول في النموذج: تنقل الورقة النموذج الأمني لـ VDF من الافتراضات التشفيرية البحتة إلى الأمن السيبراني الاقتصادي (Cryptoeconomic Security). وتوضح أن السلامة التشفيرية هي شرط ضروري ولكنه غير كافٍ للنشر الآمن.
التأثير العملي: تشير النتائج إلى أن المقترحات الحالية للعشوائية القائمة على VDF في سلاسل الكتل (مثل استبدال RANDAO في إيثيريوم) قد تكون معيبة بشكل أساسي إذا اعتمدت فقط على تأخيرات قصيرة. بدون دفاعات إضافية على مستوى البروتوكول (مثل الذاكرة المؤقتة المشفرة، أو إعادة توزيع MEV، أو VDF العتبية)، ستظل هذه الأنظمة عرضة لهجمات مدفوعة اقتصادياً.
إطار عمل قابل للتطبيق: يوفر تقديم ESDP أداة ملموسة لمصممي البروتوكولات لمعايرة المعلمات مقابل ظروف السوق الواقعية، مما يضمن أن تكلفة الهجوم تفوق دائماً الربح المحتمل.

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