آلية الإنهاء النهائي

ما آلية الإنهاء النهائي؟

آلية الإنهاء النهائي هي مكوّن في إجماع البلوكشين يحدد متى ينبغي اعتبار كتلة أو نقطة تحقق نهائية.

تُعد الكتلة التي وصلت إلى الإنهاء النهائي جزءًا من سجل البلوكشين الدائم وفق افتراضات الأمان المعتادة للبروتوكول.

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

تشير كلمة «آلية» إلى إمكانية إضافة آلية الإنهاء النهائي أو دمجها مع نظام آخر مسؤول عن إنتاج الكتل واختيار السلسلة الحالية.

ليس من الضروري أن تحدد آلية الإنهاء النهائي المشارك الذي ينشئ الكتلة التالية.

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

أشهر مثال عليها هو Casper the Friendly Finality Gadget، المعروف اختصارًا باسم Casper FFG.

تشكل Casper FFG مكوّن الإنهاء النهائي في آلية إجماع Ethereum القائمة على إثبات الحصة.

تجمع Ethereum بين Casper FFG وقاعدة اختيار التفرع LMD-GHOST في تصميم إجماع متكامل يسمى Gasper.

توضح وثائق Gasper الرسمية من Ethereum أن Casper تنهي نقاط التحقق، بينما تساعد LMD-GHOST العقد على اختيار رأس السلسلة الصحيح.

ما معنى الإنهاء النهائي في البلوكشين؟

الإنهاء النهائي في البلوكشين هو مستوى الثقة بأن معاملة مؤكدة لن تُحذف أو تتغير بسبب إعادة تنظيم لاحقة للسلسلة.

تُدرج المعاملة أولًا في كتلة مقترحة.

وقد تضاف كتل أخرى وتصويتات المدققين فوق تلك الكتلة.

وكلما زاد الدعم، انخفض احتمال التراجع عن المعاملة أو الجدوى الاقتصادية لذلك.

تكون المعاملة النهائية قد بلغت أقوى مستوى تأكيد معياري في البروتوكول.

لا يعني الإنهاء النهائي أن كل حاسوب أو موقع إلكتروني أو محفظة أو تطبيق قد عرض المعاملة بالفعل.

بل يعني أن نظام إجماع البلوكشين قد التزم بالكتلة التي تتضمنها.

يعرّف مسرد Ethereum الإنهاء النهائي بأنه ضمان عدم تغيير مجموعة من المعاملات من دون خسارة كمية كبيرة جدًا من ETH المخزّن.

لماذا تحتاج شبكات البلوكشين إلى الإنهاء النهائي؟

تتيح شبكات البلوكشين لعدد كبير من الحواسيب المستقلة الاحتفاظ بسجل مشترك للمعاملات.

وقد تؤدي تأخيرات الشبكة إلى تلقي العقد المختلفة كتلًا صالحة مختلفة في الوقت نفسه تقريبًا.

وقد ينشأ عن ذلك مؤقتًا فرعان متنافسان يُعرفان باسم Forks.

تساعد قاعدة اختيار التفرع العقد على تحديد الفرع الذي ينبغي لها اتباعه حاليًا.

لكن قد يُستبدل الفرع الفائز حاليًا عند ورود تصويتات أو كتل لاحقة تدعم فرعًا آخر.

تنشئ آلية الإنهاء النهائي التزامًا أقوى بالكتل الأقدم.

وبعد إنهاء نقطة تحقق، ينبغي للعقد النزيهة ألا تستبدلها بنقطة تحقق متعارضة.

يساعد هذا الالتزام مستخدمي العملات المشفرة والتطبيقات وأمناء الحفظ والجسور والعقود الذكية على تحديد متى تكون المعاملة قد سُوّيت بما يكفي.

لماذا تُسمى «آلية»؟

تُسمى آلية الإنهاء النهائي «آلية» لأنها قد تعمل وحدةً مستقلة ضمن آلية إجماع أكبر.

وقد يواصل النظام الأساسي اقتراح الكتل بسرعة حتى قبل بلوغها الإنهاء النهائي الكامل.

ثم تطبق الآلية قواعد تصويت المدققين على كتل أو نقاط تحقق مختارة.

يفصل هذا الهيكل المعياري بين سؤالين مترابطين لكنهما مختلفان.

السؤال الأول: أي كتلة ينبغي اعتبارها الرأس الحالي للسلسلة؟

السؤال الثاني: ما الكتل الأقدم الآمنة بما يكفي لاعتبارها نهائية؟

قد يسمح فصل هاتين الوظيفتين للبلوكشين بإنتاج الكتل بوتيرة متكررة، مع تطبيق قواعد اتفاق أقوى بوتيرة أقل.

إنتاج الكتل مقابل الإنهاء النهائي للكتل

إنتاج الكتل هو عملية اختيار مشارك لإنشاء كتلة جديدة وبثها.

أما الإنهاء النهائي للكتل، فهو عملية التوصل إلى اتفاق قوي على بقاء الكتلة ضمن السلسلة المعتمدة.

قد تستخدم شبكة البلوكشين بروتوكولًا لإنتاج الكتل وبروتوكولًا آخر لإنهائها نهائيًا.

تستخدم Ethereum مدققي إثبات الحصة لاقتراح كتل ضمن فترات زمنية تُسمى Slots.

وتستخدم قاعدة اختيار التفرع رسائل المدققين لتحديد رأس السلسلة.

أما Casper FFG، فتستخدم على نحو منفصل تصويتات نقاط التحقق لتبرير أجزاء من السلسلة وإنهائها نهائيًا.

وقد تستخدم شبكة أخرى بروتوكولًا مختلفًا لإنتاج الكتل، مع إضافة آلية إنهاء نهائي خاصة بها.

كيف تعمل آلية الإنهاء النهائي؟

تعمل آلية الإنهاء النهائي عمومًا بجمع تصويتات المدققين الذين وضعوا قيمة اقتصادية أو شكلًا آخر من أشكال التفويض وراء قراراتهم.

يفحص المدققون البلوكشين ويصوتون على العلاقة بين نقطة تحقق أقدم ونقطة تحقق أحدث.

تُسمى نقطة التحقق الأقدم عادةً «المصدر».

وتُسمى نقطة التحقق الأحدث «الهدف».

عندما يدعم وزن تصويتي كافٍ هذه العلاقة، يعترف البروتوكول بوجود رابط أغلبية ساحقة.

وعندئذ يمكن تبرير نقطة التحقق المستهدفة.

وعندما يستمر رابط التصويت المطلوب عبر نقاط تحقق لاحقة، يمكن إنهاء نقطة تحقق مبررة أقدم نهائيًا.

