أدى انتشار سلاسل الكتل المستقلة إلى خلق "عالم متعدد السلاسل". التحدي الأساسي في هذا المشهد هو بناء سلسلة كتل تراكبية أكثر أمانًا من خلال الاستفادة من دفاتر الأستاذ لسلاسل الكتل الأساسية الحالية، باستخدام عمليات القراءة والكتابة فقط. تقدم هذه الورقة البحثية بعنوان "نهج الدوائر لبناء سلاسل الكتل فوق سلاسل الكتل" إطارًا جديدًا مستوحى من نظرية دوائر التبديل. تُعرّف عمليتين تركيبيتين أساسيتين—التركيب التسلسلي والتركيب المثلثي—كحجر أساس لإنشاء سلاسل كتل تراكبية عامة، مع تحليل ضمانات الأمان والحيوية الناتجة تحت نماذج الشبكة المتزامنة جزئيًا والمتزامنة بالكامل.
الابتكار الأساسي للورقة هو معاملة سلاسل الكتل كمكونات دوائر. يتم اشتقاق أمان السلسلة التراكبية من التركيب المنطقي لسلاسلها الأساسية.
تصل هذه العملية سلسلتي كتل بالتسلسل. بالنسبة لسلسلتين أساسيتين تنتجان شهادات، فإن خصائص أمان السلسلة التراكبية الناتجة هي:
يشبه هذا بوابة OR منطقية للأمان وبوابة AND منطقية للحيوية.
تتضمن هذه العملية ثلاث سلاسل كتل في تكوين يشبه الدائرة المتوازية أو مخطط العتبة 2 من 3. خصائص الأمان هي:
يوفر هذا مقايضة مختلفة، تفضل الحيوية على الأمان مقارنة بالتركيب التسلسلي.
تثبت الورقة بشكل رسمي أنه من خلال التطبيق العودي للتركيبات التسلسلية والمثلثية، يمكن بناء سلسلة كتل تراكبية على n سلسلة أساسية لتحقيق أي عتبة مرونة (f_s, f_l) مرغوبة، حيث:
تنص النظرية الأساسية على أن جميع الأزواج الممكنة (f_s, f_l) التي تحقق 2f_s + f_l < n وf_l < n/2 يمكن تحقيقها من خلال تركيبات شبيهة بالدوائر المناسبة. هذا يعمم العمل السابق مثل وضع الطوابع الزمنية بين السلاسل، والذي حقق فقط النقطة (n-1, 0) (آمنة إذا كانت سلسلة واحدة آمنة، حية فقط إذا كانت جميعها حية).
يُجسد النموذج سلاسل الكتل كآلات حالة تنتج دفتر أستاذ L. يُعرّف الأمان من خلال الأمان (ثابت، وجهات النظر المتفرعة مستحيلة) والحيوية (يتم تضمين المعاملات الجديدة في النهاية). يتم تجريد السلسلة الأساسية B_i كأوراكل توفر شهادة إيداع C_i^t لبادئة دفتر الأستاذ في وقت منطقي t.
تحدد بروتوكولات التركيب كيفية تحديث حالة السلسلة التراكبية S_ov بناءً على استعلامات لهذه الأوراكل. على سبيل المثال، في التركيب التسلسلي للسلاسل B_A وB_B، قد تعتمد السلسلة التراكبية دفتر الأستاذ من B_A فقط إذا كان متسقًا مع شهادة إيداع من B_B تضع عليها طابعًا زمنيًا. هذا يخلق تبعية يتم التقاطها بواسطة صيغ منطقية. تستخدم براهين الأمان الأساسية حجج التناقض والمحاكاة الشائعة في أدبيات الأنظمة الموزعة، موضحة أن انتهاك الأمان في السلسلة التراكبية يعني انتهاكًا للأمان في مجموعة فرعية محددة من السلاسل الأساسية، مما يتناقض مع عتبات المرونة المفترضة.
السيناريو: بناء بورصة لا مركزية عبر السلاسل (DEX) تراكبية على ثلاث سلاسل راسخة: إيثيريوم (Eth)، سولانا (Sol)، وأفالانش (Avax).
الهدف: إعطاء الأولوية لأمان الأموال (ارتفاع f_s) مع قبول زمن انتقال عرضي (انخفاض f_l).
خيار التصميم: استخدام تركيب مثلثي للسلاسل الثلاث.
النتيجة: تحقق البورصة أقصى مرونة أمان—يمكنها تحمل سيناريو يتم فيه اختراق أو تفرع أي سلسلة مفردة، حيث توفر السلسلتان الأخريان شهادة. تظل الحيوية قائمة حتى إذا تعطلت سلسلة واحدة. هذا تطبيق عملي للنقطة (f_s=1, f_l=1) لـ n=3.
الرؤية الأساسية: هذه ليست مجرد ورقة إجماع أخرى؛ إنها إطار هندسة أنظمة تأسيسي لعصر تعدد السلاسل. نجح المؤلفون في تجريد المشكلة الفوضوية لتشغيل سلاسل الكتل معًا إلى جبر نظيف وقابل للتركيب. الاختراق الحقيقي هو إظهار أن خصائص الأمان لا تُورث فحسب—بل يمكن هندستها برمجيًا عبر طوبولوجيات محددة، متجاوزين نموذج "الجسر إلى السلسلة الأكثر أمانًا" الساذج.
التدفق المنطقي: الحجة أنيقة. ابدأ بواقع تعدد السلاسل كمسلمة. ارفض فكرة "مصدر أمان" وحيد. بدلاً من ذلك، ارسم تشبيهًا بتصميم الدوائر الموثوقة من مكونات غير موثوقة (مشكلة كلاسيكية). عرّف عوامل تركيب دنوية ومتعامدة (تسلسلي، مثلثي). أثبت أنها كاملة (يمكنها بناء أي ملف مرونة ممكن). التدفق من التشبيه إلى الشكلية إلى النظرية العامة مقنع ويشبه النظريات الناجحة في علوم الحاسوب، على غرار كيفية تحليل اتفاقية بيزنطة إلى بدائيات بث أبسط.
نقاط القوة والضعف:
نقاط القوة: العمومية النظرية قوية. تشبيه الدوائر بديهي للمهندسين. يوحد ويشرح المناهج السابقة الخاصة (مثل وضع الطوابع الزمنية بين السلاسل) كحالات خاصة من هذا الإطار. البراهين الرسمية تبدو قوية.
نقاط الضعف: الورقة نظرية للغاية. يتم التغاضي عن النفقات العامة الواقعية لمزامنة سلاسل متعددة (زمن الانتقال، التكلفة). قد يكون نموذج "التزامن الجزئي"، رغم كونه قياسيًا، متفائلاً بالنسبة لبيئات عبر السلاسل ذات أوقات الكتل وآليات الإقرار المختلفة تمامًا. يفترض أن السلاسل الأساسية هي مجالات فشل مستقلة—وهو افتراض محفوف بالمخاطر إذا كانت العديد من السلاسل تشارك مجموعات المدققين، وهي مشكلة شائعة في أنظمة إثبات الحصة. مقارنةً بالتحليل الملموس المرتكز على الهجمات في أعمال مثل تقارير تدقيق جسور ChainSecurity، يبدو هذا كنظرية نظيفة يجب أن تواجه الآن تنفيذًا في عالم فوضوي.
رؤى قابلة للتنفيذ:
سيتم تحديد قيمة الورقة ليس بنظرياتها، ولكن باعتمادها كلغة تصميم للجيل القادم من البنية التحتية القابلة للتشغيل المتبادل. لديها القدرة على فعل ما فعله نظرية CAP لقواعد البيانات الموزعة فيما يتعلق بأمان عبر السلاسل: تقديم مقايضة أساسية لا مفر منها يجب بناء الأنظمة العملية حولها.
التطبيقات قصيرة المدى:
اتجاهات البحث المستقبلية: