Enhancing the Security of Rollup Sequencers using Decentrally Attested TEEs
تقترح هذه الورقة وتقيّم آلية تصديق لامركزية لمسلسلات عمليات الـ Rollup المؤمنة ببيئات التنفيذ الموثوقة (TEE)، مما يقلل بفعالية من مخاطر المركزية مع تعزيز الأمن ضد الرقابة والتلاعب دون المساس بالتوافق مع بنيات الطبقة الثانية (Layer-2) الحالية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل طريقاً سريعاً مزدحماً وعالي السرعة، حيث يحاول الملايين من الناس إرسال طرود (معاملات) لبعضهم البعض. هذا الطريق السريع هو البلوكشين (Blockchain).
ما هي المشكلة؟ الطريق السريع الرئيسي (الطبقة الأولى - Layer-1) بدأ يزدحم. إنه بطيء، ومكلف، ولا يمكنه استيعاب سوى عدد قليل من السيارات في المرة الواحدة. ولحل هذه المشكلة، صمم المهندسون ما يسمى بـ الرول-أب (Rollups). فكر في "الرول-أب" كأنه شاحنة توصيل فائقة الكفاءة تسير بجانب الطريق السريع الرئيسي؛ فهي تجمع مئات الطرود معاً، وتدمجها في حزمة واحدة، ثم لا تسلم للطريق السريع الرئيسي سوى إيصال واحد مضغوط. هذا يجعل النظام بأكمله أسرع وأرخص بكثير.
المشكلة: "شرطي المرور" غير جدير بالثقة
داخل شاحنة التوصيل هذه، يوجد شخص مهم جداً يسمى المُسلسل (Sequencer). يمكنك اعتبار "المُسلسل" بمثابة شرطي مرور أو موزع مهام.
- ماذا يفعل: هو من يقرر ترتيب الطرود التي يتم تحميلها داخل الشاحنة.
- المخاطر: في معظم الأنظمة الحالية، يعمل هذا الشرطي في مكتب منفرد. وإذا تعرض للرشوة، أو الاختراق، أو قرر ببساطة أن يكون سيئ النوايا، فإنه يستطيع القيام بما يلي:
- الرقابة (Censorship): رفض تحميل طرد خاص بك.
- الاستباق (Front-running): رؤية طردك، ثم تحميل طرد خاص به (أكثر تكلفة) قبلك مباشرة لتحقيق ربح، ثم تحميل طردك بعد ذلك.
- التلاعب (Tampering): تغيير ترتيب الطرود لإفساد الأمور.
ولأن "شرطي المرور" مركزي، فهو يمثل نقطة فشل واحدة. إذا تمرد هذا الشرطي، فإن نظام التوصيل بأكمله يصبح في خطر.
الحل المقترح: "الشرطي ذو الصندوق الزجاجي" مع شاهد عام
يقترح مؤلفو هذه الورقة حلاً مبتكراً يتكون من جزئين لجعل "شرطي المرور" هذا غير قابل للكسر وجديراً بالثقة.
الجزء الأول: "الصندوق الزجاجي" (بيئة التنفيذ الموثوقة - TEE)
بدلاً من ترك "شرطي المرور" يعمل في مكتب عادي، وضعوه داخل صندوق زجاجي عالي التقنية ومضاد للرصاص (بيئة تنفيذ موثوقة، أو TEE).
- كيف يعمل: هذا الصندوق مصنوع من أجهزة خاصة (مثل Intel SGX). حتى لو اقتحم مدير المبنى (مالك الخادم) أو مخترق ما المبنى، فلن يتمكنوا من رؤية ما بداخل الصندوق الزجاجي، ولا يمكنهم التلصص على الطرود، أو تغيير الترتيب، أو سرقة المفاتيح.
- العقبة: عادةً، لإثبات أن الصندوق حقيقي ولم يتم التلاعب به، عليك أن تطلب من شركة واحدة كبيرة (مثل Intel أو مزود خدمة سحابية) إرسال "شهادة أصالة" لك. وهذا يخلق مشكلة جديدة: نحن هنا نستبدل "شرطي مرور" سيئاً بـ "جهة إصدار شهادات" سيئة. لا نزال نضع ثقتنا في سلطة مركزية.
الجزء الثاني: "الشاهد العام" (التوثيق اللامركزي)
هذا هو الابتكار الكبير في الورقة البحثية. بدلاً من طلب التحقق من الصندوق الزجاجي من شركة مركزية، يقوم "شرطي المرور" بإرسال "شهادة الأصالة" الخاصة به (وتسمى الاقتباس - Quote) مباشرة إلى سجل عام (Blockchain) حيث يعمل "عقد ذكي" كقاضٍ.
- التشبيه: تخيل أن "شرطي المرور" يخرج من الصندوق الزجاجي، حاملاً مظروفاً مختوماً وغير قابل للتلاعب يحتوي على هويته وقائمة الطرود التي رتبها للتو.
- السحر: بدلاً من إعطاء هذا المظروف لمدير واحد ليفحصه، يقوم برمي المظروف في ساحة عامة شفافة وعملاقة (البلوكشين).
- العقد الذكي: يقوم "روبوت القاضي" (العقد الذكي) بفحص المظروف فوراً مقابل كتاب قواعد عام. وهو يتحقق من:
- هل الصندوق الزجاجي حقيقي؟ (هل الأجهزة آمنة؟)
- هل اتبع الشرطي القواعد؟ (هل رتب الطرود بشكل صحيح؟)
- هل قائمة الطرود صالحة؟
إذا قال "روبوت القاضي" "نعم"، يُسمح للطرود بالمغادرة. أما إذا حاول الشرطي الغش أو كان الصندوق الزجاجي مزيفاً، فإن الروبوت القاضي يرفض المظروف، وتظل الطرود عالقة.
لماذا يعد هذا أمراً بالغ الأهمية؟
- لا مزيد من "صدقني": لست بحاجة للثقة في "شرطي المرور"، أو مالك الخادم، أو أي سلطة مركزية لإصدار الشهادات. أنت تثق فقط في الرياضيات والبرمجيات العامة الموجودة على البلوكشين.
- مكافحة الرقابة: حتى لو أراد مالك الخادم إيقاف مستخدم معين، فلن يستطيع ذلك. الصندوق الزجاجي يحمي تعليمات الشرطي، والقاضي العام يضمن اتباع الشرطي للقواعد.
- الخصوصية: الطرود داخل الصندوق الزجاجي مشفرة. لا يمكن لمالك الخادم رؤية ما بداخلها، مما يمنعهم من سرقة القيمة (MEV) عبر التلصص على معاملاتك قبل حدوثها.
المقايضة: السرعة مقابل الأمان
تعترف الورقة البحثية بأن هناك ثمناً يجب دفعه مقابل هذا الأمان الإضافي.
- التكلفة: وضع الشرطي في صندوق زجاجي وتشغيل عملية التحقق العامة يستغرق وقتاً وطاقة أكبر.
- النظام العادي: يتم معالجة الطرد في حوالي 3 ثوانٍ.
- النظام الجديد: يستغرق الأمر حوالي 21 إلى 25 ثانية.
- السرعة: يعالج النظام عدداً أقل من الطرود في الثانية (حوالي 7 بدلاً من 25).
الخلاصة:
فكر في الأمر كأنه خزنة بنك.
- شاحنة التوصيل العادية سريعة ولكن يمكن سرقتها أو اختطافها بسهولة.
- هذا النظام الجديد يشبه شاحنة مدرعة فائقة الأمان تتحرك ببطء وتكلف أكثر لتشغيلها، ولكن من المستحيل تقريباً سرقتها أو اختطافها.
يجادل المؤلفون بأنه بالنسبة للمعاملات عالية القيمة (مثل نقل ملايين الدولارات أو تأمين الأصول الحساسة)، فإن الانتظار لمدة 20 ثانية إضافية هو ثمن زهيد مقابل الضمان بأنه لا يمكن لأحد الغش أو فرض الرقابة أو سرقة بياناتك. لقد أثبتوا بنجاح أنه يمكنك الحصول على "شرطي مرور" آمن ولامركزي دون الاعتماد على سلطة واحدة غير جديرة بالثقة.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.