قد يتعرض المدققون الذين يوقّعون تصويتات متناقضة للعقوبة أو الإزالة من مجموعة المدققين.

وتجعل هذه العقوبات تعارض الإنهاء النهائي مكلفًا اقتصاديًا.

ما نقطة التحقق؟

نقطة التحقق هي كتلة تُختار عند حد زمني منتظم لاستخدامها في التصويت على الإنهاء النهائي.

لا تتطلب آليات الإنهاء النهائي دائمًا من المدققين إجراء تصويت كامل على كل كتلة على حدة.

بل يمكنها التصويت على نقاط تحقق تمثل مجموعات من الكتل.

يُقسّم الزمن في Ethereum إلى Slots وEpochs.

تستغرق كل Slot حاليًا 12 ثانية.

وتتألف كل Epoch من 32 Slot، وتستغرق نحو 6.4 دقائق.

تمثل الكتلة الموجودة في بداية كل Epoch نقطة التحقق الخاصة بها.

إذا لم تتضمن أول Slot في Epoch كتلة، فيمكن أن تمثل أحدث كتلة سابقة حد نقطة التحقق، وفق قواعد البروتوكول.

يوضح التعريف الرسمي لنقطة التحقق في Ethereum أن التصويت على نقاط التحقق يتيح جمع نشاط المدققين خلال Epoch في قرار بالأغلبية الساحقة.

ما التصديق؟

التصديق هو تصويت من المدقق بشأن حالة البلوكشين وسجل السلسلة.

يتضمن التصديق في Ethereum معلومات تستخدمها عمليتا اختيار التفرع والإنهاء النهائي.

يصوت المدقق للكتلة التي يراها رأس السلسلة.

كما يصوت لنقطة تحقق مصدر ونقطة تحقق مستهدفة تستخدمهما Casper FFG.

تُخصص للمدققين أوقات محددة لنشر التصديقات.

وتساعد التصديقات الصحيحة والصادرة في الوقت المناسب الشبكة على اختيار سلسلة وإنهاء نقاط التحقق.

قد تؤدي التصديقات الغائبة أو المتأخرة أو المتعارضة إلى خفض مكافآت المدقق أو فرض عقوبات عليه.

ما رابط الأغلبية الساحقة؟

يوجد رابط أغلبية ساحقة عندما تمثل تصويتات المدققين ما لا يقل عن ثلثي الحصة النشطة ذات الصلة، وتدعم الاتصال بين نقطتي تحقق.

وتفيد التصويتات بأن نقطة التحقق المستهدفة سليل صالح لنقطة التحقق المصدر.

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

ولو أُنهِيَت نقطتا تحقق متعارضتان كلتاهما، لكان ثلث الحصة على الأقل قد خالف قواعد التصويت.

ويمكن تحديد الحصة المتداخلة ومعاقبتها.

وبذلك تربط العتبة أمان الإجماع بعواقب اقتصادية قابلة للقياس.

ما نقطة التحقق المبررة؟

نقطة التحقق المبررة هي نقطة تحقق تلقت دعم الأغلبية الساحقة المطلوب من نقطة تحقق مبررة أقدم.

يمثل التبرير مستوى قويًا من الاتفاق، لكنه ليس نهائيًا.

من غير المرجح إزالة نقطة تحقق مبررة، لكن البروتوكول لم يمنحها بعد أقوى حالة للإنهاء النهائي.

وفق العملية المبسطة في Ethereum، يبرر المدققون أولًا نقطة تحقق أحدث عبر رابط أغلبية ساحقة من الثلثين.

ثم يمكن للتصويت المستمر على نقطة تحقق لاحقة أن ينهي نقطة التحقق المبررة الأقدم.

ما نقطة التحقق النهائية؟

نقطة التحقق النهائية هي نقطة تحقق مبررة تلقت العلاقة التصويتية الإضافية التي تتطلبها قواعد الإنهاء النهائي.

في المثال الشائع في Ethereum، تكون نقطة التحقق A مبررة بالفعل.

ثم ينشئ المدققون رابط أغلبية ساحقة من نقطة التحقق A إلى نقطة التحقق التالية B.

تصبح نقطة التحقق B مبررة، بينما تصبح نقطة التحقق A نهائية.

وتصبح كل كتلة عند نقطة التحقق النهائية A أو قبلها جزءًا من سجل السلسلة المنتهي نهائيًا.

وتكون المعاملة الموجودة في إحدى تلك الكتل قد بلغت الإنهاء النهائي على مستوى بروتوكول Ethereum.

ما Casper FFG؟

يرمز Casper FFG إلى Casper the Friendly Finality Gadget.

وهو بروتوكول إنهاء نهائي قائم على إثبات الحصة، صُمم ليُضاف إلى عملية إنتاج الكتل واختيار التفرع في البلوكشين أو ليكملها.

عرضت ورقة Casper FFG البحثية الأصلية نظام إنهاء نهائي بإثبات الحصة يمكنه إضافة حماية أقوى من التراجع عن الكتل إلى بلوكشين قائم.

يجمع التصميم بين إيداعات المدققين والتصويت بالأغلبية الساحقة وإنهاء نقاط التحقق النهائي وشروط العقوبة.

تستخدم Ethereum شكلًا معدلًا من Casper FFG ضمن نظام إجماعها الحالي القائم على إثبات الحصة.

ينبغي عدم الخلط بين Casper FFG وآلية إجماع Ethereum بأكملها.

فهي توفر قواعد الإنهاء النهائي، بينما تتولى مكونات أخرى اقتراح الكتل وتنفيذ المعاملات والشبكات واختيار التفرع.

ما Gasper؟

Gasper هو اسم تصميم إجماع Ethereum القائم على إثبات الحصة.

يجمع الاسم بين GHOST وCasper.

تساعد LMD-GHOST العقد على اختيار الرأس الحالي للبلوكشين.

وتبرر Casper FFG نقاط التحقق وتنهيها نهائيًا.

يمكن لمكوّن اختيار التفرع الاستجابة بسرعة للكتل الجديدة ورسائل المدققين.

أما مكوّن الإنهاء النهائي، فيوفر التزامًا أبطأ لكنه أقوى اقتصاديًا بسجل البلوكشين.

يتيح هذا الجمع لـ Ethereum إنتاج كتلة في كل Slot، مع بلوغ الإنهاء النهائي الكامل خلال فترة أطول.

ما LMD-GHOST؟

يرمز LMD-GHOST إلى Latest Message Driven Greedy Heaviest Observed SubTree.

وهي قاعدة اختيار التفرع التي تستخدمها عملاء الإجماع في Ethereum.

