تحليل تعليمي لأمن البروتوكولات فقط. تعتمد العشوائية واختيار القادة والعقوبات وتكاليف الهجوم على البروتوكول وإصداره؛ تحقّق من المواصفات والتنفيذ الساريين قبل استنتاج أي حكم أمني أو متعلق بالتخزين.
الإجابة المباشرة
تستغل هجمة طحن الحصة الخيارات المتاحة لمشارك في إثبات الحصة قبل تثبيت عشوائية البروتوكول. يقيّم المشارك عدة مفاتيح أو كتل مرشحة أو مساهمات صحيحة، ثم يحتفظ بالخيار الذي يحسن اختيار مقترح أو لجنة أو فرع مستقبلي أو يكشفه. يحول البحث سحبا واحدا إلى سحوبات مرشحة عدة، وقد يمنحه نفوذا يفوق حصته الاسمية.
الطحن عائلة هجمات. في طحن الكتلة أو البذرة يغير المنتج المحتوى أو الأسلاف المسموح بهم عندما تغذي التجزئة الناتجة العشوائية اللاحقة. وفي طحن المفاتيح ينشئ مفاتيح كثيرة قبل التسجيل ويبقي الهويات ذات الأهلية الملائمة. أما الكشف الانتقائي فيحجب التزاما أو كشفا أو توقيعا أو كتلة أو ينشرها بعد معرفة أثر كل خيار في البذرة.
لا تجعل التجزئة أو الدالة العشوائية القابلة للتحقق (VRF) أو commit-reveal العملية كلها غير متحيزة بمفردها. يعتمد الأمان على من يختار المدخلات، وموعد معرفة الأهلية، وعدد البدائل، وما إذا كان الانسحاب يضيف خيارا، والفاصل بين البذرة والقادة الذين تختارهم. يجب فحص إصدار البروتوكول الدقيق.
مسار الهجوم والتحليل
- ثبّت قاعدة الاختيار. سجّل الشبكة والإصدار والحقبة أو الجولة ولقطة الحصة واشتقاق البذرة واختبار الأهلية واختيار الفرع والمكافآت والعقوبات.
- احصر خيارات الخصم. أدرج مفاتيح ما قبل التسجيل وترتيب المعاملات الصحيح والحقول الاختيارية والآباء المرشحين والنشر والكشف والانسحاب؛ ولا يهم إلا ما يغير حالة أو بذرة مقبولة.
- قس ميزانية البحث. قدّر المرشحين قبل المهلة واستقلال التجارب وكلفة الحوسبة والمكافآت الضائعة والودائع والتأخير والأفعال القابلة للخفض.
- اربط البذرة بالقوة اللاحقة. حدّد أفق اختيار المقترحين أو اللجان، وهل يرى المهاجم النتائج قبل الالتزام، وهل يفتح الفوز فرصة طحن جديدة.
- قيّم القبول والتراكم. يجب أن يطابق المرشح انتقال الحالة والتوقيت والتوقيع واختيار الفرع. نمذج التكرار كعملية ذات حالة ولا تفترض استقلال الجولات.
- اختبر كل دفاع. تعالج البذور المؤجلة وVRF وقواعد التسجيل والعقوبات والمنارات العتبية ودوال التأخير القابلة للتحقق قدرات وافتراضات مختلفة.
احفظ الكتل أو الالتزامات المرشحة والتجزئات والنطاقات الدقيقة والتوقيت ولقطات الحصة وحساب البذرة المنفذ والنتائج الافتراضية البديلة. لا تكفي سلسلة اقتراحات دليلا، فالقرعة النزيهة تنتج تجمعات أيضا.
مثال محلول
لنفترض أن بروتوكولا مبسطا يمنح المهاجم احتمال 10% ليكون المقترح التالي. مع بذرة ثابتة واحدة يكون الاحتمال 0.10. يتيح خلل تقييم 20 بذرة مستقلة وصحيحة بكلفة ضئيلة ثم نشر أي منها.
احتمال أن تختاره واحدة على الأقل هو 1 - (1 - 0.10)^20، أي نحو 87.8%. لا يملك المهاجم 87.8% من الحصة؛ بل منحه البروتوكول خطأ 20 سحبا والاختيار بعد رؤية النتائج.
هذا توضيح لا توقع. قد تحد الارتباطات والمهل والكلف والمكافآت المفقودة وعقوبة الحجب ومحدودية سلطة المقترح من الأثر. يجب قياسها قبل تقدير الأثر الاقتصادي أو أثر الإجماع.
الدفاعات وقائمة المراجعة
بناء العشوائية
- اشتق العشوائية من مدخلات جرى الالتزام بها قبل أن يعرف المشاركون التعيينات أو يتحكموا بها.
- افصل زمنيا بين المساهمة والالتزام والكشف والاستخدام كي لا يبحث القائد رخيصا عن بذرة خليفته المباشر.
- عالج آخر كاشف: يبقى commit-reveal قابلا للتحييز إذا أتاح حجب الكشف الاختيار بين النتائج.
- استخدم المنارات العتبية أو الموزعة بافتراضات صريحة عن النزاهة والحيوية والاسترداد وتغير العضوية.
الأهلية والهوية
- اربط مفاتيح VRF والحصة بلقطة تسجيل تسبق معرفة البذرة، وإلا صار توليد المفاتيح دون اتصال طحن مفاتيح.
- افصل النطاقات حسب السلسلة والإصدار والجولة والدور والغرض لمنع إعادة استخدام الإثبات.
- استخدم الأهلية الخاصة عند الملاءمة، مع إدراك أنها تقلل الاستهداف المبكر ولا تصلح بذرة متحيزة.
- حد من تبديل الهوية الرخيص وحدد دخول الحصة المفوضة والمجمعات ومجموعات المدققين المتغيرة في القرعة.
الاقتصاد والتشغيل
- سعّر الكتل والمكافآت الفائتة ورأس المال المقفل والتوقيع المتعارض القابل للكشف والعقوبات المترابطة؛ ليس كل خيار قانوني قابلا للخفض.
- راقب المساهمات وفشل الكشف والمرشحين الشاذين وتواتر المقترحين وتنوع البرمجيات ضمن نوافذ ذات دلالة.
- اعزل العشوائية الحرجة عن واجهات builder أو relay أو ترتيب المعاملات التقديرية ما لم تثبت المواصفات سلامتها.
- اختبر fallback؛ فقد تضحي آلية لا تتحيز إلا باستجابة الجميع بالحيوية.
مفاهيم خاطئة شائعة
- مخرجات التجزئة عشوائية، لذا يستحيل الطحن. قد تكون غير متوقعة لمدخل ثابت، لكن الاختيار بين مدخلات كثيرة يحيز الناتج.
- تقضي VRF على كل طحن. تثبت ناتجا لمفتاح ومدخل؛ وتبقى المفاتيح والبذرة والتسجيل والنشر الانتقائي مسائل منفصلة.
- Commit-reveal غير متحيز تلقائيا. قد يختار المشارك الأخير بين الكشف والانسحاب إن لم يحيد البروتوكول ذلك.
- يتطلب الطحن أغلبية الحصة. قد تزيد أقلية فرصها بمحاولات رخيصة، لكن فشل الأمان يتطلب شروطا أخرى.
- تثبت الاقتراحات المتتالية التلاعب. تنتج العشوائية سلاسل؛ ويلزم نموذج إحصائي ودليل تقني.
- الطحن وnothing at stake شيء واحد. يحيز الأول العشوائية أو الأهلية، ويتعلق الثاني بحافز دعم تواريخ متنافسة.
موضوعات ذات صلة
المصادر
- عملات مشفرة بلا إثبات عمل - arXiv (تاريخ الاطلاع: 2026-08-21)
- Ouroboros: بروتوكول بلوكتشين بإثبات الحصة وأمان قابل للإثبات - IACR Cryptology ePrint Archive (تاريخ الاطلاع: 2026-08-21)
- Ouroboros Praos: بروتوكول إثبات حصة شبه متزامن وآمن تكيفيا - IACR Cryptology ePrint Archive (تاريخ الاطلاع: 2026-08-21)
- Algorand: توسيع الاتفاق البيزنطي للعملات المشفرة - ACM (تاريخ الاطلاع: 2026-08-21)
- مواصفات إجماع Ethereum: سلسلة Beacon - Ethereum Foundation (تاريخ الاطلاع: 2026-08-21)