الانتقال إلى المحتوى
Financial Context Wiki

إجماع ناكاموتو: الصلاحية وعمل السلسلة والتأكيدات وإعادة التنظيم

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

آخر تحديث

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

إجابة مباشرة

إجماع ناكاموتو هو نهج Bitcoin الذي تفرض فيه العقد قواعد صلاحية الإجماع بصورة مستقلة، ويمد فيه منتجو إثبات العمل الكتل من دون قائمة عضوية مأذونة، وتنتشر الكتل عبر شبكة ند لند، وتختار كل عقدة الفرع الصالح صاحب أكبر إثبات عمل تراكمي. يرتب النهج المعاملات الصالحة وفق الرؤية التي لاحظتها العقدة؛ لكنه لا يجعل المعاملة غير الصالحة صالحة، ولا يثبت حقائق خارج دفتر الأستاذ، ولا ينشئ نهائية حتمية فورية.

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

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

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

كيفية تحليل إجماع ناكاموتو

  1. ثبت الهوية ونطاق المراقبة. سجل chain وnetwork وgenesis hash وclient version ومجموعة قواعد الإجماع ونقاط التحقق أو إعدادات assume-valid والمراقب والأنداد والوقت. التقط bestblockhash وheight وchainwork؛ فقد تبلغ عقدتان صادقتان عن رأسين مختلفين بينما تنتشر الرسائل.
  2. تحقق قبل مقارنة العمل. افحص ربط الترويسات وقيود الوقت والهدف المفكوك وإثبات العمل والتزامات Merkle وwitness والمعاملات والنصوص وإنفاق UTXO وcoinbase وحدود موارد الكتلة. لا يصبح فرع invalid مؤهلا لمجرد ادعاء ارتفاع أو عمل أكبر.
  3. أعد بناء شجرة الكتل المرصودة. صل كل مرشح بسلف معروف عبر تجزئة الكتلة السابقة وميز الكتل الكاملة من الترويسات فقط. طابق حالات active وvalid-fork وvalid-headers وheaders-only وinvalid عبر واجهات مثل getchaintips؛ فليس كل رأس مرئي سلسلة منافسة صالحة.
  4. أعد حساب العمل التراكمي. فك هدف nBits لكل ترويسة واحسب العمل الذي يمثله وفق قواعد الأعداد الصحيحة في التنفيذ، ومفهومه work = floor(2^256 / (target + 1)). اجمعه على مسار الأسلاف وقارن الفروع الصالحة من سلفها المشترك؛ فلا يحل الارتفاع أو تقدير معدل التجزئة أو اسم المجمع محل chainwork.
  5. تتبع الاختيار وإعادة التنظيم. أعد إنتاج اختيار العقدة لمرشح أكبر عمل، والترتيب المحلي عند تساوي العمل، وحالة الوصول. إذا ظهر فرع صالح أفضل، حدد نقطة التفرع وافصل اللاحقة القديمة وصل الجديدة وحدث UTXO set وطابق المعاملات مع mempool وسجلات التطبيق.
  6. ضع سياسة تأكيد مبنية على المخاطر. احسب confirmations = tip_height - block_height + 1 فقط لكتلة في السلسلة النشطة الحالية. اذكر القيمة المعرضة للخطر وقابلية الرجوع وحصة المهاجم والانتشار والتعرض لعزل eclipse ومعدل stale المرصود وعمق التأكيد وخطة الاستجابة؛ فالستة عرف وليست عتبة نهائية في البروتوكول.
  7. اختبر حجة الأمان كاملة تحت الضغط. اختبر الانقسامات والتأخير وحجب الكتل والتعدين الأناني وهجمات eclipse وتركيز المجمعات والعتاد وتغيرات معدل التجزئة المفاجئة وحوافز الرسوم والدعم واختلاف العملاء وإعادة التنظيم العميقة وسياسة التعافي. لا تربط النتائج بالبادئة المشتركة والنمو والجودة والاستمرارية والحيوية إلا ضمن افتراضات النموذج المستشهد به.

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

أمثلة محلولة