تراعي القاعدة أحدث رسالة صالحة من كل مدقق.

وتتبع الفرع الذي يحظى بأكبر وزن داعم من المدققين عبر شجرة الكتل.

تحدد LMD-GHOST الرأس الحالي للسلسلة، وقد يتغير ذلك مع وصول كتل وتصديقات جديدة.

توفر Casper FFG حدًا ينبغي ألا تتجاوزه عملية اختيار التفرع في الظروف العادية.

لذلك تعالج الآليتان مسألتين مترابطتين لكن منفصلتين في الإجماع.

كم يستغرق بلوغ Ethereum الإنهاء النهائي؟

تستغرق Ethereum حاليًا نحو 15 دقيقة لإنهاء كتلة نهائيًا في ظروف الشبكة العادية.

تستغرق كل Epoch نحو 6.4 دقائق لأنها تتألف من 32 Slot، مدة كل منها 12 ثانية.

يتطلب الإنهاء النهائي عادةً دعم نقاط التحقق عبر Epochs متتالية.

يعتمد الوقت المحدد الذي تختبره المعاملة على موضع كتلتها ضمن Epoch وموعد معالجة عدد كافٍ من تصويتات المدققين.

قد تزداد سلامة الكتلة قبل الإنهاء النهائي الكامل، لكنها لا تكون قد بلغت بعد أقوى مستوى للتسوية في البروتوكول.

يذكر المخطط الرسمي لآلية الإنهاء النهائي في Slot واحدة من Ethereum أن العملية الحالية تستغرق نحو 15 دقيقة.

الإنهاء النهائي مقابل تأكيدات الكتل

يعني تأكيد الكتلة عادةً إضافة كتلة أخرى أو خطوة جديدة في السلسلة بعد المعاملة.

تقلل التأكيدات الإضافية عمومًا احتمال إعادة تنظيم السلسلة.

قد يكون الأمان القائم على التأكيدات احتماليًا، أي إن احتمال التراجع يقل مع مرور الوقت، لكنه قد لا يبلغ صفرًا رياضيًا مطلقًا.

توفر آليات الإنهاء النهائي حالة بروتوكولية متميزة تستند إلى اتفاق المدققين والعقوبات الاقتصادية.

قد تحظى المعاملة بعدة تأكيدات من دون أن تكون قد وصلت إلى الإنهاء النهائي.

يمكن للتطبيقات الاستناد إلى عمق التأكيدات الحديثة وحالة الإنهاء النهائي معًا عند وضع سياسات الإيداع أو السحب.

الإنهاء الاحتمالي مقابل الإنهاء الاقتصادي

تزداد قوة الإنهاء الاحتمالي كلما أضيفت كتل أكثر فوق المعاملة.

ويزداد صعوبة التراجع عن كتلة أقدم لأن المهاجم يجب أن يستبدل مقدارًا أكبر من عمل السلسلة أو وزنها المقبول.

أما الإنهاء الاقتصادي، فيعتمد على التزامات المدققين القابلة للعقوبة.

يتطلب تعارض سجل منتهٍ نهائيًا أن يخالف المدققون القواعد ويعرّضوا أصولهم المخزنة للخطر.

توفر Casper FFG إنهاءً اقتصاديًا، لأن إنهاء الكتل على نحو غير نزيه قد يعرّض حصة كبيرة من حصة المدققين لعقوبة الخفض.

وكلمة «اقتصادي» مهمة هنا، لأن الإنهاء النهائي يعتمد على تكلفة مخالفة الإجماع وعواقبها، لا على الاستحالة المادية.

هل الإنهاء النهائي غير قابل للتراجع تمامًا؟

لا يعني الإنهاء النهائي الادعاء بأن التراجع مستحيل في كل ظرف يمكن تخيله.

بل هو ضمان بروتوكولي بعدم حدوث التراجع ما دامت افتراضات الأمان في النظام قائمة.

ولا يمكن الطعن في كتلة نهائية إلا بعد حدث خطير، مثل مخالفة واسعة النطاق لقواعد المدققين أو خطأ حرج في الإجماع أو قرار اجتماعي عقب إخفاق كارثي.

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

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

ما شروط العقوبة؟

تحدد شروط العقوبة سلوك المدقق الذي يثبت توقيعه على رسائل إجماع متعارضة.

تؤدي العقوبة إلى إتلاف جزء من العملة المشفرة المخزنة لدى المدقق أو كلها، وإزالته من المشاركة النشطة.

يعتمد الإنهاء النهائي على نمط Casper على فئتين رئيسيتين من تصويتات نقاط التحقق المحظورة.

الفئة الأولى هي التصويت المزدوج.

والثانية هي التصويت المتداخل.

صُممت هذه القواعد بحيث يكشف إنهاء نقاط تحقق متعارضة عن قدر كبير من سلوك المدققين القابل للعقوبة.

ما التصويت المزدوج؟

يحدث التصويت المزدوج عندما يقدم المدقق تصويتين مختلفين على نقاط تحقق ذات Epoch مستهدفة واحدة.

وبذلك يكون المدقق داعمًا فعليًا لهدفين متعارضين لفترة الإنهاء النهائي نفسها.

يجب على المدققين النزيهين نشر تصويت واحد صالح فقط على الهدف في تلك Epoch.

ويمكن استخدام تصويتين متعارضين موقّعين دليلًا تشفيريًا على المخالفة.

ما التصويت المتداخل؟

يحدث التصويت المتداخل عندما يحيط تصويتٌ للمدقق بتصويت آخر صادر عن المدقق نفسه.

أي إن مصدر أحد التصويتين أقدم، بينما هدفه أحدث من طرفي التصويت الآخر.

تمنع هذه القاعدة المدقق من دعم سجلات نقاط تحقق متعارضة عبر نطاقات متداخلة.

وكما في التصويت المزدوج، يمكن إثبات التصويت المتداخل باستخدام الرسائل الموقعة.

أهمية ثلث الحصة

تمثل عتبة الثلث عنصرًا أساسيًا في خصائص الأمان واستمرارية العمل في Casper FFG.

يتطلب الإنهاء النهائي تصويتات تمثل ثلثي الحصة النشطة على الأقل.

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

لا بد أن تكون المجموعة المتداخلة قد خالفت شروط العقوبة إذا دعمت عمليتي إنهاء متعارضتين.

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

توضح الوثائق الرسمية لإثبات الحصة في Ethereum أن عكس السجل المنتهي نهائيًا يتطلب من المهاجم تعريض ما لا يقل عن ثلث إجمالي ETH المخزن لخطر الإتلاف.

ماذا يحدث إذا توقف أكثر من ثلث المدققين عن العمل؟

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

