---
title: "آليات الإجماع: الصلاحية واختيار الفرع والنهائية"
description: "تنسق آلية الإجماع النسخ على تواريخ متوافقة ضمن افتراضات صريحة للأعطال والشبكة. يجب تحليل القرار والمشاركين والأوزان والصلاحية والاقتراح واختيار الفرع والنهائية والسلامة والحيوية والتشغيل كلٌّ على حدة."
image: "https://wiki.fcontext.com/og.png"
---

> Documentation Index
> Fetch the complete documentation index at: https://wiki.fcontext.com/llms.txt
> Use this file to discover all available pages before exploring further.

# آليات الإجماع: الصلاحية واختيار الفرع والنهائية

> لأغراض تعليمية فقط؛ لا يشكل ذلك نصيحة استثمارية أو توصية استثمارية. قد تؤدي الاستثمارات إلى خسائر.

<a id="answer"></a>

## الإجابة المباشرة

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

يجب بيان ثلاث خصائص بصورة منفصلة. تمنع `safety` (السلامة) المشاركين غير المعطلين من اتخاذ قرارات متعارضة؛ وتعني `liveness` (الحيوية) أن العمل الصالح يستطيع التقدم في النهاية ضمن شروط محددة؛ وتقيد `validity` (الصلاحية) ما يجوز اتخاذه من قرار. قد يتوقف بروتوكول مع الحفاظ على السلامة، أو يستمر ضمن افتراضات تسمح بإعادة تنظيم لاحقة. لا تحدد كلمة «إجماع» وحدها أي ضمان يسري ومتى يسري أو أي دليل ينبغي للعميل أن يثق به.

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

يوفر إثبات العمل وإثبات الحصة عادة مقاومة هجمات سيبيل أو تأثير الاقتراح أو وزن تصويت قابل للمساءلة، لكن اسميهما لا يحددان بروتوكول إجماع كاملاً. تجمع Bitcoin بين إثبات العمل والتحقق واختيار السلسلة بحسب العمل التراكمي. ويجمع Gasper في Ethereum بين الشهادات الموزونة بالحصة واختيار LMD-GHOST ونهائية نقاط Casper FFG. أما BFT القائم على الجولات مثل CometBFT فله رسائل وعتبات وافتراضات زمنية ونهائية مختلفة. ولا يمكن تبديل نسبها المئوية.

<a id="mechanism"></a>

## منهج التحليل

1. **سمِّ القرار والنطاق.** حدد هل تقرر النسخ قيمة واحدة أم سجلاً مرتباً أم كتلة في كل ارتفاع أم نقطة تحقق أم حالة تطبيق، وعيّن السلسلة والشبكة والطبقة والإصدار ونقطة البداية الموثوقة.
2. **عرّف المشاركين والتأثير.** افصل المقترحين والمصوتين والعقد الكاملة والعملاء الخفيفين والمراقبين. سجّل دخول الهويات وخروجها، وهل يتبع التأثير قوة التجزئة أو الحصة أو عضوية متساوية أو وزناً آخر، وما يمنع نسخ الهويات زهيدة الكلفة.
3. **افصل مراحل البروتوكول.** وثّق صلاحية المعاملة والحالة وبناء الاقتراح ونشره والتصويت أو البرهان واختيار الفرع والالتزام والنهائية والتعافي. قد تخسر كتلة صالحة اختيار الفرع، وقد لا تكون قمة السلسلة القانونية نهائية بعد.
4. **اذكر نموذج النظام.** عرّف القنوات الموثقة والتزامن أو التزامن الجزئي وافتراضات التأخير والمهلة وأعطال التوقف والأعطال البيزنطية والمراوغة والحذف والفساد التكيفي وسرقة المفتاح والانقسام والعدد أو الوزن الأقصى المعطل `f`.
5. **تتبّع قراراً واحداً.** اتبع نطاقات الرسائل والارتفاعات والجولات والآباء والأقفال والشهادات والحالة المحلية من الاقتراح إلى القرار. بيّن ما يحدث لرسالة متأخرة أو مقترح مراوغ أو جولة تنتهي مهلتها أو فرعين صالحين.
6. **تحقق من السلامة والحيوية منفصلتين.** اشتق تقاطع النصاب أو نمو السلسلة أو شروطاً أخرى باستعمال مجموعة المشاركين ولقطة الأوزان الدقيقتين. ثم اختبر بقاء اتصال ومشاركة صادقين كافيين للتقدم؛ لا تستنتج الحيوية من عتبة السلامة.
7. **طابق البرهان مع التشغيل.** افحص إصدارات العملاء وتغير المعلمات وتركيز الأعضاء والحصص وحفظ المفاتيح وتنوع الأقران وأدوار الباني أو المرتب ونقاط التحقق وقواعد الذاتية الضعيفة ومعالجة إعادة التنظيم وسياسة تأكيد التطبيق.

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

