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

اقتطاع الرهن (Slashing)

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

آخر تحديث

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

إجابة مباشرة

اقتطاع الرهن (Slashing) هو خفض يحدده البروتوكول للرهن بعد مخالفة يمكن نسبتها إلى مدقق أو مشغل أو مشارك مرتبط آخر. وتحدد القاعدة الكاملة المخالفة القابلة للاقتطاع، والدليل أو العداد الذي يثبتها، والرهن المعرض، وطريقة حساب العقوبة، والفترة التي يظل تطبيقها ممكنًا فيها. وقد يصاحبه تعليق أو تعطيل أو خروج قسري أو فقدان مكافآت أو مكافأة إبلاغ، لكنها انتقالات حالة مستقلة ما لم يعرّفها البروتوكول معًا.

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

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

احتفظ بهذه المفاهيم منفصلة:

  • المكافأة المفقودة أو العقوبة العادية: كان الواجب غائبًا أو متأخرًا أو غير صحيح، لكن لم يثبت أي مخالفة تستحق العقوبة.
  • آلية الخمول: تزداد عقوبات أو تتغير وزن التصويت خلال عدم النهائية الطويلة؛ تسرب عدم نشاط Ethereum ليس بالضرورة جزاءً.
  • اقتطاع الرهن (Slashing): انتقال حالة معترف بها على السلسلة أو من قبل البروتوكول يقلل الحصة المرتبطة بجريمة مثبتة.
  • السجن، التعطيل، الطرد، أو وضع العلامة الميتة: تم تعليق أو إنهاء مشاركة ؛ قد يحدث الإجراء مع أو بدون تقليل إضافي للحصة.
  • عقوبة اجتماعية أو تعاقدية: تفرض الحوكمة أو اتفاقية الخدمة أو وثيقة التأمين أو التفرع المنسق أثرًا خارج وظيفة اقتطاع الرهن التلقائية في البروتوكول الأساسي.

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

كيفية تحليل اقتطاع الرهن

1. ثبّت مجموعة القواعد ونقطة المراقبة

سجّل network، chain ID، fork version النشط أو وقت التشغيل، الكتلة أو الحقبة، إصدار العميل/المواصفة، وعناوين العقود ذات الصلة. افصل قواعد الإجماع عن شروط مزود الستاكينغ وواجهة المستخدم. استعلام المعلمة الحالي والحالة النهائية هما دليل أقوى من صفحة المساعدة غير المؤرخة.

2. اكتب شرط المخالفة بدقة

سمّ القاعدة بمصطلحات قابلة للتنفيذ: اقتراحان مختلفان من قبل مُصدّق واحد لنفس الفتحة، double vote، surround vote، تصويت غير صالح يعترف به البروتوكول، أو missed > max_missed ضمن نافذة النشاط. لا تستبدل الشرط بتسميات مثل “سلوك سيء”، “غير متصل”، أو “هجوم”.

3. تحقق من الإسناد والأدلة

تحقق من هوية المدقق أو المشغل، والتواقيع، signing root، فصل النطاق، سياق التفريع، الارتفاعات أو الفترات، وعمر الأدلة. بالنسبة لانتهاكات الرسائل المتضاربة، احتفظ بكلا الكائنين الموقعين. بالنسبة لقواعد الحيوية، أعد إنتاج عداد البروتوكول والنافذة. يمكن أن يحدث إدراج الأدلة بعد الانتهاك، لذا ميز بين infraction time وdetection time وapplication time.

4. تحديد كل رصيد مكشوف

حدد ما إذا كانت القاعدة هي effective balance، الحصة المرتبطة عند ارتفاع المخالفة، الحصة الحالية، الحصة الذاتية، الحصة المفوضة، تخصيص فتحة المحقق، أو الحصة المخصصة لـ operator set. تحقق من الحدود العليا والدنيا، زيادات التقريب، الفئة، الخصومات السابقة، إعادة التفويضات، وما إذا كانت عمليات السحب المعلقة لا تزال قابلة للخصم.

5. إعادة إنتاج كل مكون من مكونات العقوبة

قسّم النتيجة إلى initial penalty و correlation penalty، واستمرار عقوبات الواجب، والمكافآت الفائتة، وتأثيرات الخروج القسري، ومكافآت الإبلاغ أو المبلغين عن المخالفات. قد يستخدم قاعدة ثابتة بسيطة slash_amount = slashable_stake * slash_fraction؛ تستخدم العديد من البروتوكولات الحية بدلاً من ذلك دوال تعتمد على الحالة. لا تطبق أبدًا نسبة مئوية رئيسية على رصيد المحفظة دون التأكد من الأساس.