وقد يستمر اقتراح الكتل، كما قد تواصل قاعدة اختيار التفرع تحديد رأس السلسلة.

لكن قد يتوقف الإنهاء النهائي لنقاط التحقق.

تُسمى هذه الحالة تأخر الإنهاء النهائي أو إخفاق الاستمرارية.

لا يعني تأخر الإنهاء النهائي تلقائيًا توقف البلوكشين عن معالجة كل المعاملات.

بل يعني أن أقوى حالة تسوية بروتوكولية لا تتقدم.

ما تسرب الخمول؟

تسرب الخمول آلية في Ethereum صُممت لاستعادة الإنهاء النهائي بعد فترة طويلة من عدم كفاية مشاركة المدققين.

عندما يتعذر الإنهاء النهائي لعدة Epochs، يبدأ المدققون الذين لا يشاركون على نحو صحيح بخسارة حصتهم بمعدل متزايد.

وتشكل الحصة النشطة تدريجيًا نسبة أكبر من الحصة الفعالة المتبقية.

وبمرور الوقت، يمكن للجانب النشط استعادة الأغلبية الساحقة البالغة الثلثين اللازمة لإنهاء نقاط التحقق.

توضح وثائق المكافآت والعقوبات في Ethereum أن تسرب الخمول يقلل تأثير المدققين غير النشطين إلى أن تتمكن الأغلبية المشاركة من استعادة الإنهاء النهائي.

تدعم هذه الآلية استمرارية العمل، لكن التعافي قد يستغرق وقتًا خلال انقسام كبير للشبكة أو إخفاق واسع للمدققين.

الأمان مقابل استمرارية العمل

يعني الأمان ألا تنهي العقد النزيهة سجلين متعارضين للبلوكشين.

وتعني استمرارية العمل قدرة البلوكشين على مواصلة التقدم وإنهاء نقاط تحقق جديدة.

ينبغي لآلية الإنهاء النهائي الموازنة بين هاتين الخاصيتين.

قد يحافظ الامتناع عن الإنهاء النهائي في أوقات عدم اليقين على الأمان، لكنه يؤخر التسوية.

أما الإنهاء بسهولة مفرطة فقد يحسن السرعة مع إضعاف الحماية من السجلات المتعارضة.

تعطي Casper FFG الأولوية للأمان القوي وتستخدم تسرب الخمول لاستعادة استمرارية العمل بعد اضطراب طويل.

ما تأخر الإنهاء النهائي؟

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

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

قد تواصل التطبيقات عرض المعاملات المقترحة حديثًا خلال التأخير.

لكن الأنظمة عالية القيمة قد تنتظر استئناف الإنهاء النهائي قبل اعتبار تلك المعاملات مسوّاة بصورة دائمة.

ينبغي عدم الخلط بين تأخر الإنهاء النهائي وإعادة تنظيم مؤكدة للسلسلة.

فهو يشير إلى زيادة عدم اليقين بشأن الكتل الحديثة، لا إلى إثبات إزالتها بالفعل.

ما الإنهاء المزدوج؟

يحدث الإنهاء المزدوج عندما يبدو أن نقطتي تحقق متعارضتين قد استوفتا كلتاهما قواعد الإنهاء النهائي في البروتوكول.

يمثل ذلك إخفاقًا حرجًا في الإجماع.

وفق نموذج Casper FFG المعتاد، يتعين أن يكون ثلث حصة المدققين على الأقل قد وقّع تصويتات متعارضة تستوجب العقوبة.

لا تستطيع العقد التي ترصد سجلين نهائيين متعارضين حل المشكلة تلقائيًا باستخدام قواعد اختيار التفرع العادية.

وقد يتطلب تحديد السجل المقبول تنسيقًا خارج السلسلة وإجماعًا اجتماعيًا.

لذلك يكون الإنهاء المزدوج أخطر بكثير من إعادة تنظيم عادية قصيرة النطاق.

آليات الإنهاء النهائي وإعادة تنظيم السلسلة

تحدث إعادة تنظيم السلسلة عندما تستبدل العقد كتلًا حديثة بفرع منافس.

قد تقع إعادات تنظيم صغيرة قبل الإنهاء النهائي لأن المدققين قد يتلقون الكتل والرسائل في أوقات مختلفة.

تحد آلية الإنهاء النهائي من المدى الذي يمكن أن تبلغه إعادة التنظيم العادية.

ينبغي للعقد النزيهة ألا تعيد تنظيم السلسلة إلى فرع يتعارض مع أحدث نقطة تحقق نهائية.

ينبغي للتطبيقات التي تقبل كتلًا غير نهائية مراعاة احتمال استمرار حدوث إعادة تنظيم قصيرة النطاق.

الإنهاء النهائي وإيداعات العملات المشفرة

قد تنتظر خدمة إيداع العملات المشفرة حتى تبلغ المعاملة عددًا محددًا من التأكيدات أو الإنهاء النهائي للبروتوكول قبل إتاحة الأموال.

وقد يُقيد الإيداع الصغير قبل الإنهاء النهائي الكامل إذا قبلت الخدمة مخاطر محدودة لإعادة التنظيم.

وقد تتطلب الإيداعات الأكبر مستوى أعلى من الثقة بالتسوية.

تُعد مدة الانتظار المطلوبة قرارًا تشغيليًا لإدارة المخاطر، وليست قاعدة موحدة للبلوكشين.

ينبغي للمستخدمين التمييز بين إدراج المعاملة وعرضها في المحفظة وإضافتها إلى رصيد الخدمة وتسويتها نهائيًا.

الإنهاء النهائي والجسور عبر السلاسل

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

قد يعالج الجسر الذي يتصرف قبل الإنهاء النهائي للسلسلة المصدر تحويلًا يُحذف لاحقًا بسبب إعادة تنظيم.

وقد يحاول المهاجم تلقي الأصول على السلسلة الوجهة قبل اختفاء معاملة المصدر.

يقلل انتظار الإنهاء النهائي هذا الخطر، لكنه يزيد مدة التحويل.

كما يجب أن يراعي مصممو الجسور أمان المدققين والمرحّلات والعقود الذكية والعملاء خفيفي الوزن والسلسلة الوجهة.

يحمي الإنهاء النهائي للسلسلة المصدر جزءًا واحدًا فقط من نظام الجسر الكامل.

الإنهاء النهائي وشبكات Layer 2

تعالج شبكات Layer 2 المعاملات خارج البلوكشين الأساسي، وتنشر البيانات أو البراهين أو الالتزامات عليه.

قد يختبر المستخدم تأكيدًا محليًا سريعًا قبل إنهاء المعاملة المرتبطة بها على الطبقة الأساسية.

