إن Optimism Stack ليس تطبيقا لامركزيا ، ولكنه بنية تحتية حيوية تؤمن المليارات من TVL. عندما تفشل البنية التحتية ، تنهار النظم البيئية بأكملها. هذا هو السبب في أن @_czepluch ترجمت بعض FMAs الخاصة ب Optimism إلى تأكيدات تمنع هذه الإخفاقات على مستوى المعاملة. 🧵

اقرأ أكثر: يستخدم التفاؤل تحليل وضع الفشل لتحديد سيناريوهات الفشل المحتملة بشكل منهجي قبل أن تصبح عمليات استغلال. توثق FMAs الخطأ الذي يمكن أن يحدث ، لكنها لا تمنع حدوثه. هذا ما أردنا القيام به بالتأكيدات.

يحدد ETH Lockbox FMA: "الوصول غير المصرح به إلى lockETH / unlockETH يمكن أن يستنزف العقد." تأكيدنا: يمكن فقط للبوابات المعتمدة استدعاء هذه الوظائف. النتيجة: يتم رفض أي معاملة غير مصرح بها قبل التنفيذ.

يحدد تمرير الرسالة FMA: "يمكن أن تؤدي هجمات إعادة التشغيل إلى تمكين تنفيذ الرسائل المكررة." تأكيدنا: يتحقق من تعيين الرسائل الناجحة قبل أي ترحيل. النتيجة: يزيل هجمات إعادة التشغيل تماما.

تحدد Interop Portal FMA: "قد يؤدي الإبلاغ غير الصحيح عن الحالة إلى فشل السحب". تأكيدنا: التحقق من صحة تقدم الطابع الزمني في تحديثات الحالة. النتيجة: يمنع تناقضات الحالة التي تسبب مشكلات في السحب.

وهذا يضيف صفر افتراضات ثقة جديدة. التفاؤل يتحكم بالفعل في جهاز التسلسل الخاص بهم. تمنحهم التأكيدات إطارا منهجيا للتحقق من صحة المعاملات بناء على تحليل الأمان الخاص بهم. بروتوكول أصلي ، غير مكشوف خارجيا. لكل dApp وقطعة من الأشعة تحت الأرضية.

FMAs → التأكيدات = تحليل → الوقاية يظهر هذا أن التأكيدات تعمل خارج dApps الفردية. إنها قوية لأي بنية تحتية حيوية حيث يكون الفشل المنهجي احتمالا (الكل).