<a id="example"></a>

## أمثلة محلولة

### 1. الصلاحية ليست الترتيب القانوني

مخرج غير منفق `U` قيمته 1 BTC. تنفقه المعاملة `T_B` إلى Bob، بينما تنفق `T_C` المخرج نفسه إلى Carol. بالنسبة إلى الحالة الأم نفسها، قد تملك كل معاملة توقيعاً وصيغة صحيحين، لكن التاريخ الصالح لا يستطيع استهلاك `U` مرتين.

إذا احتوت كتلتان صالحتان متنافستان معاملة واحدة لكل منهما، يحتفظ التحقق محلياً بكلا الفرعين المرشحين ويختار اختيار الفرع أحدهما قانونياً. عندما تدخل `T_B` التاريخ المختار، تتعارض `T_C` مع الحالة الناتجة. اختار الإجماع ترتيباً؛ ولم يصحح توقيعاً خاطئاً أو يقرر أي المستلمين أحق أخلاقياً بالدفع.

### 2. العمل التراكمي لا عدد العقد

افترض أن فرعين صالحين على نمط Bitcoin لهما درجتا عمل تراكمي `W_A=240` و`W_B=235` بالوحدة الاعتباطية نفسها. تختار العقدة المتحققة A بحسب قاعدة العمل التراكمي حتى لو سمعت B أولاً من أقران أكثر. عدد الأقران ليس وزن إجماع.

إذا أضاف B لاحقاً 10 وحدات ولم يضف A شيئاً، تصبح `W_B=245` مقابل `W_A=240`، وقد تعيد العقدة التنظيم إلى B بعد التحقق من الفرع. يوضح هذا الحساب المبسط لماذا تأكيد PoW احتمالي: يزداد استبدال التاريخ الأعمق كلفة تدريجياً، ولا يصبح مستحيلاً منطقياً بعد عدد ثابت من الكتل.

### 3. نصاب BFT الموزون وتوقف الحيوية

ليكن وزن المدققين الكلي `100`، وليتطلب التزام على نمط CometBFT تصويتات التزام مسبق `>2/3` للكتلة نفسها في الارتفاع والجولة نفسيهما. يجتاز الوزن الصحيح `67`. يتقاطع أي نصابين من وزن 67 في `34` على الأقل، لأن 67 + 67 - 100 = 34. إذا كان الوزن البيزنطي دون الثلث، يحتوي التقاطع وزناً صادقاً لا يجوز له توقيع التزامات متعارضة.

تكشف العتبة نفسها حد الحيوية. إذا خرج وزن 34 عن الاتصال، يبقى `66` ولا يمكن تكوين التزام ولو كان جميع المدققين المتصلين صادقين. قد يتوقف البروتوكول مع الحفاظ على السلامة؛ ولا يحل تصويت الحوكمة أو عدد المشغلين محل وزن الإجماع الغائب.

### 4. اختيار الفرع ونهائية نقاط التحقق مختلفان

في مسار Gasper مبسط، لتكن نقاط التحقق `C_0` و`C_1` وابنتها المباشرة `C_2`. تستطيع أصوات تمثل `67/100` من الرصيد الفعال النشط إنشاء رابط أغلبية فائقة من `C_0` إلى `C_1`، فتبرر `C_1`. ويمكن لرابط مؤهل لاحق من `C_1` إلى `C_2` أن يجعل النقطة الأقدم نهائية وفق قاعدة FFG المعنية.

بين نقاط التحقق، يستخدم LMD-GHOST أحدث شهادات المدققين لاختيار القمة من أبناء نقطة التحقق المبررة الممكنين، بينما ترشح قيود النقطة النهائية الفروع المتعارضة. لذلك فإن اختيار القمة والتبرير والنهائية انتقالات مترابطة لكنها مختلفة؛ وعبارة «صوّت 67% لهذه الكتلة» لا تصف أياً منها كاملاً.

<a id="risks"></a>

## المخاطر وإخفاقات المراجعة

### النموذج والضمانات