وقد تعتمد التسوية الكاملة على تصميم Layer 2 ونظام الإثبات وفترة التحدي وتوافر البيانات والإنهاء النهائي للطبقة الأساسية.

قد لا تكون المعاملة الموصوفة بأنها نهائية داخل تطبيق Layer 2 قد بلغت بعد التسوية النهائية على البلوكشين الأساسي.

ينبغي للمستخدمين التحقق من نوع الإنهاء النهائي الذي يقصده التطبيق.

الإنهاء النهائي والعقود الذكية

قد تُنفذ معاملة العقد الذكي بنجاح قبل إنهاء كتلتها نهائيًا.

وقد تبني تطبيقات أخرى عمليات إضافية فورًا على الحالة المؤقتة الناتجة عنها.

قد تؤدي إعادة تنظيم السلسلة إلى حذف المعاملة وكل تغيير في الحالة يعتمد عليها ضمن الفرع المستبدل.

لذلك ينبغي للإجراءات خارج السلسلة عالية القيمة انتظار مستوى مناسب من التأكيد أو الإنهاء النهائي.

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

تتطلب مسارات العمل الحساسة للإنهاء النهائي عادةً معاملات لاحقة أو مرحّلات أو مراقبة خارج السلسلة.

ما مبدأ الموضوعية الضعيفة؟

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

قد يحاول مهاجم طويل الأمد إنشاء سجل بديل باستخدام مفاتيح مدققين سُحبت حصصهم منذ زمن طويل.

وقد لا تعود لدى هؤلاء المدققين السابقين حصة نشطة يمكن إخضاعها للعقوبات العادية.

وتحدد نقطة تحقق حديثة وفق مبدأ الموضوعية الضعيفة سجل البلوكشين الذي يعترف به المجتمع النشط.

توضح وثائق الموضوعية الضعيفة الرسمية في Ethereum كيف تحمي نقاط التحقق الحديثة العقد التي تزامن الشبكة من السجلات البديلة القديمة.

لا يعني مبدأ الموضوعية الضعيفة أن كل معاملة يومية تتطلب الثقة بسلطة مركزية.

بل ينطبق أساسًا على بدء تشغيل العقد بأمان عندما تفتقر إلى معرفة حديثة بالسلسلة.

نقطة التحقق وفق مبدأ الموضوعية الضعيفة مقابل نقطة التحقق النهائية

ينشئ بروتوكول تصويت المدققين نقطة التحقق النهائية.

أما نقطة التحقق وفق مبدأ الموضوعية الضعيفة، فهي مرجع موثوق حديث تقدمه إلى العقدة الجديدة أو المنقطعة عن الشبكة مدة طويلة.

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

أما إذا تعارضت كتلة مع نقطة التحقق الموثوقة للعقدة وفق مبدأ الموضوعية الضعيفة، فترفض العقدة تلك الكتلة.

المفهومان مرتبطان، لكن لكل منهما غرض أمني مختلف.

ما مزامنة نقاط التحقق؟

تتيح مزامنة نقاط التحقق لعقدة إثبات الحصة بدء المزامنة من نقطة تحقق موثوقة حديثة بدلًا من معالجة سجل الإجماع كاملًا منذ التكوين الأول.

وقد يقلل ذلك الوقت اللازم لتشغيل العقدة.

يجب أن تحصل العقدة على نقطة التحقق من مصدر موثوق أو جرى التحقق منه بشكل مستقل.

وقد يؤدي استخدام نقطة تحقق خبيثة إلى وضع العقدة على سلسلة غير صحيحة.

يمكن لمشغلي العقد مقارنة نقاط التحقق الواردة من عدة مصادر مستقلة قبل الاعتماد على قيمة واحدة.

آلية الإنهاء النهائي مقابل قاعدة اختيار التفرع

تحدد قاعدة اختيار التفرع الفرع الذي ينبغي للعقدة اتباعه في الوقت الحالي.

أما آلية الإنهاء النهائي، فتحدد نقاط التحقق الأقدم التي ينبغي ألا تُستبدل بعد ذلك.

قد تتغير نتيجة اختيار التفرع مع وصول رسائل جديدة.

لكن ينبغي أن يظل الحد النهائي ثابتًا ما لم يحدث إخفاق جسيم في الإجماع.

تُعد LMD-GHOST قاعدة اختيار التفرع في Ethereum، بينما تُعد Casper FFG آلية الإنهاء النهائي.

آلية الإنهاء النهائي مقابل آلية الإجماع

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

أما آلية الإنهاء النهائي، فهي مكوّن واحد ضمن ذلك النظام الأكبر.

إن وصف Casper FFG بأنها آلية إجماع Ethereum بأكملها يُغفل اقتراح الكتل وLMD-GHOST وتنفيذ المعاملات والمكافآت والشبكات ووظائف أساسية أخرى.

توضح وثائق آليات الإجماع في Ethereum أن الإجماع يتضمن مجموعة متكاملة من البروتوكولات والحوافز، لا إثبات الحصة وحده أو خوارزمية تصويت واحدة.

آلية الإنهاء النهائي مقابل إثبات الحصة

إثبات الحصة أسلوب لتوزيع تأثير الإجماع وفق الأصول المشفرة المخزنة.

أما آلية الإنهاء النهائي، فهي مجموعة قواعد تستخدم تصويت المدققين لإنهاء الكتل أو نقاط التحقق.

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

وقد تستخدم شبكات إثبات الحصة المختلفة قواعد وعتبات وجداول تصويت وعقوبات مختلفة للإنهاء النهائي.

آلية الإنهاء النهائي مقابل تحمّل الأعطال البيزنطية

يصف تحمّل الأعطال البيزنطية قدرة نظام موزع على الحفاظ على الاتفاق رغم تصرف بعض المشاركين على نحو غير صحيح أو خبيث.

تستخدم كثير من آليات الإنهاء النهائي أفكارًا من إجماع يتحمل الأعطال البيزنطية.

تتيح عتبة التصويت بالأغلبية الساحقة للنظام تحمل نسبة محدودة من وزن المدققين المعطّلين.

وتضيف العقوبات الاقتصادية طبقة حوافز خاصة بإثبات الحصة إلى قواعد التصويت هذه.

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

GRANDPA بوصفها آلية إنهاء نهائي

يرمز GRANDPA إلى GHOST-based Recursive ANcestor Deriving Prefix Agreement.

وهي آلية إنهاء نهائي مستخدمة في تصميم إجماع Polkadot.

تعمل GRANDPA بصورة منفصلة عن الآلية التي تنتج الكتل المرشحة.

