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

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

تتعمق هذه الورقة البحثية في هذه المشكلة تحديدًا. يسأل المؤلفون، خافيير نييتو، وجواكيم نو، ولينج رين، سؤالًا بسيطًا ولكنه صعب: ما هي الحد الأدنى من المتطلبات المطلقة للحفاظ على سلامة هذه المدينة الفوضوية والنائمة؟ إنهم ينظرًا إلى الأنظمة الموجودة التي تحاول حل هذه المشكلة، ويجدون أن الكثير منها يعتمد على "خدع سحرية" أو قواعد إضافية لا تبدو منطقية تمامًا—مثل افتراض أن السكان النائمين يقومون سرًا بتحديث كلمات المرور الخاصة بهم، أو أن السكان الجدد يمكنهم سحريًا سؤال صديق موثوق به عن آخر الأخبار قبل انضمامهم. يقوم المؤلفون بتجريد كل تلك القواعد الإضافية لمعرفة ما سيحدث في النسخة "البسيطة" من المشكلة. ويكتشفون أنه للحفاظ على سلامة المدينة دون أي خدع سحرية، فأنت بحاجة إلى شرط محدد للغاية: في أي لحظة، يجب أن يكون عدد الأشخاص المستيقظين والصادقين أكبر من عدد المشاغبين مضافًا إليهم عدد الأشخاص الذين ناموا لفترة كافية تسمح للمشاغب بالتظاهر بأنهم هم. إنهم يسمون هذا بـ "الأغلبية الصادقة المقاومة للمحاكاة" (Simulation-Resistant Honest Majority).

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

المشكلة: المدينة النائمة وقائمة الضيوف المتغيرة

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

لكن في العالم الحديث لأنظمة بلوكشين "إثبات الحصة" (Proof-of-Stake)، تصبح الأمور فوضوية.

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

عندما تجمع بين هذين الأمرين، تحصل على سيناريو كابوسي للأمن. تخيل مجموعة من الأصدقاء يحاولون اتخاذ قرار بشأن فيلم. نصفهم نائم، وقائمة من يُسمح لهم بالتصويت تتغير كل خمس دقائق. يريد شرير ماكر ("الخصم") خداع المجموعة.

لدى الشرير خدعتان رئيسيتان:

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

المشكلة "البسيطة": لا مكان للسحر

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

يقول مؤلفو هذه الورقة: "مهلًا، هذا غش". إنهم يريدون معرفة ما إذا كان بإمكاننا حل هذه المشكلة في نموذج "DAR البسيط". وهذا يعني:

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

يسألون: ما هو الحد الأدنى من الشروط اللازمة للحفاظ على سلامة النظام؟

الاكتشاف: قاعدة "المقاومة للمحاكاة"

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

لقد قدموا مفهومًا يسمى الأغلبية الصادقة المقاومة للمحاكاة (SR-HM).

إليك التشبيه: تخيل ساحة المدينة.

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

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

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

كما قاموا ببناء "أداة بدء التشغيل" (bootstrapping gadget). فكر في هذا كدليل تعليمات خاص لسكان جدد استيقظوا للتو. يخبرهم هذا الدليل بكيفية النظر في الأصوات من الماضي، ومعرفة من هو جدير بالثقة، والانضمام إلى المجموعة الحالية دون التعرض للخداع من قبل الأشرار. لقد أثبتوا أن هذه الأداة تعمل بشكل مثالي إذا تم اتباع قاعدة SR-HM.

التحول: حل "التوقيع عند المغادرة"

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

اقترح المؤلفون نموذجًا جديدًا: DAR مع التوقيع عند المغادرة (Sign-Off).
في هذا النموذج، عندما تغادر عقدة ما، يجب عليها:

1. توقيع معاملة تقول: "أنا أغادر، وقوتي تذهب إلى الشخص X".
2. التخلص من مفاتيحها الخاصة (Key Disposal).

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

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

• الحالة الجيدة: إذا لم يكن أحد يحاول الغش (الإنفاق المزدوج)، يمكن للساكن الجديد ببساطة النظر في ملاحظات "الوداع" ومعاملات النقل لمعرفة القائمة الحالية للناخبين. هذا سريع وفعال للغاية.
• الحالة السيئة: إذا كان شخص ما يحاول الغش (الإنفاق المزدوج)، فإن النظام يعود إلى الطريقة الأبطأ القائمة على التصويت لتسوية الأمر.

لماذا يهم هذا؟

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

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

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