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

المدقق

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

آخر تحديث

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

إجابة مباشرة

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

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

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

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

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

كيفية تحليل المُصدق

1. أصلح البروتوكول وقاعدة القواعد

سجّل network، chain ID، الفُرع النشط أو وقت التشغيل، الكتلة أو الحقبة، إصدار العميل/المواصفات، والعقود أو الوحدات ذات الصلة بالمراهنة. المصطلحات validator، nominator، delegator، vote account، وoperator غير قابلة للاستبدال عبر سلاسل Ethereum، Cosmos SDK، Polkadot، وSolana. تحقق من المعلمات الحية والحالة النهائية بدلاً من نقل القواعد من شبكة أخرى.

2. حل الهويات والمفاتيح والتحكم

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

3. تتبع القبول والتفعيل والخروج

تحديد الحد الأدنى للرهانات أو متطلبات التعيين، معاملات التسجيل، قوائم الانتظار للربط والتفعيل، اختيار المجموعة النشطة، حدود الجلسة أو الحقبة، حدود التغيير، فك الربط، الخروج القسري، واكتمال السحب. Deposited و bonded و eligible و active و exiting و withdrawable و withdrawn هي حالات مميزة. قد لا يكسب المدقق الموجود في قائمة الانتظار شيئًا، بينما قد يظل المدقق الخارج لديه واجبات أو معرضًا للعقوبة.

4. عدد الواجبات وقيود التوقيع

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

5. إعادة إنتاج حساب الوزن الفعّال والحد الأدنى للنصاب

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

6. التوفيق بين الاقتصاد وتوزيع الخسائر

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

7. مراجعة العمليات والتحقق من الحالة على السلسلة

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

أمثلة محلولة

احتمال التوزيع والتباين

افترض أن البروتوكول يأخذ عينات من المصادقين بنسبة الوزن الفعّال. المدقق V لديه 64 وحدة من 3,200,000، لذا فإن فرصة واحدة لها احتمالية:

64 / 3,200,000 = 0.00002 = 0.002%.

عبر فرص تصويرية مستقلة 100,000، التعيينات المتوقعة هي lambda = 100,000 * 0.00002 = 2. تحت تقريب Poisson، احتمال وجود صفر تعيينات هو:

P(0) = exp(-2) = 13.5335%.

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

الحيوية المرجحة ليست عدد المدققين

افترض أن الحتمية تتطلب أكثر من ثلثي الوزن الإجمالي للتصويت، ولدى اللقطة 1,000,000 وحدة. أصغر عتبة صحيحة هي 666,667. إذا كان المصدقون المتصلون بالإنترنت يمثلون 655,000، فإن العجز هو:

666,667 - 655,000 = 11,667.

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

شلال المكافأة والعمولة

لفترة واحدة، افترض أن المُحقق يكسب 1,800 وحدة من مكافآت البروتوكول و300 كرسوم، ويتكبّد 60 من عقوبات البروتوكول، ويأخذ 15% عمولة على المتبقي 2,040:

1,800 + 300 - 60 = 2,040.

operator_commission = 2,040 * 0.15 = 306.

delegator_distribution = 2,040 - 306 = 1,734.

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

السجلات مقابل السيطرة المشتركة

يُظهر المستكشف سجلات المدقق 120، كل منها تحتوي على وحدات فعالة 32، للوزن الإجمالي:

120 * 32 = 3,840.

تربط المراجعة السجلات 60 بالمشغل A، و40 بالمشغل B، و20 بالمشغل C. وأوزانهم الفعلية هي 1,920 و1,280 و640، أو 50% و33.3333% و16.6667%. وتعرض الواجهة هويات المدققين 120، ولكن هناك ثلاثة مشغّلين معروفين فقط. ينبغي أن تشمل التحليلات الإضافية أيضًا تجميع الموقعين المشتركين والعملاء والسحابات والملكية المفيدة؛ وعدد السجلات ليس مقياسًا للامركزية.

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

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

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

هل كل عقدة كاملة هي مدقق؟

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

هل يقوم المصدق بالتحقق من المعاملات بناءً على الحكم الشخصي؟

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

هل المزيد من سجلات المصادقين يعني دائمًا المزيد من اللامركزية؟

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

هل العائد المعلن عن الستاكينغ هو ربح مشغل المُصَفِّّي؟

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

هل يمكن للمشغل الخروج والسحب فورًا عند ارتفاع المخاطر؟

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

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

المصادر

التنقل

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