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

نهائية البلوك تشين: الأدلة والافتراضات وطبقات التسوية

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

آخر تحديث

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

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

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

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

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

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

كيفية تحليل النهائية

  1. سمِّ الكائن والنطاق. حدد المعاملة أو الكتلة أو نقطة التحقق أو جذر الحالة أو الرسالة عبر السلاسل أو السحب؛ وسجل السلسلة والشبكة والطبقة والإصدار والارتفاع أو slot وتجزئة الكتلة ونقطة التحقق الموثوقة.
  2. تحقق من الصلاحية قبل الحالة. أعد تنفيذ انتقال الحالة والنسب المعنيين أو تحقّق منهما بطريقة أخرى. لا يستطيع quorum أو رصيد العمل أو شارة الواجهة جعل كائن غير صالح نهائيًا وفق القواعد الفعلية.
  3. افصل اختيار الرأس عن الإنهاء. أعد بناء fork choice والمسار القياسي الحالي ثم حدد السلف النهائي أو committed. سجل هل الحالة مجرد مراقبة أو تأكيد أو تبرير أو أمان أو commit أو نهائية.
  4. أعد إنتاج الدليل. في PoW تحقق من الرؤوس والهدف وchainwork التراكمي فوق الكتلة. وفي بروتوكولات التصويت تحقق من أهلية الموقع ولقطة الوزن ونطاق الرسالة والمصدر والهدف والارتفاع والجولة ومتباينة quorum والتواقيع والأقفال ونسب الشهادة.
  5. اذكر افتراضات safety وliveness. حدد الوزن البيزنطي أو غير المتصل والتزامن والتأخير والتصويت المتناقض وسرقة المفاتيح وترابط العملاء وتغيير الأعضاء وإتاحة العقوبات وما يحدث عند توقف الإنهاء. قد يحفظ التوقف safety مع فقدان liveness.
  6. ارسم كل طبقات التسوية. تتبع استلام sequencer وتنفيذ L2 ونشر البيانات وإدراج L1 ونهائية L1 واكتمال الإثبات أو النزاع وتنفيذ الجسر وقيد منصة التداول وإجراء التطبيق. لا يلزم أن تشير التسميات المتشابهة عبر الطبقات إلى الشرط نفسه.
  7. ضع سياسة للتطبيق وراقبها. عرّف الدليل المقبول حسب القيمة والعاقبة، واستعلم من عقد مستقلة، وعالج إعادة التنظيم وإنذارات النهائية المتعارضة، وأوقف الإجراءات غير القابلة للعكس عند سقوط الافتراضات، وسجل من يجيز الاسترداد.

عدد التأكيدات ملاحظة لا قاعدة نهائية عامة. في Bitcoin Core تعتمد confirmations على موضع الكتلة في السلسلة النشطة الحالية، بينما تسجل chainwork العمل المتوقع التراكمي. وفي Ethereum يُعد اختيار الرأس LMD-GHOST وتبرير نقاط التحقق وإنهاؤها عبر Casper FFG انتقالات منفصلة. وفي CometBFT يتطلب commit أكثر من ثلثي قوة التصويت في precommit للكتلة نفسها عند الارتفاع والجولة نفسيهما. يجب تفسير كل حالة داخل بروتوكولها.

أمثلة محسوبة

1. تسوية إثبات العمل الاحتمالية

تصوغ ورقة Bitcoin البيضاء مهاجمًا حصته من قوة التجزئة q=0.10 يحاول اللحاق بالسلسلة النزيهة بعد تقدمها بمقدار z=6. وضمن افتراضات محاولات التجزئة المستقلة وتوزيع بواسون، يكون احتمال اللحاق المحسوب:

P=0.0002428 = 0.02428%

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

2. التبرير والإنهاء في Ethereum

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

قد يمتد الرأس بعد C_2 بينما يبقى الجزء الأحدث غير نهائي. إذا كان الرصيد 34 غير متصل، فلا يبقى إلا 66 ويتوقف الإنهاء الفوري، حتى لو استمر اختيار الفرع وإنتاج الكتل. وبعد أكثر من أربع epochs بلا نهائية يبدأ inactivity leak في Ethereum بمعاقبة عدم المشاركة كي تتمكن أغلبية فائقة نشطة من استعادة النهائية لاحقًا.

3. السلامة مقابل الاستمرارية في CometBFT

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

