ملخص تقني: Intercloud – الاتساق النهائي للاقتصادات اللامركزية عبر إجماع "تأثير التبريد" (Chilling-Effect Consensus)

1. بيان المشكلة

تحدد الورقة بحثاً نوعين من عدم الكفاءة الجوهري في الشبكات الاقتصادية اللامركزية الحالية (سلاسل الكتل/Blockchain):

1. مشكلة التكلفة: تنشر نماذج الإجماع العالمي (مثل إثبات العمل Proof-of-Work، وإثبات الحصة Proof-of-Stake) ميزانية أمنية موحدة لجميع المعاملات. فعملية تحويل بقيمة دولار واحد تستهلك نفس موارد التحقق التي تستهلكها عملية تحويل بقيمة مليار دولار، مما يؤدي إلى توسع دون خطي حيث لا تتناسب تكاليف الأمن مع القيمة الاقتصادية.
2. مشكلة الخصوصية: تتطلب السجلات العالمية أن يرى جميع الموثقين (Validators) بيانات المعاملات بنصوص صريحة، والأرصدة، ومنطق العقود الذكية. وهذا يتيح تحليل مخطط المعاملات الذي يمكن أن يؤدي إلى كشف هوية المستخدمين، حتى مع استخدام عناوين مستعارة.

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

2. المنهجية والهيكلية

إن Intercloud عبارة عن شبكة اقتصادية لامركزية مبنية على نموذج آلة Magarshak، مع توسيع نطاقها لتشمل بيئة موزعة. ابتكارها الهيكلي الأساسي هو الفصل الصارم بين طبقة النزاهة (المؤمنة بواسطة المراقبين/Watchers) وطبقة البيانات (التي يمتلكها مالكو التدفقات والمنفذون/Executors).

أ. المكونات الأساسية

• التدفقات (Streams): سجلات رسائل مضافة فقط ($M_i$) مملوكة لمفتاح عام ($k_i$). يتم تعريف الحالة عبر هاش تشفيري ($h_i$).
• أسراب المراقبين (Watcher Swarms): يتم توفير الأمن عبر أسراب من العقد التي تراقب الهاشات التشفيرية فقط لحالات التدفق، ولا ترى أبداً النصوص الصريحة. هم لا يرون الأرصدة، أو المبالغ، أو منطق القواعد.
• الحقب (Epochs) وتعيين VRF: ينقسم الوقت إلى حقب. في بداية كل حقبة، يقوم دالة عشوائية قابلة للتحقق (VRF)، يتم تلقيمها بواسطة أوراكل عشوائي عالمي واحد، بتعيين سرب محدد من المراقبين لكل تدفق.
• حالات التدفق: توجد التدفقات في واحدة من ثلاث ألوان:
  • الأخضر: تم الوصول إلى النهائية (Finality) (إقرار بالأغلبية الفائقة).
  • الأصفر: المعاملات قيد التنفيذ؛ لم يتم تحقيق النهائية بعد.
  • الأحمر: تم اكتشاف فساد؛ التدفق غير موثوق به حتى عملية إعادة التوزيع في الحقبة التالية.

ب. الآليات الرئيسية

1. إزالة التكرار الموجي (Ripple Deduplication):
   لمنع حلقات التنفيذ التفاعلية اللانهائية دون تنسيق عالمي، يتم وسم كل موجة تنفيذ بمعرف فريد ($rID$) يتكون من معرف الأصل، وهاش الرسالة، والحقبة. تحتفظ العقد بجدول هاش محلي لـ $rIDs$ التي تمت رؤيتها خلال حقبتين. إذا تلقت عقدة موجة قد عالجتها بالفعل في الحقبة الحالية، فإنها تتجاهلها. هذا يضمن الإنهاء في زمن محدود ($N$ من القفزات) دون إجماع عالمي.

2. إجماع تأثير التبريد (Chilling-Effect Consensus):
   على عكس بروتوكولات التصويت التقليدية حيث تختار العقد بين قيم متنافسة، يستخدم Intercloud الإقرار بغياب الدليل (Attestation of Absence). يصل السرب إلى النهائية عندما يتحقق سوبرماجوريتي (أكثر من 2/3) بشكل مستقل عبر نظام الـ gossip بأنهم لم يروا أي دليل متضارب لهاش معين خلال الحقبة.

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