- قول «تصل الشبكة إلى الإجماع» دون تعريف القرار والسلامة والحيوية والصلاحية والإنهاء.
- اعتبار إثبات العمل أو إثبات الحصة أو التعدين أو التحصيص أو نسبة تصويت مواصفة كاملة للبروتوكول.
- تطبيق `51%` أو `2/3` أو `n=3f+1` على كل نماذج الأعطال والوقت والوزن والنهائية المختلفة.
- خلط التوقف والسلوك البيزنطي وسرقة المفتاح والقنوات المعطلة والبرمجيات المترابطة والسيطرة على الحوكمة.
- الاستشهاد بـFLP كحظر للإجماع العملي بدلاً من نطاقها القطعي وغير المتزامن بالكامل وذي الإنهاء المضمون.
- عد العقد أو المفاتيح دون قياس المشغلين المستقلين والوزن والعملاء والسحب والحفظ.
- افتراض أن القانوني وsafe والمبرر والملتزم والنهائي حالات قابلة للتبادل.
- استنتاج الحقيقة الخارجية أو الترتيب العادل أو الخصوصية أو اللامركزية أو القيمة من اتفاق النسخ.

### البروتوكول والتنفيذ

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

### التشغيل والتطبيق

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

<a id="misconceptions"></a>

## مفاهيم خاطئة شائعة

- **الإجماع والتحقق شيء واحد.** يرفض التحقق البيانات المخالفة للقواعد؛ ويختار الإجماع قرارات متوافقة بين مرشحين قد يكون كل منهم صالحاً محلياً.
- **المزيد من العقد يعني أماناً أكبر تلقائياً.** التأثير والاستقلال والطوبولوجيا وتنوع البرمجيات ونموذج العطل أهم من العدد الخام.
- **يستطيع مهاجم 51% تزوير أي توقيع.** قد تتيح أغلبية الموارد الرقابة أو إعادة التنظيم في بروتوكول معين، لكنها لا تكشف المفاتيح ولا تجيز إنفاقاً غير صالح.
- **الثلثان يعنيان النهائية دائماً.** المتباينة والرسالة والجولة ولقطة الوزن وقاعدة القفل وشرط النهائية خاصة بالبروتوكول.
- **الكتل السريعة تثبت إجماعاً قوياً.** قد تزيد الفواصل القصيرة سباقات الانتشار وضغط الموارد؛ قيّم التأخير مع السلامة والحيوية والنهائية.

<a id="related"></a>

## موضوعات ذات صلة

- [تحمل الأعطال البيزنطية](/ar/crypto/byzantine-fault-tolerance/)
- [مشكلة الجنرالات البيزنطيين](/ar/crypto/byzantine-generals-problem/)
- [النهائية](/ar/crypto/finality/)
- [قاعدة اختيار الفرع](/ar/crypto/fork-choice-rule/)
- [إثبات الحصة](/ar/crypto/proof-of-stake/)

<a id="sources"></a>

## المصادر

- [Blockchain Technology Overview](https://doi.org/10.6028/NIST.IR.8202) - NIST (تاريخ الاطلاع: 2026-08-19)
- [Bitcoin: A Peer-to-Peer Electronic Cash System](https://bitcoin.org/bitcoin.pdf) - Bitcoin.org (تاريخ الاطلاع: 2026-08-19)
- [Gasper](https://ethereum.org/developers/docs/consensus-mechanisms/pos/gasper/) - Ethereum.org (تاريخ الاطلاع: 2026-08-19)
- [Ethereum Consensus Specifications: Fork Choice](https://github.com/ethereum/consensus-specs/blob/master/specs/phase0/fork-choice.md) - Ethereum Foundation (تاريخ الاطلاع: 2026-08-19)
- [Impossibility of Distributed Consensus with One Faulty Process](https://groups.csail.mit.edu/tds/papers/Lynch/jacm85.pdf) - Journal of the ACM (تاريخ الاطلاع: 2026-08-19)
- [Consensus in the Presence of Partial Synchrony](https://groups.csail.mit.edu/tds/papers/Lynch/jacm88.pdf) - Journal of the ACM (تاريخ الاطلاع: 2026-08-19)
- [CometBFT Consensus Algorithm](https://docs.cometbft.com/v0.38/spec/consensus/consensus) - CometBFT (تاريخ الاطلاع: 2026-08-19)
- [HotStuff: BFT Consensus in the Lens of Blockchain](https://arxiv.org/abs/1803.05069) - arXiv (تاريخ الاطلاع: 2026-08-19)

Source: https://wiki.fcontext.com/ar/crypto/consensus-mechanism/index.mdx