jakiro
المؤلف: Xpara ، باحث أربعة أعمدة ؛
1ونظام إثبات ومستبشريثبت
دعنا نعود إلى أساس blockchain.blockchain هي في الأساس آلة حالة ، وستتغير حالتها مع تغيير المعاملة ، وسيتم استخدام الحالة المشتركة بعد التغيير من قبل جميع المشاركين.من الأهمية بمكان التأكد من أن جميع المشاركين يصلون إلى توافق في الآراء بشأن حالة المشاركة.من أجل التوصل إلى إجماع بشكل أفضل وإلغاء احتياجات الثقة لحزب معين ، يركز blockchain على اللامركزية.ومع ذلك ، فإن هذا اللامركزية قد تقيد قابلية التوسع ويجعل من الصعب عليه استيعاب المزيد من المعاملات.هذه المشاكل تشكل الصعوبات الثلاث من blockchain.
قاد Ethereum ، باعتباره أحد أقدم مجموعات العقد الذكية ، إنشاء Rollup.في وضع Rollup ، يتم فصله عن Ethereum ، ولكن لا يزال هناك نظام يتحقق من الفعالية ويعاقب البرامج الضارة.هناك طريقتان لإنشاء هذا النظام.الأول هو الطريقة المتفائلة.الطريقة الثانية هي إثبات فعالية ZK.على الرغم من أن السلسلة الجانبية هي خيار آخر ، إلا أنني أستبعدها ، لأن السلسلة الجانبية منخفضة للغاية -تعتمد على تسوية Ethereum.
نظرًا لعملية التنفيذ البسيطة ، فإن الشهادة المتفائلة (المعروفة أيضًا باسم شهادة الاحتيال أو شهادة الخطأ) هي الطريقة الرئيسية الممكنة لتحديثات حالة التسوية.
>
1.1إثبات حالة النظام:ZKوالمرجع
في وقت واحد ، سيشغل نظام شهادة ZK المركز المهيمن بسرعة ، وسيفقد نظام الإثبات المتفائل مصلحته.عادةً ما يثبت ZK أن النظام يمكن أن يزود بتكلفة أقل وتؤتي على اليقين النهائي.وتشمل هذه المشاريع ZKM و Risczero و Succint Labs و Fluent.على الرغم من أن ZK Rollup له فوائد واضحة ، إلا أن التحدي المتمثل في تطوير نسخة أمان مع فعالية التكلفة ضخمة.يواجه تحديث الأجهزة الافتراضية مثل EVM أيضًا تحديات ، لأنه من الصعب دمج ميزات جديدة دون إتلاف أي خصائص.
نظرًا لهذه التحديات ، فإن النظام البيئي الأكثر شيوعًا في نظام Rollup هو نظام الشهادات المتفائل ، والذي يمثل معظم TVL (حوالي 75 ٪ من إجمالي TVL لـ L2).ليس من المؤكد ما إذا كان هذا الموقف المهيمن سيستمر في المستقبل.ومع ذلك ، فإن العديد من التدابير لتحسين إثبات النظام أحرز تقدمًا كبيرًا.
>
1.2 متفائلماذا سيكون مستقبل النظام؟
العديد من الأبحاث والتطوير الإيجابي قيد التقدم.
تقليل التكاليف
· الفرز اللامركزي والتحدي وعملية التحديد النهائي
· تقليل النهائيات الناعمة والنهاية الصعبة (نهاية صعبة)
أظهرت هذه الحقول الثلاثة جهودًا كبيرة.
قبل مزيد من البحث ، من الضروري فهم المفاهيم المعمول بها والمواقف الحالية.بادئ ذي بدء ، يجب أن ننظر إلى تطور هذا المجال وتطوره ، ثم ندرس الوضع الراهن للإثبات المتفائل للمشروع.
2إلى جانبمستبشرإثبات تاريخ تطوير النظام
يثبت المتفائل أن النظام لا يتحقق بين عشية وضحاها.لقد عمل العديد من الباحثين والمطورين بجد لإنشاء نظام إثبات الروبوت لضمان أن يتمكنوا من العمل بسلاسة في العمليات الفعلية.دعونا نراجع المعلم.
2.1ماضي———— –تاريخ التتبع
كان المتفائل في الأصل حلًا توسعًا لتمديد Layer 2 لـ Ethereum في عام 2019 من قبل باحث Ethereum John Adler في عام 2019.يتمثل المفهوم الأساسي في التفاؤل في نقل الحوسبة وتخزين البيانات من الشبكة الرئيسية Ethereum إلى سلسلة L2 المستقلة ، وفي الوقت نفسه يرث ضمان الأمان لـ Ethereum.الدافع الرئيسي لتطوير المتفائل هو النظر في مشكلة الازدحام ورسوم المعاملات العالية على الشبكة الرئيسية من Ethereum.مع زيادة شعبية بروتوكول DEFI و NFT ، تواجه Ethereum مشكلة التوسع ، مما يعيق تجربة المستخدم والكفاءة الاقتصادية.
يتم تجربة Rolllp المتفائل بشكل أساسي وتطويرها من قبل فريقين من التعبير والتفاؤل.تهدف Rollup هذه إلى توفير بيانات المعاملات المضغوطة وجذور الإخراج على الشبكة الرئيسية Ethereum من خلال معالجة المعاملة تحت السلسلة لتوفير قابلية التوسع ل Ethereum.نظرًا لأنهم قللوا من تكاليف المستخدمين و DAPP ، فقد اعتمد مجتمع Ethereum هذه الرولوب بسرعة.
>
تتمثل الميزة الرئيسية في التفاؤل في استخدام الطريقة “المتفائلة” -بعد إجراء فحص فعال بسيط للمعاملة ، فإنهم يفترضون أن جميع المعاملات فعالة ، وأنها تعتمد على آلية الإثبات الاحتيالية. الفترة الزمنية (عادة 7 أيام) فعالية المعاملات الصعبة داخل.إذا تم اكتشاف معاملات الاحتيال ، يتم إعادة صياغة دليل الاحتيال على المعاملة بالطريقة الصحيحة.تتيح هذه الطريقة المتفائلة المتفائلة لتحقيق تحسينات كبيرة في قابلية التوسع على شبكة Ethereum الرئيسية.
كان هناك العديد من التحديات في الماضي.في البداية ، استخدمت مشاريع مثل التفاؤل EVM (تسمى OVM) تعديلها بمفردها ، والتي حدت من توافقها مع EVM.ستستمر هذه المشاريع في استخدام الأساليب المركزة لحل آلية التراجع والتحدي.تجلب هذه الطريقة توازنًا في الأمان ، لأن المعاملة ليست نهاية فورية.
2.2الوضع الراهن———— –تقدم مستمر ، ولكن مواجهة التحديات أيضًا
لقد أدى التطور الأخير لنظام الإثبات المتفائل إلى تحسين كفاءة حل Ethereum L2 بشكل كبير وقابلية التوسع (مثل التعبير والتفاؤل).بالإضافة إلى ترقية Dencun لـ Ethereum ، يساعد التحسين الآخر من المتفائل أيضًا على تحسين الكفاءة.على سبيل المثال ، تم التزام التعبير بتحسين نظام شهادة الأخطاء لضمان سلامة وأمن البيانات.
حقق التفاؤل أيضًا تقدمًا كبيرًا من خلال استراتيجية SuperChain.يستخدم SuperChain حلول مخصصة و ALT DA ، ونقل الرسائل المتقاطع ومشاركة الفرز لتعزيز قابلية التشغيل البيني السلس وتحسين قابلية التوسع.
في الآونة الأخيرة ، أظهر تعزيز النظام الإيكولوجي المتفائل التحول من شهادة الاحتيال غير النشطة إلى شهادة الاحتيال التفاعلية.تتضمن الأدلة التفاعلية حوارًا دائريًا لتحديد المعاملات الخاطئة وتصحيحها بشكل فعال.يهدف هذا التغيير إلى تقليل تكلفة الحساب وتعقيد التحقق من السلسلة.
3النمط الحالي
>
دعونا نلقي نظرة على الوضع الحالي لـ Rollup ، مع التركيز على المشاريع وتطوير المشاريع التي تعمل تحت نظام الإثبات المتفائل.
في الوقت الحاضر ، تلتزم التعبير والتفاؤل بشكل أساسي بتحسين نظام الشهادات المتفائلة.تقوم المشاريع الأخرى ، مثل Initia و Dymension و Rollkit ، بتطوير أطر عمل نظام Rollup الخاص بها.
يحاول التعبير والتفاؤل تحسين تكنولوجيا الإثبات الاحتيالي ، كما أن المشاريع الأخرى تحقق أساليب مثيرة للاهتمام.دعنا نوضح بإيجاز أنشطتهم الحالية والتقدم.
3.1 التعبير———— –شهادة جولة متعددةعريض
3.1.1 دليل متعدد الجولات (جولات متعددة من الإثبات)
يستخدم نظام الإثبات الخاص بـ Arbitrum طريقة “شهادة الاحتيال المتعددة” للتحقق من المعاملة.تحدث هذه العملية بشكل أساسي تحت السلسلة ، ويتم تسجيل الحالة النهائية على blockchain of Ethereum لتحسين الشفافية.
الميزة الأساسية للنظام هي “شجرة التأكيد”.استخدم ETH لنشر عمليات التحقق من السندات لإدلاء بيان (أو “تأكيد”) من التعبير.تشكل هذه التأكيدات سلسلة ، ويستند كل تأكيد على آخر تأكيد.ومع ذلك ، عند حدوث تأكيد متناقض ، ستقسم شجرة التأكيد الفرع ، مما يشير إلى وجود احتيال.
يتضمن حل هذه النزاعات تقنية إثبات تفاعلية تسمى “التشريح”.ضاقت التحققات المتورطة في النزاع اختلافاتها بشكل منهجي حتى لم يتبق سوى عملية واحدة.تعمل العملية بعد ذلك على Ethereum L1 لتحديد فعاليتها.
الخطوات المحددة هي كما يلي:
· تختلف التحقيقات عن حالة التعبير.
لقد قللوا تدريجياً من نزاعاتهم إلى خطوة حسابية واحدة فقط.
· ثم قم بتشغيل هذه الخطوة على Ethereum L1 للتحقق من التحقق الذي يكون التحقق منه صحيحًا.
تشتهر طريقة التعبير بكفاءتها.من خلال حساب المتنازع عليه والتفتيش ، فإنه يتجنب عملية التكلفة الأعلى التي جلبتها المعاملة بأكملها على Ethereum. على السلسلة.
3.1.2 التعسفي جريء
>
BOLD (التأخير في السيولة الحدودية) هو حل جديد مثير للجدل مصمم للتجول المتفائل على سلسلة التعبير ، والذي يهدف إلى تعزيز التحقق دون إذن.يتم حل هذه الآلية من خلال ضمان النزاع في النافذة الزمنية المحددة ، وبالتالي تقليل المخاطر المتعلقة بالهجوم المتأخرة.
Bold لديها العديد من الميزات الرئيسية وهي جزء مهم من وظائفها.بادئ ذي بدء ، فإنه يقدم التحقق دون إذن ، مما يسمح لأي طرف صادق بالتحقق وربط أموالهم بنشر تأكيد حالة L2 الصحيح.تتيح هذه الميزة أخصائيي الأصيلة الصادقين من تحدي الجدل والفوز مع المشاركين الخبيثين.ثانياً ، يضمن Bold أن النزاع سيتم حله في نافذة زمنية ثابتة.بالإضافة إلى ذلك ، ستشمل أطول فترة من الوقت لحل النزاع ما يصل إلى تحديين وحد عرض يومين قد يتدخل فيه مجلس الأمن.أخيرًا ، يدعم Bold التعبير في مرحلة المرحلة 2 لضمان أن يتمكن أي شخص من التحقق من حالة L2 وتقديم الاحتيال إلى Ethereum ، مما يعزز الخصائص اللامركزية وأمن المنصة.
من المهم جدًا أن يشارك Bold Advocive دون إذن ويشجع أي طرف صادق على المشاركة في عملية التحقق.يهدف هذا التسامح إلى تنمية مرونة أكبر في الشبكة من خلال المشاركة المتنوعة وتقليل نقاط فشل المركز.في الوقت الحاضر ، يقع Bold في مرحلة إصدار Alpha ويتم نشره على شبكة الاختبار العامة.كما تم تدقيقه مرتين.
3.2 التفاؤل———— –إثبات الخطأVM،مدفع
>
يهدف نظام إثبات الأخطاء في OP-Stack إلى تحدي وتقليل الأنشطة الضارة في الشبكة.يثبت الخطأ القادم أن الجهاز الظاهري سيكون تحسينًا مفتاحًا.يتكون النظام من ثلاثة أجزاء رئيسية: يثبت الخطأ (FPP) ، و Error Prove Virtual Machine (FPVM) وبروتوكولات اللعبة المثيرة للجدل.يتحقق FPP من تحويل حالة Rollup للتحقق من إخراج L2 (إدخال L1) وتنظيم جدل الإخراج L1.تتيح هذه البنية المعيارية تطوير ونشر أنظمة إثبات متعددة وألعاب مثيرة للجدل فريدة من نوعها ، مما يعزز بشكل كبير من مرونة النظام وأمنه.
FPVM هي وحدة الحد الأدنى والمجمعة في هذه البنية.تقوم بروتوكولات اللعبة المثيرة للجدل بتنسيق آلية التحدي من خلال تحويل الحالة المكافئة لتقليل النزاع إلى التحقق من تعليمات واحدة ، مما يتيح أدلة فعالة على L1 EVM.يعزز النظام مجموعة متعددة المقاومة للمستقبل ، مثل نظام شهادة ZK وإثبات التجميع.
3.3 البدء-OP-Stack،الرأي
>
Interia عبارة عن مجموعة من comsos L1 blockchain ، والتي تقوم ببناء نظام إيكولوجي متشابك متشابك.يشبه Interia إلى حد كبير نظام Rollup Ecosystem في Ethereum ، ولكنه مصمم للفة من أسفل إلى أعلى.تدير مصادقة Initia L1 كورفًا في Rollup ، وتضمين التسوية القائمة على إثبات متفائل في L1 blockchain.دعنا نرى كيف يتم بناء هذه القوائم.
Opinit Stack هو إطار يهدف إلى بدء تشغيل Minitia L2 استنادًا إلى initia L1 blockchain.تم تصميم COSMOSSDK بشكل خاص من COSMOSSDK.باستخدام نموذج حوكمة Initia L1 ، فإنه يتعامل بشكل فعال مع النزاعات في الاحتيال لضمان التحقق من المعاملات الموثوقة وحل النزاعات.تمامًا مثل نظام تحدي Bedrol ، يمكن للمتنافسين المسموح بهم حذف الإخراج غير المرضي.بالإضافة إلى ذلك ، من خلال اقتراح L1 ، يمكن تغيير مقدمي الطلبات.
الوضعان الرئيسيان في Opinit Stack بشكل أساسي – Ophost و Opchild:
تم تصميم وحدة OPHOST لتشغيل L1 في النظام الإيكولوجي للبدء ، باستخدام وظيفة COSMOS SDK.ويشمل أنواع مختلفة من الرسائل وطرق معالج RPC لتعزيز الأنشطة الأساسية مثل تقديم الدُفعات ، وإنشاء الجسر ، واقتراح بيانات الإخراج وحذف الإخراج.
تركز وحدة Opchild على عمليات L2 ، مما يوفر آليات تدعم نقل الرمز المميز وإدارة تجمعات التكاليف.ويتضمن أيضًا أنواع رسائل محددة ومعالج RPC ، والذي يتم استخدامه لتنفيذ الرسائل ، وتحديد تخزين الرموز ، وبدء الرموز من L2 إلى L1 لضمان تحقيق وظيفة L2 المحسنة في بنية البداية.
3.4 تايكو———— –نظام متعدد الصدفة
>
Taiko عبارة عن مجموعة متفائلة افتراضية ، باستخدام نظام تنقيح متعدد.يجمع النظام بين الطريقة المتفائلة واستخدام شهادة ZK.
تبدأ هذه العملية بمقترح.تتم إضافة هذه الكتل المقترحة إلى عقد L1 دون أي دليل على الصلاحية.بعد ذلك ، لدى Prover الفرصة لتحدي فعالية الكتلة المقترحة من خلال توفير السندات ، والتي تتطلب الرموز المميزة Taiko.إذا لم يتم الطعن في كتلة خلال فترة التحدي ، فسيتم اعتبارها صالحة ويتم تحديدها أخيرًا على L1 وإعادتها إلى رابطة المصلحة.عندما يتم تحدي الكتلة ، يلزم ZK لتأكيد فعالية الكتلة.سيحصل المثل الصحيح ، سواء كان المثل الأولي أو المنافس ، على مكافآت بالإضافة إلى استعادة السندات.في الوقت نفسه ، سيتم معاقبة الجانب الخطأ من الطرف الآخر ، وسيتم حرق جزء منه بسبب الحرق.
ومن المثير للاهتمام ، من المقدر أن يكون لدى Taiko حوالي 1 ٪ من الكتل لإثبات ZK ، مما يساعد على تقليل النفقات العامة للحساب ويظل يوفر ضمانًا صالحًا.من أجل تعزيز مرونتها ، يدعم Taiko أدلة متعددة مثل Plonk و HALO2 و SGX لمنع الحشرات أو نقاط الضعف المحتملة.تتيح هذه الطريقة DAPP وضع افتراضاتها الثابتة ومستويات الأمان الخاصة بها ، مما يدل على مساهمة Taiko في قابلية التوسع وأمن blockchain.
3.5آخر-درجة الحرارةورولكيت
3.5.1 Dymension
يثبت Crack هو جزء لا يتجزأ من النظام البيئي Dymense ، والذي يهدف إلى ضمان سلامة تحويل حالة blockchain.عندما ينشر سور المدونة في Rollapp (Rollup in Dymension L1 جذر الحالة ، تراقب جميع عقد Rollapp هذه التحويلات.إذا تم اكتشاف تحويل حالة غير صالح ، يتم إنشاء هذه العقد عن طريق جمع الكتل في الكتلة حتى يمكن إنشاء قائمة تحويل حالة الاحتيال لإنشاء معاملة إثبات الاحتيال الوحيدة.
تتضمن معاملة المجموعة هذه تفاصيل مثل ارتفاع الكتلة ومؤشر المعاملات ومشاركة blob و blob التي تحتوي على إثبات وشهادة الحالة ، ثم يتم إرسالها إلى dymension للتحقق.بمجرد تقديمها ، ستقوم العقدة الكاملة لـ Dymense بالتحقق من البيانات وإعادة تحويل تحويل الحالة.إذا كان جذر الحالة المؤقتة (ISR) الذي تم إنشاؤه بواسطة التحويل المحسوب يختلف عن حالة النشر ، يثبت الاحتيال أنه يتم التحقق منه ، مما يؤدي إلى تراجع حالة النزاع وعقوبة الخلف المسؤول.
تم إعداد الشبكة الرئيسية Dymense الحالية إلى حوالي 120،000 كتلة.نظرًا لأن الإخراج الحالي لكتلة واحدة يتم إنتاجه حاليًا ، فإن التحديد النهائي هو حوالي 8 أيام.
3.5.2 رولكيت
>
يثبت الاحتيال في حالة Rollkit للمساعدة في تقليل الثقة في شبكة blockchain من خلال تحديد معاملات الاحتيال.يتم استخدامها لعدم مطابقة حالة العقدة بأكملها وبرزفة.تقوم العقدة بأكملها بإنشاء دليل مشترك على الشبكة بأكملها للتحقق.إذا تم التأكيد على أنه غير متطابق ، فمن الضروري اتخاذ تدابير تصحيح لتعزيز الأمن وتفرق الإشراف.
4التنمية المستقبلية: المشاكل والحلول
كان الكثير من الناس يعتقدون ذات مرة أن الانفصال المتفائل ليس جيدًا مثل ZK Rollup.نظرًا لأن ZK Rollup يتم وضعه بشكل متزايد في الإنتاج ، فإن قابلية التشغيل البيني للأمن والتصميم النهائي الأسرع والمزايا الأخرى معروفة جيدًا أن الناس ليسوا مشكوكين في ذلك ، ولكن التفاؤل أثبت ما إذا كان النظام سيكون له انخفاض حاد.لا أعتقد ذلك ، لأنه كان هناك العديد من التقدم الإيجابي في المشكلات الرئيسية في نظام الإثبات المتفائل.
الآن ، دعونا نلقي نظرة على ماهية هذه المشاكل الرئيسية وما هي الحلول المحتملة؟
مركز العمليات
· تكلفة التشغيل العالية
التصميم النهائي ببطء
4.1اللامركزية———— –لا التحقق من الترخيص
>
في مشروع Rollup المتفائل ، يعد مركزية الفارز مشكلة رئيسية لأنها تتضمن نقطة تحكم مركزية ونقطة ثقة في نظام لا مركزي.في الانفصال المتفائل ، يكون الفارز مسؤولاً عن فرز المعاملة ، وتجميع المعاملة تحت السلسلة ، وتقديمها إلى Ethereum.يمنح هذا الدور المركزي للسرقة قوة وسيطرة كبيرة ، مما قد يؤدي إلى بعض المخاطر المركزية.
يستخدم معظم Rollup اليوم خلفًا مركزيًا.في هذه الحالة ، عادة ما يتم تشغيل الفارز بواسطة كيان واحد أو أنسجة ، مما قد يؤدي إلى العديد من المشكلات المحتملة.معظم Rollup الحالية ، بما في ذلك OP-Mainnet والتعريفي ، ليست غير مركزية بالكامل.إنهم يعتمدون على بعض الكيانات المركزية في تقديم حزم التداول والمشاركة في نظام تحدي الاحتيال.ومع ذلك ، فإن التعبير له طريقة مبنية.
تعتبر حادثة التراجع الأخيرة الأخيرة مثالاً جيدًا ، والتي يمكن أن تظهر فوائد وعيوب المركزية.يسلط هذا الحادث الضوء على أن حل L2 المركزي ليس لديه ما يكفي من استراتيجيات خروج المستخدم ، وهو أمر محفوف بالمخاطر للغاية.يمكن رؤيته بوضوح عندما يغلق الانفجار ويتم حذف المعاملة المتعلقة بهجمات القرصنة.يمكن أن يؤثر Rollup للكيان المركزي على النظام الإيكولوجي بأكمله.
4.1.2 الحل 1: لا يلزم التحقق من الترخيص
يعد التعريفي والتفاؤل بناة إطار العمل المتفائلة الرائدة.إنهم جميعًا يستعدون لإصدار التحديثات هذا العام ، بحيث لا يلزم السماح بعملية التحقق.
· التعريفي: يلتزم التعبير بتحقيق التحقيقات التي لا تتطلب تراخيص من خلال بروتوكول التحقق الجديد المسمى Bold (تأخير السيولة الحدودية).تسمح الاتفاقية لأي طرف صادق بنشر تأكيد حالة L2 الصحيح للمشاركة في عملية التحقق من خلال ربط أموالهم.هذا يلغي احتياجات مصادقة إدارة الكيان المركزي ويمكّن حل النزاعات بناءً على صحة الدولة بدلاً من التحقق.
· التفاؤل: يهدف التفاؤل إلى تنفيذ أي التحقق من الترخيص من خلال التحويل إلى نظام التحقق من الأخطاء اللامركزية.في البداية ، اعتمد التفاؤل على لجنة أمن التفاؤل ومؤسسة التفاؤل المدارة.من أجل زيادة اللامركزية ، قدم التفاؤل المدفع ، وهو نظام إثبات للأخطاء تحت السلسلة.باستخدام Cannon ، يحاول التفاؤل الانتقال من نظام يجب أن يكون مرخصًا بوضوح لنظام يمكنه المشاركة في التحقق من التداول وحل النزاع.يسمح النظام لأي شخص بالمشاركة في عملية التحقق من خلال تقديم بيان سحب يدعمه Bond.
4.1.3 الحل 2: أسنان الأسنان من sorters
اجتذبت خصائص تركيز sorters (المسؤولة عن البناء والكتل المقترحة) الانتباه إلى المركزية.من أجل مواجهة هذه التحديات ، تهدف Rollup إلى الانتقال من نموذج SORTER واحد إلى إعدادات متعددة النظام ، وذلك لتعيين الكتل للتحقق من المسؤوليات بين كيانات مستقلة متعددة.فيما يلي بعض الطرق التي يمكن أن تحقق اللامركزية من sorters.
· مشاركة الفارق: الاستعانة بمصادر خارجية للخدمات الثالثة ، مثل إسبرسو ونصف قطرها.
· تقنية الفوز الموزعة (DST): استخدم مهام فرز توزيع مجموعة الآلات لتوفير معيب للغاية.يمكن اعتبار ذلك مشابهًا لمحلول DVT (مثل شبكة OBOL) التي تم تصميمها لتقييم نقاط البيع.
يمكن أن يكون لالتقاطات مختلفة اعتبارات ذات أولوية مختلفة وفقًا لحالاتها المحددة ، مثل الحد الأقصى للخصائص اللامركزية أو المرونة أو التوزيع الجغرافي.على سبيل المثال ، قد تتبنى قوائم عالمية مثل التفاؤل طريقة أكثر مركزية ، ولكن استخدام مجموعة خاصة للتفوق (مثل DST) ، وقد يميل لفة تطبيق محددة (مثل Rollup) ضمان الموثوقية وتقليل وقت التوقف.لا تزال هذه المنطقة في المرحلة المبكرة من التطوير.
>
4.2انخفاض التكلفة———— –توافر البيانات ونظام الإثبات التفاعلي
يتطلب الانفصال المتفائل معاملات التخزين لإعادة بناء حالة عملية التحدي.قد يؤدي ذلك إلى ارتفاع تكاليف تخزين البيانات ، والتي تشكل معظم تكاليف التشغيل للتشغيل المتفائل.ومع ذلك ، يدرس الأشخاص هذه المشكلة بنشاط ، بما في ذلك تطبيق المزيد من تقنية الضغط أو استخدام ALT DA (قابلية استخدام البيانات المستبدلة).بالإضافة إلى ذلك ، يساعد نظام الإثبات التفاعلي في تقليل تكلفة التحدي ، لأن حساب التحديات قد انخفض إلى حد كبير.
4.2.1 الحل 1: منخفضة التكلفة دا
يتفوق المتفائل بشكل فعال باستخدام Setereum blobs وحلول قابلية استخدام البيانات الأخرى (مثل Celestia) لحل المشكلات عالية التكلفة المتعلقة بإصدار بيانات حزمة المعاملات.
في حالة Ethereum ، فإن التفاؤل بيانات المعاملة المنشورة مسبقًا مثل CallData للشبكة الرئيسية ، وهي تكلفة كبيرة.ومع ذلك ، مع ترقية Dencun ، يستخدمون الآن تنسيق تخزين البيانات الجديد المسمى BLOBS ، مما يقلل من التكلفة الإجمالية بأكثر من 90 ٪.
>
بالإضافة إلى استخدام تقدم Ethereum الخاص ، يتم دمج المتفائل أيضًا مع قرارات قابلية استخدام البيانات الأخرى (مثل Avail و Celestia).من خلال إلغاء تثبيت بيانات حزمة المعاملات إلى Celestia ، يمكن أن يقلل المتفائل من الاعتماد على إنفاق تخزين أعلى على Ethereum ، وبالتالي تقليل التكلفة المتعلقة بإصدار البيانات.يتيح هذا التكامل Rollup الحفاظ على إنتاجية عالية المستوى وسرعة المعاملة مع الحفاظ على تكاليف قابلة للتحكم في التكلفة.
مع إطلاق Rollup باستخدام نظام الإثبات المتفائل في المزيد والمزيد ، يحصل حقل Alt DA الآن على المزيد والمزيد من الاهتمام.مع المزيد من التحضير للفرار ، سيعزز حقل Alt DA أيضًا بشكل كبير.في الوقت الحاضر ، لا تشكل DA عنق الزجاجة لتكاليف التشغيل ولا ليس من غير المسجلة توسيع نطاق الزجاجة.
4.2.2 الحل 2: نظام الإثبات التفاعلي
في Rollup المتفائل ، إذا كان من الممكن أن تكون المعاملة احتيالية ، فيمكن أن يتحدى المنافس على الشبكة فعالية جذر الإخراج.خلال فترة التحدي ، يجب تقديم دليل احتيالي لإثبات صحة المعاملة.إذا ثبت أن المعاملة احتيالية ، فسيتم التحقق من الدليل على السلسلة ، مما سيؤدي إلى أن تكون المعاملة غير صالحة.تضمن هذه الطريقة أن المعاملات المثيرة للجدل فقط تحتاج إلى التحقق من السلسلة ، بحيث يتم الاحتفاظ بمعظم المعاملات تحت السلسلة.
يدعو نظام الإثبات التفاعلي المشاركين إلى إنشاء شهادة الاحتيال وتقديمها أثناء الشك في أن المعاملة هي معاملة احتيال.إدارة العقود الذكية لـ Rollup لتقييم هذه الأدلة بناءً على جذر الحالة المقدم من قبل الفارق.إذا تم العثور على الانحراف ، فتجاهل الحالة غير الصحيحة واستعادة النظام إلى الحالة الصالحة السابقة.تضمن هذه الطريقة التحقق الفعال دون إحضار عبء حساب غير ضروري إلى شبكة Ethereum.في الوقت الحاضر ، يتم تنفيذ هذا الحساب على السلسلة ، والتي قد تكون مكلفة للغاية.بالنسبة للتحسس ، يتم الانتهاء من الحساب المطلوب للتحدي بموجب السلسلة ، ويتم إصدار النتيجة النهائية على السلسلة.لكن التكلفة قد تكون ضئيلة ، لأنه لا يوجد أي تحد تقريبًا في المتفائل الحالي.
4.3اليقين النهائي ببطء———— –نظام التنفيذ السريع ونظام التصديق المختلط
المتفائل Rollow له نوعان من التأكيد النهائي للحتمية واليقين السريع.يشير التأكيد الناعم إلى الحالة الأولية لحالة تنفيذ الفارز ، وفي الوقت نفسه ، يتم إصدار معاملات الدُفعات على Ethereum.في هذا الوقت ، تعتبر المعاملة “ناعمة ومؤيقة” ، ويمكن للمستخدمين والتطبيقات على Rollup الاعتماد على هذه الصفقة بثقة.ومع ذلك ، هناك فترة من التحدي (عادة حوالي 7 أيام) ، وخلال هذه الفترة ، يمكن لأي شخص تقديم “شهادة احتيال” للتشكيك في فعالية مجموعة المعاملات.إذا لم يتم تقديم الشهادة الاحتيالية خلال فترة التحدي ، فإن حزمة المعاملات ستحقق اليقين الصعب ولا يمكن ترحيلها أو تحديها.بشكل عام ، يجب أن يكون الجسر الأصلي جامدًا لنقل الأصول.
عند بناء جسر أو DAPP متعدد السلطة ، قد يسبب التأكيد البطيء والطين للسرعة مشاكل.هذه المشكلة هي حل من خلال تنفيذ أسرع وأنظمة الشهادات المختلطة.
4.3.1 الحل 1: تنفيذ تنفيذ أسرع
فيما يتعلق بالتصميم الناعم ، تتضمن هذه العملية تحويل حالة التنفيذ وتخزين حزمة المعاملات في Ethereum.نظرًا لأن مواصفات EVM لا تدعم التنفيذ المتوازي وتحسين قاعدة البيانات ، فإن عملية التنفيذ محدودة.ومع ذلك ، تقوم مشاريع مثل Megaeth و Heiko ببناء بيئة تنفيذ متوازية واستخدام نظام الشهادات المتفائلة.
بالإضافة إلى ذلك ، تحاول Rollup تخزين حزم التداول بشكل أسرع من خلال كتل أقصر.بالنسبة إلى التعبير ، يتم إنشاء كتلة عن طريق إنشاء كتلة كل 250 ميلي ثانية ، أو يمكن إنشاء كتلة لكل 100 ميلي ثانية على سلسلة المدار القابلة للتكوين.بالإضافة إلى ذلك ، يستخدم تصميم Arbitrum نموذج “فرز” فريد من نوعه بدلاً من “البناء” التقليدي.في الوقت نفسه ، يمكنك أيضًا إزالة MEVs السيئة.
4.3.2 الحل 2: نظام إثبات مختلط
نظام الشهادات الهجينة ، وخاصة أنظمة الشهادات الهجينة التي تجمع بين شهادة ZK و Rollup المتفائلة ، تعمل بشكل كبير على تحسين اليقين النهائي لمعاملات blockchain عن طريق تقليل الوقت المطلوب من خلال الاستنتاجات للتحقق.يعتمد Rollup المتفائل (مثل تلك المستخدمة في مكدس OP في التفاؤل) بشكل أساسي على مثل هذه الفرضية: ما لم يتم تحديها ، يكون التداول فعالًا.هذا يجعل النزاع أو نافذة التحدي ضرورية ، ويمكن أن يتعامل مع المعاملات غير الصالحة المحتملة.ومع ذلك ، فإن فترة التحدي هذه ستؤدي إلى تأخير تحديد المعاملات ، لأن فترة التحدي يجب أن تكون طويلة بما يكفي لضمان التحقق الموثوق ودعم أي تحديات محتملة.
Zeth هو ZK كتلة مبنية على RISC Zero ZKVM.هذا يقلل من اعتمادها على نافذة النزاع الطويلة المطلوبة المطلوبة لتفاؤل التدحرج ، وقد اختصر بشكل كبير وقت التحديد النهائي.
تضمن أدوات مثل Zeth أن آلية فرز المعاملات وتوافر البيانات موثوق بها ، ويتم تحسين كفاءة حل L2 (مثل التفاؤل) عن طريق تقليل فترة التحدي من بضعة أيام إلى عدة ساعات أو حتى دقائق.كما طورت مشاريع مثل ZKM نظام إثبات مختلط لـ Metis.
>
5، نتطلع إلى المستقبل———— –الانفصال المتفائلهل سيتم استبداله؟
في رأيي ، لن يتم استبدال Rollup المتفائل بسرعة.هناك العديد من التحسينات قيد التقدم ، وقد يتم اعتمادها بواسطة النظم الإيكولوجية الأخرى للبساطة.في المقالات المستقبلية ، سأحاول دراسة “حالة نظام شهادة ZK” بتعمق ، ومناقشة تطوره الأخير والإصدار القادم ، ومقارنته مع Rollup المتفائل.ومع ذلك ، فإن استخدام الأطر مثل المدار التعبير و OP-Stack يتسارع.
إحدى المشكلات التي رأيتها في مجال Rollup هي مشكلة التوسع.تقوم مشاريع L1 مثل SEI و SUI و Solana بتطوير البنية التحتية لتحقيق تنفيذ معاملات موازية موثوق بها وتحسين قاعدة البيانات ، والتي تهدف إلى جعل الجمهور أسهل في استخدام blockchain.قد لا يكون Rollup الحالي قادرًا على التعامل مع مقدار المعاملة بقدر SUI وتحقيق اليقين النهائي السريع.ومع ذلك ، نظرًا لأن مشاريع مثل Fuel Network و Megaeth و Heiko تجعل التنفيذ المتوازي ممكنًا ، يمكننا أن نتوقع تحسين الأداء في مجال Rollup قريبًا.