3. النموذج الاقتصادي والعملات المحلية:

   • Intercoin: عملة احتياط عالمية تمثل "الوزن الأمني".
   • ثابت الدعم (Backing Invariant): يجب على كل تدفق رهن Intercoin ($INTER_i$) بما يتناسب مع القيمة التي يحملها. يتتبع الوزن الأمني القيمة الاقتصادية تلقائياً عبر هوية الضرب النقطي (Dot-product identity): $V_i = \sum (balance[c] \times exRate(c))$.
   • حجم السرب: حجم سرب المراقبين ($n_i$) يتناسب مع الجذر التربيعي لرهان Intercoin الخاص بالتدفق ($n_i \approx c\sqrt{INTER_i}$). التدفق الذي يحمل مليون دولار يستخدم حوالي 35,000 مراقب، بينما التدفق الذي يحمل دولاراً واحداً يستخدم حوالي 35 مراقباً.
   • الفصل بين العملة والمحتوى: طبقة "العملة" (الأرصدة، التحويلات، أسعار الصرف) تظهر كهاشات في طبقة النزاهة، مما يسمح للمنظمين بمراقبة تدفقات القيمة الإجمالية. أما طبقة "المحتوى" (الرسائل، الاتفاقيات) فتظل مشفرة من طرف إلى طرف وغير مرئية للمراقبين.

3. المساهمات الرئيسية والنتائج النظرية

تقدم الورقة مجموعة رسمية من النظريات التي تثبت خصائص النظام:

• إنهاء الموجة الموزعة (النظرية 2): تثبت أن موجات التنفيذ التفاعلية تنتهي ضمن $N$ من القفزات في شبكة محدودة، بالاعتماد على إزالة التكرار المحلي ورسوم كل قفزة إيجابية، دون تنسيق عالمي.
• أمن السرب (النظرية 3): تطور الحد الأدنى لـ Hoepman [2] لتظهر أن سرباً بحجم $n \approx 35$ (للمعايير القياسية) كافٍ لمنع الإنفاق المزدوج باحتمالية $1 - e^{-s}$، بغض النظر عن الحجم الإجمالي للشبكة $N$. الأمن يتوسع مع الجذر التربيعي للقيمة.
• توصيف الخلاف (النظرية 9): تثبت أن عميلين صحيحين لا يمكنهما امتلاك إقرارات نهائية متضاربة إلا إذا قام المهاجم في وقت واحد بـ (أ) اختراق أغلبية فائقة من السرب المعين و (ب) عزل كلا العميلين عن جميع العقد الصادقة. احتمال حدوث ذلك ضئيل جداً.
• عدم قابلية تطبيق مبدأ بوريدان (النظرية 10): توضح أن آلية الإجماع لا تخضع لمبدأ بوريدان للامبورت. ولأن القرار يعتمد على غياب الدليل (عدد صحيح منفصل من الإقرارات) بدلاً من اختيار مستمر بين قيمتين متنافستين، فإن النظام يتجنب الحيرة اللامتناهية.
• عدم القابلية للفساد العقلاني (النظرية 15): باستخدام نظرية الألعاب، تثبت الورقة أن أي عقدة عقلانية لن تحاول إفساد التدفق. تكلفة الفساد (مصادرة Intercoin المرهونة) تتجاوز بشكل صارم المكاسب المحتملة، خاصة مع وجود آليات الاستحقاق التي تمنع السحب الفوري للمكافآת المكتسبة.
• الأمن يتتبع القيمة (النظرية 16): تثبت أن الوزن الأمني المخصص للتدفق يتناسب تلقائياً مع قيمته الاقتصادية عبر ثابت الدعم وهوية الضرب النقطي.
• الحد الأدنى من الإجماع العالمي (النظرية 12): تؤكد أن الاتفاق العالمي الوحيد المطلوب هو تسلسل البذور العشوائية لـ VRF. كل الإجماع الآخر يكون محلياً لسرب التدفق، مما يقلل التكلفة العالمية لكل معاملة إلى $O(N)$ من الرسائل لكل حقبة (لتصل إلى الصفر تقريباً عبر التوزيع).

4. النتائج والأهمية

تزعم الورقة أن Intercloud تحقق مزيجاً فريداً من الخصائص غير الموجودة في الأنظمة السابقة:

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

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