إذا تعذر استخدام الوزن 34 فلن يصوت إلا 66، فلا يتكون commit. قد يحافظ البروتوكول على safety بينما تتوقف النهائية. «لا توجد كتلة نهائية متعارضة» و«تستمر الكتل الجديدة في الإنهاء» ضمانان مختلفان.

4. حالات OP Stack ومهل السحب

قد يعرض sequencer في OP Stack كتلة L2 أولًا بوصفها unsafe. وعندما يمكن اشتقاقها بالكامل من بيانات سلسلة L1 القياسية الحالية، تستطيع عقدة rollup وسمها safe. وعندما تتلقى مدخلات L1 المقابلة إشارة نهائية L1، قد تصبح كتلة L2 المشتقة finalized.

تتعلق هذه الحالة بالاشتقاق من مدخلات نهائية. أما مخرج optimistic rollup أو السحب من L2 إلى L1 فله عملية إثبات ونزاع منفصلة، وقد يسمى «نهائيًا» فقط بعد استيفاء شرط الطعن. قد يحرر التطبيق القيمة مبكرًا إذا دمج تأكيد sequencer وإدراج بيانات L1 ونهائية إجماع L1 وتنفيذ السحب في توقيت واحد.

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

التعريف والدليل

  • وصف أي تنفيذ أو إيصال أو تأكيد أو نقطة تحقق أو شارة ناجحة بأنها «نهائية».
  • حذف السلسلة والشبكة والإصدار وتجزئة الكائن والارتفاع أو slot والطبقة والمراقب.
  • اعتبار رأس fork choice الحالي سلفًا نهائيًا أو افتراض أن الإنهاء يختار أحدث رأس.
  • عد الكتل أو الدقائق دون التحقق من النسب والأهداف والعمل والأصوات أو الشهادات.
  • مقارنة «تأكيدين» أو «نهائية عشر دقائق» بين بروتوكولات ذات أدلة ونماذج أعطال مختلفة.
  • التحقق من التواقيع دون الأهلية والوزن والنطاق والمصدر والهدف والارتفاع والجولة.
  • مساواة الكلفة الاقتصادية والدليل القابل للعقوبة والتنفيذ الفعلي للعقوبة.
  • وصف الخطر الاحتمالي بأنه صفر أو safety الحتمية المشروطة بأنها عدم قابلية مطلقة للعكس.

إخفاقات البروتوكول والتشغيل

  • تجاوز الحد البيزنطي أو فقدان الوزن المتصل اللازم لـliveness أو إخفاء انقسام الشبكة.
  • السماح باختلاف التطبيقات في الصلاحية أو fork choice أو الانتقالات أو تقريب quorum أو نسب الشهادة.
  • قبول أصوات أو commits أو نقاط تحقق أو بيانات weak subjectivity قديمة أو معادة أو من شبكة أخرى.
  • تركيز المفاتيح أو stake أو قوة التجزئة أو العملاء أو relays أو السحب أو وجهات RPC خلف هويات منفصلة اسمًا.
  • افتراض أن inactivity leak أو timeout أو تغيير view يعيد التقدم فورًا ومن دون عواقب.
  • عدم التنبيه إلى تأخر النهائية أو الشهادات المتعارضة أو إعادة التنظيم العميقة أو التصويت المتناقض أو اختلاف الجذور النهائية.
  • استخدام حوكمة طوارئ أو استرداد اجتماعي دون توثيق السلطة والتنسيق وإصدار العملاء والضمانات المتأثرة.

عدم تطابق الطبقات والتطبيق

  • اعتبار إدراج sequencer في آن واحد safety لـL2 ونشر L1 ونهائية L1 وقبول الإثبات واكتمال السحب.
  • تحرير الأصول المجسرة قبل أن يفي حدث المصدر ومسار تحقق الجسر نفسه بالسياسة.
  • قيد الودائع أو تنفيذ صفقات غير قابلة للعكس من حالة مزود RPC واحد بلا مطابقة مستقلة.
  • افتراض أن نهائية السلسلة تضمن صدق oracle أو صحة العقد أو إتاحة البيانات أو ملاءة المنصة أو التسوية القانونية.
  • تطبيق عتبة تأكيد ثابتة واحدة على كل قيمة وطرف وحافز هجوم وكلفة استرداد.

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

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

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

المصادر

التنقل

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