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

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

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

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

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

@BabylonLabs_io $BABY #baby

$BLESS $CELR