يصوت مدققوها على السلاسل، ويمكنهم إنهاء سلف مشترك عبر عدة كتل بدلًا من إنهاء كتلة جديدة واحدة في كل مرة.

تصف وثائق إجماع Polkadot الرسمية GRANDPA بأنها آلية إنهاء نهائي غير متزامنة وقابلة للمساءلة.

توضح Casper FFG وGRANDPA إمكانية تطبيق مفهوم آليات الإنهاء النهائي باستخدام خوارزميات مختلفة.

مزايا آلية الإنهاء النهائي المنفصلة

تتيح الآلية المنفصلة استمرار إنتاج الكتل بسرعة، بينما يتطور الإنهاء النهائي الأقوى عبر تصويت المدققين.

وقد توفر إنهاءً نهائيًا صريحًا بدلًا من اضطرار المستخدمين إلى تقدير الأمان استنادًا إلى عمق التأكيدات وحده.

وتجعل شروط العقوبة بعض مخالفات الإجماع قابلة للإثبات علنًا وللعقوبة الاقتصادية.

وقد يتيح التصميم المعياري للباحثين تطوير اختيار التفرع والإنهاء النهائي بوصفهما مكوّنين منفصلين للبروتوكول.

كما قد يدعم آليات لإنتاج الكتل تظل متاحة أثناء التأخيرات المؤقتة في الإنهاء النهائي.

قيود آليات الإنهاء النهائي

تضيف آليات الإنهاء النهائي تعقيدًا إلى البروتوكول.

ويتعين على المدققين إدارة المفاتيح وجداول التصويت واتصالات الشبكة ومخاطر العقوبات.

يتطلب بلوغ الأغلبية الساحقة وقتًا واتصالات.

وقد يؤدي تعطل عدد كبير من المدققين إلى تأخير الإنهاء النهائي، حتى مع استمرار إنتاج الكتل.

وقد يجعل تركّز المدققين الإخفاق المنسق أو الرقابة أكثر خطورة.

وقد تحتاج العقد الجديدة والمنقطعة عن الشبكة مدة طويلة إلى نقاط تحقق موثوقة حديثة وفق افتراضات مبدأ الموضوعية الضعيفة.

كما يعتمد الإنهاء الاقتصادي على القيمة الفعلية للأصل المخزن وتوزيعه.

تركّز المدققين ومخاطر الإنهاء النهائي

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

وقد يتيح تركّز الحصة لمؤسسة واحدة أو مجموعة منسقة تأخير الإنهاء النهائي.

وقد يؤثر خطأ برمجي شائع في عدد كبير من المدققين في الوقت نفسه.

إذا كان أحد عملاء الإجماع يسيطر على أكثر من ثلث الحصة، فقد يمنع خطأ خطير الإنهاء النهائي.

وإذا كانت إحدى عمليات التنفيذ المعيبة تسيطر على أغلبية ساحقة، فقد تكون العواقب أشد.

توضح إرشادات تنوع العملاء في Ethereum أهمية توزيع استخدام المدققين على عمليات تنفيذ مستقلة للعملاء لتقليل مخاطر الإجماع المترابطة.

انقسامات الشبكة والإنهاء النهائي

يحدث انقسام الشبكة عندما تعجز مجموعات من المدققين عن التواصل فيما بينها على نحو موثوق.

وقد ترى كل مجموعة مجموعة مختلفة من الكتل والتصديقات.

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

تحمي خسارة استمرارية العمل الأمان، إذ لا تنهي المجموعتان سجلين متعارضين بسهولة.

وقد يتيح تسرب الخمول لأحد الجانبين استعادة الإنهاء النهائي في نهاية المطاف إذا استمر الانقسام مدة كافية.

وقد يتطلب التعافي تنسيقًا دقيقًا لأن المدققين على الجانبين قد يتعرضون للعقوبات.

هل يمكن لآلية الإنهاء النهائي إنهاء معاملة غير صالحة؟

لا تحل آلية الإنهاء النهائي محل التحقق العادي من المعاملات والكتل.

تتحقق عملاء التنفيذ من التوقيعات والأرصدة وقواعد العقود الذكية ومتطلبات المعاملات الأخرى.

وتتحقق عملاء الإجماع من قواعد الكتل والمدققين.

ترفض العقد النزيهة الكتل غير الصالحة قبل اعتبار دعم المدققين مقبولًا.

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

يجعل الإنهاء النهائي السجل الصالح المقبول صعب التراجع، لكنه لا يحول معاملة واضحة البطلان إلى معاملة صالحة عندما تعمل العملاء كما ينبغي.

هل يستطيع المدققون التراجع عن كتلة نهائية؟

لا يصوت المدققون الملتزمون بالبروتوكول لسلسلة تتعارض مع نقطة تحقق نهائية.

وتحتاج مجموعة تحاول إنهاء سجل بديل إلى قوة تصويت كافية لمخالفة قواعد الإجماع.

وقد تعرض التصويتات المتعارضة جزءًا من الحصة غير النزيهة على الأقل لعقوبة الخفض.

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

لذلك ينبغي للمستخدمين التمييز بين الكتل النهائية والكتل المقترحة حديثًا.

ما الإنهاء النهائي في Slot واحدة؟

الإنهاء النهائي في Slot واحدة تصميم مقترح للبلوكشين يمكن فيه اقتراح الكتلة وإنهاؤها نهائيًا خلال Slot واحدة.

تستغرق عملية الإنهاء النهائي الحالية في Ethereum نحو 15 دقيقة.

ومن شأن الإنهاء النهائي في Slot واحدة تقليل مدة الانتظار للتطبيقات والمستخدمين.

وقد يحد أيضًا من المدة التي تظل فيها الكتل الحديثة عرضة لمحاولات إعادة التنظيم.

يتطلب تحقيق ذلك على نطاق Ethereum تجميع مجموعة كبيرة جدًا من المدققين والتحقق منها بكفاءة.

حتى يوليو 2026، لا يزال الإنهاء النهائي في Slot واحدة جزءًا من خارطة طريق Ethereum المستقبلية، وليس آلية الإنهاء النهائي المستخدمة على الشبكة الرئيسية.

لماذا يصعب تسريع الإنهاء النهائي؟

يتطلب الإنهاء النهائي الأسرع من المدققين التواصل والتصويت وتجميع التوقيعات والتحقق من النتائج خلال وقت أقصر.

تتعرض شبكة المدققين العالمية لزمن استجابة وتوقفات مؤقتة واختلاف في جودة الاتصال.

وقد يؤدي اشتراط تصويت كل مدقق في كل Slot إلى استهلاك كبير للنطاق الترددي والقدرة الحاسوبية.

