ما هو بروتوكول كاسبر في إيثيريوم؟ أسس إجماع إثبات الحصة

ما هو بروتوكول كاسبر في إيثيريوم؟

بروتوكول كاسبر (Casper) هو عائلة تصاميم الإجماع القائمة على إثبات الحصة التي قادت تحوّل إيثيريوم بعيدًا عن التعدين المستهلك للطاقة. فبدل حل الألغاز الحسابية، يقفل المشاركون في الشبكة وديعة رأسمالية ويصبحون مدقّقين يساعدون في تأكيد الكتل. والابتكار الجوهري هو النهائية الاقتصادية (Economic Finality): يرهن المدقّقون قيمة حقيقية، ويكسبون مكافآت على السلوك النزيه، ويخسرون جزءًا من وديعتهم (عقوبة تُسمّى «القطع» أو Slashing) إذا خالفوا القواعد. جعل كاسبر مهاجمة إيثيريوم أمرًا غير منطقي اقتصاديًا، واستبدل الأمان القائم على القوة الحسابية في إثبات العمل بحوافز مستمدة من نظرية الألعاب تكافئ الإجماع النزيه وتعاقب المراوغة.

رسم جنبًا إلى جنب يقارن مزرعة تعدين بإثبات العمل بمدقّق في إثبات الحصة يقفل وديعته

نسختان: كاسبر FFG وكاسبر CBC

لم يكن كاسبر منتجًا واحدًا قط، بل شكّله مساران بحثيان:

• كاسبر FFG (Friendly Finality Gadget): طبقة هجينة كانت في الأصل تعمل فوق إثبات العمل لإضافة نقاط تفتيش للنهائية. أصبحت الجسر المفاهيمي نحو إثبات الحصة الكامل، وأثّرت مباشرة في طبقة الإجماع التي أُطلقت مع «الدمج» (The Merge).
• كاسبر CBC (Correct-By-Construction): عائلة أكثر نظرية وتجريدًا، صُممت بحيث تتحقق خصائص الأمان بحكم البناء الرياضي نفسه لا عبر ترقيعات لاحقة.

وتستخدم آلية الإجماع في إيثيريوم حاليًا أفكارًا منحدرة من كاسبر FFG، مقترنة بقاعدة اختيار الفرع LMD-GHOST.

كيف يؤمّن كاسبر الشبكة؟

يقوم نموذج الأمان على ثلاث ركائز تعمل معًا.

1. الودائع المرهونة

للمشاركة، يجب على المدقّق (Validator) أن يقفل ETH وديعةً ضامنة، وهي عملية تُسمّى «الربط» (Bonding). ولا يحق التصويت على الإجماع إلا للمدقّقين المرتبطين بودائع. الوديعة هي ما يضعه المدقّق على المحك: يمكن أن تُنتزع منه.

2. التصويت على النهائية

يصوّت المدقّقون عبر الحقب (Epochs) لـ«تبرير» نقاط التفتيش ثم «إنهائها». وبمجرد إنهاء نقطة تفتيش، يتطلب عكسها أن يدمّر المهاجم ثلث إجمالي ETH المرهون على الأقل. هذا ما تعنيه النهائية الاقتصادية عمليًا: ليس عكسها «صعبًا جدًا» فحسب، بل باهظ التكلفة بشكل يمكن إثباته.

3. القطع (Slashing)

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

مخطط تدفق لحقبة واحدة: الاقتراح، التصديق، التبرير، الإنهاء، مع فرع للقطع عند التصويت غير النزيه

إثبات العمل مقابل إثبات الحصة في كاسبر

مثال تطبيقي: مدقّق نزيه مقابل مدقّق مقطوع

تخيل مدقّقًا ربط 32 ETH، والشبكة تقدم عائد رهن سنويًا قدره 4%.

