"إطار عمل للتكامل الآمن مع AltDA على الإيثيريوم" - فريق @eigen_da توسع تكاملات AltDA مساحة تصميم إيثيريوم، لكن معظم التصميم والتنفيذات غير محددة بشكل كاف لأمان المستوى الثاني. هذه هي أول عملية رسمية لما يتطلبه التكامل الآمن: أساس لأنظمة بلا ثقة. وهذا يجسد نفس المبادئ المطبقة في إطار @l2beat.

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

نرى تكامل AltDA كسلسلة من تحولات البيانات الحتمية عبر ثلاثة هياكل بيانات. بايتات صندوق الوارد L1 → التزام AltDA → حمولة الكتلة → الجمع كل خطوة تحتاج إلى وظائف كاملة، أي أنها تتعامل مع جميع المدخلات، بما في ذلك القمامة العدائية. التنفيذات الجزئية = فشل الحيوية.

مدقق DA مهم لكنه غالبا ما يساء فهمه. يجب أن يكون: - الإجمالي: يتعامل مع أي إدخال دون تعطل - صحيح: لا توجد إيجابيات كاذبة (تمكن حجب البيانات) أو سلبيات كاذبة (هجوم أضعف على الحيوية) فشل مقطع أثناء لعبة تحدي = احتمال سرقة الجسر.

ينفذ تكامل OP Stack الخاص ب EigenDA (Hokulea + EigenDA Proxy) هذا الإطار ويستخدمه @Celo @megaeth وآخرون قريبا. نهجنا يشكل إطار عمل @l2beat من خلال تعريفات صريحة للمجالات والوظائف الكلية. نأمل أن تجد فرق الجمع وتحليل البيانات الأخرى ذلك مفيدا في فهم وتصميم ودمج التكاملات الآمنة.