يحسن استخدام لجان أصغر الكفاءة، لكنه قد يقلل الأمان الاقتصادي الذي يمثله كل تصويت.

ينبغي لمصممي البروتوكول الموازنة بين السرعة واللامركزية والأمان ومتطلبات الأجهزة والمرونة.

أهمية الإنهاء النهائي لمتداولي العملات المشفرة

يساعد الإنهاء النهائي المتداولين على فهم متى يُرجح ألا تختفي معاملة إيداع أو تحويل بسبب إعادة تنظيم السلسلة.

تظل المعاملة التي لا تظهر إلا في كتلة مقترحة حديثًا معرضة لبعض مخاطر إعادة التنظيم.

أما المعاملة النهائية، فقد اجتازت أقوى عتبة إجماع معتادة في الشبكة.

قد يختار المتداولون الذين ينقلون مبالغ كبيرة الانتظار حتى بلوغ الإنهاء النهائي، حتى عندما تتيح خدمة ما المعاملات الأصغر قبل ذلك.

لا يحمي الإنهاء النهائي المتداول من إرسال العملات المشفرة إلى عنوان خاطئ أو توقيع معاملة ضارة أو شراء أصل تنخفض قيمته.

أهمية الإنهاء النهائي للمطورين

يتعين على المطورين تحديد الوقت الذي ينبغي فيه للتطبيق اعتبار الحدث على السلسلة مسوّى.

تعزز الاستجابة الفورية السرعة، لكنها تزيد مخاطر إعادة التنظيم.

ويعزز انتظار الإنهاء النهائي الكامل الثقة بالتسوية، لكنه يزيد زمن الانتظار.

ينبغي للتطبيقات التمييز بين حالات الكتل المقترحة والآمنة والنهائية، عندما تدعم واجهة الشبكة هذه المفاهيم.

وينبغي للتطبيقات عبر السلاسل مراعاة الإنهاء النهائي على سلسلتي المصدر والوجهة.

كما ينبغي لأنظمة المراقبة كشف تأخر الإنهاء النهائي بدلًا من افتراض تقدمه دائمًا وفق الجدول المحدد.

أهمية الإنهاء النهائي للمدققين

يساعد المدققون على تحقيق الإنهاء النهائي بنشر تصديقات متسقة وفي الوقت المناسب.

ويتعين عليهم حماية مفاتيح التوقيع وتجنب الإعدادات التي قد تصدر رسائل متعارضة.

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

ينبغي للمدققين استخدام قواعد بيانات الحماية من العقوبات عندما يدعمها البرنامج المستخدم.

كما يقلل تنوع العملاء ومزامنة الوقت الموثوقة والشبكات الآمنة والمراقبة مخاطر الإنهاء النهائي.

كيفية التحقق من الإنهاء النهائي

قد تعرض أداة مستكشف البلوكشين أو واجهة العقدة حالة الكتل بوصفها نهائية.

كما توفر واجهات إجماع Ethereum البرمجية معلومات نقاط التحقق النهائية.

قد تعرض المحفظة المعاملة على أنها مؤكدة فقط، من دون إظهار بلوغ الإنهاء النهائي الكامل.

يمكن للمستخدمين الذين يتعاملون بتحويلات عالية القيمة مقارنة كتلة المعاملة بآخر كتلة نهائية على الشبكة.

قد تعرض الواجهات التابعة لجهات خارجية بيانات متأخرة أو غير صحيحة، لذلك قد تستعلم الأنظمة المهمة من عقدتها الخاصة أو من عدة مصادر مستقلة.

مفاهيم خاطئة شائعة عن آليات الإنهاء النهائي

آلية الإنهاء النهائي ليست آلية الإجماع الكاملة للبلوكشين.

ولا تنتج الكتل بالضرورة.

ليست كل كتلة مؤكدة حديثًا قد بلغت الإنهاء النهائي.

لا يعني الإنهاء النهائي أن كل تطبيق أضاف المعاملة إلى رصيده بالفعل.

لا يمكن التراجع عن معاملة نهائية في ظل التشغيل المعتاد للبروتوكول، لكن الإخفاقات الكارثية في الإجماع تظل ممكنة نظريًا.

لا تُفرض عقوبة الخفض على كل مدقق يفوّت تصويتًا واحدًا.

تستهدف العقوبة السلوك المتعارض المثبت أو المخالفات الجسيمة، بينما يؤدي عدم المشاركة المعتاد إلى عقوبات أقل غالبًا.

لا يعني تأخر الإنهاء النهائي تلقائيًا توقف البلوكشين عن إنتاج الكتل.

لا تُعد Casper FFG وLMD-GHOST شيئًا واحدًا.

لا يعمل الإنهاء النهائي في Slot واحدة حاليًا على الشبكة الرئيسية لـ Ethereum.

الأسئلة الشائعة

ما معنى آلية الإنهاء النهائي في العملات المشفرة؟

هي مكوّن إجماع يستخدم تصويت المدققين والقواعد الاقتصادية لتحديد متى ينبغي اعتبار الكتل أو نقاط التحقق نهائية.

ما الغرض من آلية الإنهاء النهائي؟

الغرض منها توفير ضمانات قوية للتسوية ومنع عمليات إعادة التنظيم العادية من استبدال سجل البلوكشين المنتهي نهائيًا.

ما أشهر آليات الإنهاء النهائي؟

تُعد Casper the Friendly Finality Gadget، أو Casper FFG، أشهر مثال، وتُستخدم ضمن نظام إجماع Ethereum القائم على إثبات الحصة.

إلى ماذا يرمز FFG؟

يرمز FFG إلى Friendly Finality Gadget.

هل Casper FFG هي نفسها آلية إثبات الحصة في Ethereum؟

لا، Casper FFG هي مكوّن الإنهاء النهائي ضمن آلية إجماع Ethereum الأوسع القائمة على إثبات الحصة.

ما Gasper؟

Gasper هو تصميم الإجماع في Ethereum، ويجمع بين آلية الإنهاء النهائي Casper FFG وقاعدة اختيار التفرع LMD-GHOST.

ما الفرق بين Casper FFG وLMD-GHOST؟

تنهي Casper FFG نقاط التحقق، بينما تحدد LMD-GHOST الرأس الحالي للبلوكشين.

ما الكتلة النهائية؟

هي كتلة لا يمكن إزالتها في ظل التشغيل المعتاد للبروتوكول من دون إخفاق خطير في الإجماع وعقوبات كبيرة على المدققين.

ما نقطة التحقق المبررة؟

هي نقطة تحقق تلقت رابط أغلبية ساحقة مؤهلًا من نقطة تحقق مبررة أقدم، لكنها لم تبلغ بالضرورة الإنهاء النهائي.