6. ارسم الخريطة الكاملة للجدول الزمني وحامل الخسارة

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

7. تحقق من الضوابط وتوفيق الحالة

راجع الحضانة الرئيسية، وحصرية الموقع، ومتانة slashing protection database، وفصل الفشل، واستعادة النسخ الاحتياطي، ومراقبة الساعة والشبكة، وتنوع العملاء، وإجراءات الحوادث. أعد حساب الحدث من الحالة النهائية، والمعايير، والأدلة، وفروقات الرصيد؛ ووافقه مع تسميات المستكشف، وبيانات المزود، وقيود المحاسبة، وأي دفعة تأمين دون اعتبار أي مصدر كمقرر نهائي.

أمثلة محلولة

تواقيع متضاربة بأسلوب Ethereum

افترض أن المحقق V يوقع على رأس الكتلة A ورأس مختلف B لكود slot = 8، مع توقيعات صالحة ضمن نفس سياق التفرع المطبق. يفي الزوج بشكل المقترح-lالقابل للمعاملة Ethereum؛ أما الاقتراح الفائت في الفتحة 9 فلا يفي. بالنسبة للشهادات، لنفترض A = (source = 120, target = 125) و B = (source = 118, target = 127). نظرًا لأن B يحيط ب A، فإن الزوج له شكل التصويت المحاط. الملصقات وحدها غير كافية: يجب أن تمر البيانات الموقعة الفعلية، والنطاقات، وفهرس المحقق، وفحوصات فترة القابل للخصم وفقًا للمواصفة النشطة.

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

حساب خسارة الحصة بالتناسب

ضع في الاعتبار بروتوكول توضيحي يحتوي على رموز slashable_stake = 12,500 و slash_fraction = 0.015 ثابت. فقدان البروتوكول هو:

12,500 * 0.015 = 187.5 tokens.

إذا طبقت القاعدة الخسارة على كل الرهن الداعم بالتناسب، تخسر حصة المشغل الذاتية البالغة 2,500 رمزًا مقدار 37.5، بينما تخسر الرموز المفوضة البالغة 10,000 مقدار 150. وإذا عوض عقد الخدمة المفوضين دون المشغل، فالتعويض مستحق منفصل وتعرض ائتماني. وهو لا يغير اقتطاع الرهن على السلسلة، ولا يجوز نقل هذا التوزيع إلى بروتوكول يحمي المفوضين أو يستخدم قاعدة رهن مختلفة.

نافذة النشاط على غرار Cosmos

افترض أن سلسلة تعتمد على Cosmos SDK قد استعلمت عن المعلمات window = 1,000 و min_signed = 0.95. الحد الأقصى المسموح به للفشل هو:

max_missed = 1,000 - (0.95 * 1,000) = 50.

إذا تم تفعيل القاعدة النشطة عندما missed > max_missed، فإن 50 بالضبط الذي يفشل لا يتجاوز الحد، بينما 51 يتجاوزه. النسبة الناتجة من القاعدة، ومدة السجن، وإعادة ضبط العداد، والقدرة على فك الحجز تأتي من معلمات السلسلة النشطة وإصدار الوحدة. هذا مثال لسلسلة مُكوّنة، وليس قاعدة إثبات الحصة العالمية، وليس معالجة Ethereum للتوقف عن العمل.

صيغة المخالفات المترابطة

التوثيق الذي تمت مراجعته لـ Polkadot يعطي كسر التلاعب min((3 * x / n)^2, 1)، حيث أن x هو عدد المخالفين و n هو عدد المدققين النشطين. مع x = 5 و n = 100:

min((3 * 5 / 100)^2, 1) = 0.0225 = 2.25%.

مطَبَّق على وحدات 40,000 من الحصة في فتحة المدقق، أي وحدات 900. مع x = 20، تعطي الصيغة نفسها 36%، وليست أربعة أضعاف 2.25%. هذا يوضح مخاطر الترابط؛ ولا يجيز استخدام تلك الصيغة على Ethereum، أو سلسلة كوزموس، أو باراشين، أو وقت تشغيل Polkadot مختلف دون التحقق من القواعد الحالية.

المخاطر وفشل المراجعة

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

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

هل يتم خصم كل مدقق غير متصل بالشبكة؟

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

هل يتطلب التخفيض إثبات النية الخبيثة؟

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

هل تساوي الخسارة القصوى نسبة اقتطاع الرهن المعلنة؟

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

هل يؤدي بدء الخروج إلى إنهاء التعرض لاقتطاع الرهن فورًا؟

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

هل يزيل التفويض أو التأمين أو الاسترداد الاجتماعي خطر الخصم؟

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

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

المصادر

التنقل

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