RegGuard: Legitimacy and Fairness Enforcement for Optimistic Rollups
يُعد RegGuard إطار عمل موحداً يعزز حلول الـ "optimistic rollups" للتطبيقات المالية المنظمة من خلال دمج التحقق الدلالي، وفحوصات اتساق الحالة عبر الطبقات، والترتيب العادل القابل للتحقق تشفيرياً لمعالجة فجوات المشروعية والعدالة مع الحفاظ على إنتاجية عالية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل طريقاً سريعاً مزدحماً وعالي السرعة للأموال الرقمية يسمى الـ Optimistic Rollup. هذا الطريق سريع للغاية ورخيص، مما يسمح بآلاف المعاملات في كل ثانية. ومع ذلك، هو حالياً يشبه طريقاً سريعاً بلا شرطة مرور، ولا حدود للسرعة، ولا فحوصات للتأكد مما إذا كانت السيارات تحمل حمولة غير قانونية. يمكن لأي شخص أن يقود، ويمكن للشخص الذي يتحكم في إشارات المرور ("المسلسل" أو الـ Sequencer) أن يعيد ترتيب السيارات أحياناً لجني ربح سريع، أو يسمح لسيارة بالمرور لا ينبغي لها ذلك.
هذه مشكلة للبنوك والتطبيقات المالية المنظمة. لا يمكنهم استخدام طريق سريع قد تمر من خلاله سيارة تحمل بضائع مسروقة، أو تكون فيه إشارات المرور مغشوشة.
إليك RegGuard. فكر في RegGuard كأنه مركز تحكم في المرور وبوابة تحصيل رسوم ذكية ومؤتمتة مبنية مباشرة على هذا الطريق السريع. هو لا يبطئ حركة المرور كثيراً، لكنه يضمن مرور السيارات "الصحيحة" فقط، وبالترتيب "الصحيح"، وأن ظروف الطريق تطابق الواقع.
إليك كيف يعمل RegGuard، مقسماً إلى ثلاثة أجزاء بسيطة:
1. مفتش "كتاب القواعد" (المُدقق الدلالي - Semantic Validator)
المشكلة: حالياً، يتحقق الطريق السريع فقط مما إذا كانت سيارتك تملك لوحة أرقام صالحة (توقيع رقمي). لكنه لا يتحقق من من يقود أو ماذا يفعل. يمكن لسيارة أن تكون مسجلة قانونياً ولكنها تحمل بضائع غير قانونية (مثل بيع صندوق عقاري مُرمز لشخص غير مسموح له بالشراء).
حل RegGuard:
تخيل حارس بوابة في ملهى ليلي لا يكتفي بفحص هويتك فحسب، بل يتحقق أيضاً من قائمة المدعوين ومن مقدار ما أنفقته بالفعل الليلة.
- يستخدم RegGuard لغة خاصة تسمى RegSpec لكتابة جميع القواعد (مثلاً: "فقط المستثمرون من الدولة X"، "لا يمكن لأحد شراء أكثر من 10% من الصندوق").
- قبل أن تدخل معاملتك إلى الطريق السريع، يقرأ هذا "الحارس" قواعدك. إذا كنت تحاول كسر قاعدة، يتم منعك فوراً.
- التشبيه: الأمر يشبه موظف البنك الذي لا يتحقق من توقيعك فحسب، بل يتحقق أيضاً من هويتك، ورصيد حسابك، وحدود المخاطر الخاصة بك قبل تسليمك النقود.
2. "فحص الطقس" (المزامنة المسبقة للحالة - State Pre-synchronization)
المشكلة: أحياناً، يعتقد الطريق السريع (الطبقة الثانية - Layer 2) أن الطريق خالٍ، لكن الطريق الرئيسي (الطبقة الأولى - Layer 1) يحتوي على حفرة ضخمة أو جسر مقطوع. إذا افترض سائق الطريق السريع أن الجسر موجود بينما هو في الواقع غير موجود، فستتعرض السيارة لحادث عندما تحاول تسوية الرحلة. يحدث هذا لأن الطريق السريع يستخدم معلومات "قديمة" (Stale).
حل RegGuard:
تخيل سائق توصيل يتحقق من تطبيق الطقس المباشر قبل الانطلاق.
- يحتفظ RegGuard بمرآة حية وعالية السرعة لظروف الطريق الرئيسي.
- قبل خروج مجموعة من السيارات، يتحقق RegGuard: "هل تحتاج هذه السيارة إلى عبور جسر قد يكون تغير منذ آخر مرة نظرنا فيها؟"
- إذا أظهرت المرآة تغييراً قد يتسبب في حادث، يقول RegGuard: "انتظر، توقف، انتظر التحديث"، أو "هذه الرحلة ملغاة".
- التشبيه: الأمر يشبه طياراً يتحقق من حالة المدرج للمرة الأخيرة قبل الإقلاع، لضمان أن البيانات التي يطير بناءً عليها تطابق الواقع على الأرض.
3. "الفرز الأعمى" (الترتيب العادل - Fair Ordering)
المشكلة: الشخص الذي يتحكم في إشارات المرور (المسلسل - Sequencer) هو بشر (أو روبوت يعمل كبشر). قد يرى سيارة تحمل طرداً ثميناً ويقرر السماح لها بالمرور أولاً، أو يتخطى الدور، لجني الربح. هذا يسمى MEV (القيمة المستخرجة القصوى)، وهو أمر غير عادل للجميع.
حل RegGuard:
تخيل يانصيب حيث يضع الجميع تذاكرهم في صندوق معتم ومغلق قبل تحديد الترتيب.
- يرسل المستخدمون معاملاتهم في صندوق مشفر. يمكن لمتحكم المرور رؤية متى وصل الصندوق، لكن لا يمكنه رؤية ما بداخله.
- يقوم المتحكم بصف الصناديق بناءً على وقت وصولها بدقة.
- فقط بعد أن يتم تثبيت الترتيب وكتابته في الحجر، يقوم مجموعة من الأشخاص الموثوقين بفتح الصناديق معاً للكشف عن المحتويات.
- التشبيه: الأمر يشبه مزاداً أعمى. لا يمكن لدلال المزاد رؤية العطاءات حتى يسقط المطرقة بالفعل على الترتيب، لذا لا يمكنه التلاعب بالبيع لصالح صديق.
هل يبطئ هذا العمليات؟
قد تعتقد أن إضافة كل هذه الفحوصات ستحول سيارة السباق إلى سلحفاة. للمفاجأة، لا.
قام الباحثون ببناء نموذج أولي واختبروه.
- السرعة: لا يزال يتعامل مع حوالي 85% من السرعة الأصلية. هذا يشبه سيارة سباق تضطر للتوقف لإجراء فحص سلامة سريع ولكنها لا تزال تنهي السباق في وقت قياسي.
- الأمان: يمنع أكثر من 90% من الحوادث (فشل التسوية) التي كانت ستحدث على الطريق السريع غير المحمي.
- العدالة: يجعل من المستحيل تقريباً على متحكم المرور الغش.
الخلاصة
RegGuard هو القطعة المفقودة من اللغز التي تسمح باستخدام تقنية البلوكشين من قبل البنوك والحكومات الحقيقية. إنه يثبت أنه ليس عليك الاختيار بين السرعة والأمان. يمكنك الحصول على طريق سريع واسع النطاق، ولكنه أيضاً منظم بدقة، وعادل، وآمن للجميع.
إنه يحول الطريق السريع الرقمي من "الغرب المتوحش" إلى نظام نقل سريع ومنظم حيث تُنفذ القواعد تلقائياً، وتُفحص ظروف الطريق في الوقت الفعلي، ولا يمكن لأحد تخطي الدور.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.