1. العمل غير الصالح لا يفوز

افترض أن الفرع A يبلغ valid_A = false وchainwork_A = 1,200 units، بينما الفرع B لديه valid_B = true وchainwork_B = 1,000 units. ترفض العقدة A وتختار B. لا يقارن العمل إلا بين المرشحين المقبولين؛ فلا يجيز إثبات العمل coinbase زائدة أو توقيعا غير صالح أو إنفاقا مزدوجا.

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

2. الارتفاع ليس العمل التراكمي

في مثال مبسط لهدف متغير، يضيف الفرع C ست كتل تمثل كل منها 100 وحدة عمل، أي 6 * 100 = 600 units. ويضيف D خمس كتل تمثل كل منها 130 وحدة، أي 5 * 130 = 650 units. إذا كانا صالحين وبدآ من العمل نفسه، يكون D صاحب أكبر عمل رغم أنه أقصر بكتلة.

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

3. يمكن إزالة التأكيدات

إذا أدرجت معاملة في كتلة ارتفاعها 100 وكان الرأس النشط عند 105، فلديها tip_height - block_height + 1 = 105 - 100 + 1 = 6 confirmations. افترض أن فرعا صالحا بديلا يتفرع بعد الارتفاع 99 ثم يصبح صاحب أكبر عمل عند الارتفاع 106 من دون المعاملة. تفصل إعادة التنظيم الكتل القديمة 100 through 105؛ فتفقد المعاملة تأكيداتها الستة النشطة وقد تعود إلى mempool أو تتعارض مع إنفاق آخر أو تبقى غائبة.

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

4. احتمال اللحاق يعتمد على النموذج

في نموذج ورقة Bitcoin البيضاء التوضيحي، لتكن حصة المهاجم q = 0.10 وحصة الصادقين p = 0.90 وتقدم السلسلة الصادقة z = 6. يعطي تقريب Poisson القيمة lambda = z * (q / p) = 0.6666667 وP(catch up) = 0.0002428027 = 0.02428027%. وعند q = 0.30 والعمق نفسه ترتفع إلى P(catch up) = 0.1321111687 = 13.21111687%.

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

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

أخطاء البروتوكول والقياس

  • مقارنة العمل قبل التحقق المستقل من الترويسة وجسم الكتلة والأسلاف.
  • تسمية أعلى فرع أو أول فرع مرئي فائزا من دون حساب chainwork التراكمي.
  • استخدام عدد الكتل أو معدل التجزئة الاسمي أو حصة المجمع أو ملصق المستكشف بديلا عن chainwork.
  • خلط mainnet وtestnet وsignet والتفرعات وإصدارات العميل ونقاط التحقق وهويات genesis.
  • معاملة بيانات الترويسات فقط أو غير المتاحة أو المتفائلة كتاريخ متحقق منه بالكامل.
  • إهمال فك الهدف أو حساب العمل الصحيح أو ربط التجزئة السابقة أو السلف المشترك.
  • اعتبار RPC أو مستكشف واحد رؤية عالمية بلا سياق التجزئة والارتفاع والوقت والأنداد.

أخطاء الشبكة والحوافز والتحكم

  • افتراض انتشار فوري أو ترتيب وصول واحد للمعاملات والكتل عند كل العقد.
  • معاملة تعادل العمل كحالة عالمية واحدة بدلا من رؤى محلية مؤقتة.
  • إهمال كتل stale والتأخير والحجب والتعدين الأناني وميزة الانتشار.
  • استنتاج معدنّين مستقلين من أسماء المجمعات أو ملكية العتاد من حصصها.
  • إهمال تركيز المجمعات والبرامج الثابتة والمصنعين والاستضافة والطاقة والجغرافيا والشبكة.
  • اعتبار المكافآت دليلا على أن التمديد الصادق هو دائما الأمثل لكل مشارك.
  • إغفال التعرض لهجمات eclipse والانقسام وSybil وتسميم الأنداد وحجب الخدمة والتلاعب بالوقت.

أخطاء التسوية والأمان

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

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

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

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

المصادر

التنقل

ابحث في الويكي...