• المسار النزيه: خلال عام يكسب المدقّق نحو 32 × 0.04 = 1.28 ETH مكافآت. رأس المال سليم، ويستطيع سحب الـ 32 ETH الأصلية مع المكافآت.
• مسار القطع: لنفترض أن المدقّق وقّع مرتين أثناء حادثة مترابطة، فطبّق البروتوكول عقوبة دنيا قدرها 1 ETH إضافة إلى عقوبة ترابط ليصل المجموع مثلًا إلى 3 ETH. يُخرَج المدقّق قسرًا بـ 29 ETH ويخسر كل العائد المستقبلي. لحظة واحدة من عدم النزاهة تمحو أكثر من عامين من المكافآت المتوقعة.

الخلاصة: القيمة المتوقعة للغش سالبة بعمق، وهذا اللاتماثل هو جوهر التصميم كله.

كيف تصبح مدقّقًا؟ الخطوات الأساسية

1. احصل على الحصة: امتلك 32 ETH (أو استخدم مجمّعات الرهن (Staking) أو الرهن السائل إن كنت تملك أقل).
2. شغّل عقدة: شغّل عميل تنفيذ وعميل إجماع معًا على أجهزة موثوقة.
3. أنشئ المفاتيح وأودِع: أنشئ مفاتيح المدقّق وأرسل وديعة الربط إلى عقد الإيداع.
4. صدّق واقترح: يصوّت مدقّقك على نقاط التفتيش ويقترح الكتل أحيانًا.
5. ابقَ متصلًا: التوقف يستتبع عقوبات خمول صغيرة، والاستمرارية النزيهة تراكم المكافآت.
6. اخرج حين تكون مستعدًا: اطلب خروجًا منظمًا لفك الربط وسحب حصتك.

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

المخاطر والمزالق

• خطر القطع: المفاتيح المهيأة خطأً أو المكررة قد تسبب توقيعًا مزدوجًا غير مقصود، فحتى المشغّلون النزهاء يُقطعون إذا شغّلوا المفاتيح نفسها على جهازين.
• العقوبات المترابطة: إذا تعطل كثير من المدقّقين في وقت واحد (انقطاع سحابي، عميل فيه خلل)، تتصاعد العقوبات. وتنويع برمجيات العملاء يقلل هذا الخطر.
• قفل السيولة: ETH المرهون لا يُتداول بحرية أثناء الرهن، والخروج يمر بطابور انتظار.
• مشكلة «لا شيء على المحك» بين النظرية والتطبيق: جادل المنتقدون طويلًا بأن مدقّقي إثبات الحصة يستطيعون التصويت على كل فرع بتكلفة زهيدة. وشروط القطع في كاسبر وُجدت تحديدًا لجعل هذا السلوك مكلفًا، لكن الأمان يعتمد في النهاية على صحة التطبيق.
• الانجراف نحو المركزية: قد يراكم مزودو الرهن الكبار نفوذًا، وهو قلق يخص الحوكمة ويختلف عن أمان البروتوكول بحد ذاته.

من النظرية إلى الواقع

كان كاسبر يُقدَّم تاريخيًا على أنه نظري، بروتوكول على الورق قد يحل يومًا محل التعدين. لكن تلك المرحلة انتهت. فأحفاد كاسبر FFG يعملون الآن ويؤمّنون واحدة من أكبر شبكات العقود الذكية القائمة، إذ تعمل إيثيريوم بإثبات الحصة منذ «الدمج». وبالنسبة للمستثمر العادي، الإشارة العملية هي: أصبحت ETH أصلًا يدر عائدًا، يرتبط أمانه وسياسته النقدية بالمشاركة في الرهن. وفهم الربط والقطع لم يعد شأنًا أكاديميًا، بل هو أساس فهم كيف يعمل عائد الرهن واقتصاديات المدقّقين وميزانية أمان إيثيريوم على المدى الطويل.

شريط زمني من مقترحات أبحاث كاسبر المبكرة إلى «الدمج» ثم المشاركة الحالية في الرهن