ما رابط الأغلبية الساحقة؟

هو تصويت على نقطة تحقق تدعمه حصة لا تقل عن ثلثي حصة المدققين النشطة ذات الصلة.

كم يستغرق بلوغ Ethereum الإنهاء النهائي؟

تبلغ Ethereum حاليًا الإنهاء النهائي الكامل على مستوى البروتوكول خلال نحو 15 دقيقة في الظروف العادية.

كم تستغرق Epoch في Ethereum؟

تتألف Epoch في Ethereum من 32 Slot، مدة كل منها 12 ثانية، وتستغرق نحو 6.4 دقائق.

هل يُعد تأكيد واحد في Ethereum نهائيًا؟

لا، فقد تُؤكد الكتلة وتُقبل بوصفها الرأس الحالي للسلسلة قبل بلوغ الإنهاء النهائي على مستوى البروتوكول.

هل يمكن التراجع عن معاملة نهائية؟

ليس في الظروف العادية، لأن التراجع يتطلب مخالفات جسيمة لقواعد المدققين أو عقوبات اقتصادية أو إخفاقًا استثنائيًا في الإجماع.

ما مقدار الحصة اللازمة لإنهاء نقطة تحقق؟

يلزم تصويت يمثل ثلثي الحصة النشطة على الأقل لإنشاء رابط الأغلبية الساحقة المطلوب.

لماذا تكتسب حصة الثلث أهمية؟

قد تؤدي حصة تزيد على الثلث إلى تأخير الإنهاء النهائي، بينما يجعل إنهاء نقاط متعارضة ثلث الحصة على الأقل عرضة للعقوبة وفق افتراضات Casper المعتادة.

ماذا يحدث إذا توقف ثلث المدققين عن العمل؟

قد تتوقف الشبكة عن إنهاء نقاط تحقق جديدة لأن وزن التصويت المتبقي لا يستطيع بلوغ عتبة الثلثين المطلوبة.

ما تسرب الخمول؟

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

هل يؤدي تأخر الإنهاء النهائي إلى توقف جميع المعاملات؟

ليس بالضرورة، إذ قد يستمر اقتراح الكتل مع عدم بلوغ نقاط التحقق الجديدة الإنهاء النهائي.

ما الإنهاء المزدوج؟

هو إخفاق حرج في الإجماع يبدو فيه أن نقطتي تحقق متعارضتين وصلتا إلى الإنهاء النهائي.

ما التصويت المزدوج؟

يحدث التصويت المزدوج عندما يوقع المدقق على أهداف مختلفة لنقاط تحقق في Epoch مستهدفة واحدة.

ما التصويت المتداخل؟

يحدث التصويت المتداخل عندما يحيط تصويتٌ على نقطة تحقق صادر عن مدقق على نحو غير مسموح بتصويت آخر صادر عن المدقق نفسه.

ما عقوبة الخفض؟

هي إتلاف حصة المدقق وإزالته من التحقق النشط بعد إثبات مخالفات جسيمة لقواعد الإجماع.

هل تُستخدم آلية الإنهاء النهائي في Ethereum وحدها؟

لا، تستخدم أنظمة بلوكشين أخرى آليات إنهاء نهائي منفصلة، ومنها GRANDPA.

ما GRANDPA؟

هي آلية إنهاء نهائي تصوت على السلاسل وتنهي الأسلاف المشتركة بصورة منفصلة عن عملية إنتاج الكتل.

ما مبدأ الموضوعية الضعيفة؟

يعني أن عقدة إثبات الحصة الجديدة أو المنقطعة مدة طويلة تحتاج إلى نقطة تحقق موثوقة وحديثة لتزامن الشبكة بأمان.

ما مزامنة نقاط التحقق؟

تتيح للعقدة بدء مزامنة الإجماع من نقطة تحقق موثوقة حديثة بدلًا من معالجة السجل الكامل منذ التكوين الأول.

ما الإنهاء النهائي في Slot واحدة؟

هو تصميم مقترح تُقترح فيه الكتلة وتُنهى نهائيًا ضمن Slot نفسها.

هل تستخدم Ethereum حاليًا الإنهاء النهائي في Slot واحدة؟

لا، فهو يظل هدفًا مستقبليًا في خارطة الطريق حتى يوليو 2026.

لماذا تنتظر جسور العملات المشفرة الإنهاء النهائي؟

لتقليل مخاطر إصدار أصول أو رسائل استنادًا إلى معاملة على السلسلة المصدر قد تُحذف لاحقًا بسبب إعادة التنظيم.

هل يحمي الإنهاء النهائي من سرقة المحفظة؟

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

كيف يمكن للمستخدم التحقق من نهائية الكتلة؟

يمكنه مقارنة كتلة المعاملة بأحدث نقطة تحقق نهائية يعرضها مستكشف موثوق للبلوكشين أو عقدة إجماع موثوقة.

الخلاصة

آلية الإنهاء النهائي مكوّن في إجماع البلوكشين يحول اتفاق المدققين إلى ضمانات قوية للتسوية.

وتعمل بالتوازي مع قواعد إنتاج الكتل واختيار التفرع بدلًا من أن تحل محل آلية الإجماع بأكملها.

تستخدم Casper FFG في Ethereum تصويت نقاط التحقق وروابط الأغلبية الساحقة البالغة الثلثين والتبرير والإنهاء النهائي وشروط العقوبة لحماية سجل البلوكشين.

وتجمع Ethereum بين Casper FFG وLMD-GHOST في تصميم الإجماع الأوسع المعروف باسم Gasper.

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

وقد تحافظ آلية الإنهاء النهائي على الأمان بتأخير الإنهاء عندما يكون عدد كبير من المدققين متوقفًا عن العمل أو مختلفًا.

وصُمم تسرب الخمول في Ethereum لاستعادة استمرارية العمل عبر تقليل تأثير الحصة غير المشاركة أثناء إخفاق مطول في الإنهاء النهائي.

يهم الإنهاء النهائي إيداعات العملات المشفرة والجسور وشبكات Layer 2 والعقود الذكية والمدققين وكل تطبيق يحتاج إلى تحديد وقت التسوية الدائمة لحدث على السلسلة.

تستغرق عملية الإنهاء النهائي الحالية في Ethereum نحو 15 دقيقة، بينما يظل الإنهاء النهائي في Slot واحدة هدفًا تطويريًا مستقبليًا.

يساعد فهم الفرق بين اقتراح الكتل واختيار التفرع والتأكيد والتبرير والإنهاء النهائي مستخدمي العملات المشفرة على تقييم مخاطر تسوية البلوكشين بدقة أكبر.