قراءة الإعلانات الأمنية أشد ما يكره تُرجم عبارة "تم إصلاحه" تلقائيًا إلى "تم تأمينه". قامت AEGIS في هذه الموجة بإغلاق ثلاث نقاط دلالية متفرقة سببها عدم تطابق Send/Sync في piecrust: تَسميات جلسات ناتجة عن مطابقة خاطئة، ومشكلة إلغاء التسلسل من جهة المضيف، وانقسام دلالات الرسوم/الاسترداد في Phoenix، كما جمعت أيضًا ثغرة BLS في ظل تعيين h0 القديم حيث يمكن التزوير بـ"مشاهدة توقيع مرة واحدة" لباقي الرسائل بالمفتاح نفسه. ظاهريًا الأمر هو هارد فورك يضم 39 إصلاحًا، لكن جوهره يكشف أن Dusk بعد أن جمع ثلاث طبقات: تسوية ZK وRust VM وEVM bridge، وأن طبقة "الثقة في التجميع الهندسي" خارج علم التشفير أكثر هشاشة من ثغرة فردية.
تسلّمت محفظة توقيعات الجسر في يناير خسارة أكبر، والأجدر كشفها بدل قبول خطاب "البروتوكول لم يُخترق": طبقة الإجماع قد تكون نظيفة≠ حدود نظافة أصول المستخدم. الجسر هو طبقة الثقة الاقتصادية التي تعمل على البروتوكول، والتصميم القديم القائم على التوقيع الحار + معالجة الأحداث + المسار الشبكي نفسه بطبيعته يمثل سطحًا قابلًا للهجوم. لاحقًا، فصل التوقيع عن الأحداث، واعتماد آلة حالات صريحة (seen/submitted/completed/failed/stuck)، وتعويض يدوي من المحفظة الباردة، وإيقاف ذاتي عند انخفاض الرصيد—كل ذلك ينقذ نموذج التشغيل وليس ثابتًا على السلسلة؛ هل تمر هذه التغييرات في اختبارات التحمل لإعادة التشغيل عالية الأحمال والاسترداد من الأعطال بشكل غير طبيعي، يعتمد على ما إذا كانت اختبارات الرجوع (regression) قد ضمنت سيناريوهات زمنية من نوع: "توقيع صالح لكن الحدث مفقود" و"بعد تعطل worker يتم إعادة بث الرسالة عدة مرات".
عند نقل الصورة إلى COW وETH، تستطيع الاقتباس من بعض الأطر لكن لا يمكنك النسخ. حدود أمان COW ليست في جزء العقود الذكي على السلسلة، بل في توافق/اصطفاف توقيع intent مع قيود solver وعطاءات المزاد وتسوية عقد GPv2؛ الجرح الحقيقي هو تركيز الـsolver، وتسريب أوامر ضمن نافذة 30 ثانية، ووجود صلاحية approval كبيرة جدًا في عقد التسوية—حتى لو اشتريت مرة أخرى بقوة، لن يختفي أثر الشد الخفي في طبقة التنفيذ. أما ETH فالأمر أوضح: تنوع عملاء L1، ومركزية RPC والبنّائين (builders)، وافتراضات الثقة في جسور عبر السلاسل—منذ البداية كلها "عنق الزجاجة" يقع خارج نطاق الإثبات.
لذلك بعد #dusk ، سأراقب مؤشرين صلبين فقط: هل جذور سبب AEGIS الرئيسية دخلت fuzz/اختبارات تفاضلية طويلة الأمد بدلًا من اختبار وحيد مرة واحدة؟ وهل معمارية العزل الجديدة للجسر في اختبارات الضغط واستعادة الاتصال عند الانقطاع هي حقًا "تفشل ثم تتوقف" أم أنها "تفشل ثم تواصل بصمت". عدد بنود التدقيق مسألة شكل، أما أن يتكرر نفس الخطأ لاحقًا بشكل أصعب فهو جوهر الحكاية. إلى أن يُعاد التحقق من هذين المتغيرين بشكل مستقل، فإن خصم أمان $DUSK لا يمكن محوه دفعة واحدة؛ بل يجب إرجاعه على أقساط. @Dusk
تسلّمت محفظة توقيعات الجسر في يناير خسارة أكبر، والأجدر كشفها بدل قبول خطاب "البروتوكول لم يُخترق": طبقة الإجماع قد تكون نظيفة≠ حدود نظافة أصول المستخدم. الجسر هو طبقة الثقة الاقتصادية التي تعمل على البروتوكول، والتصميم القديم القائم على التوقيع الحار + معالجة الأحداث + المسار الشبكي نفسه بطبيعته يمثل سطحًا قابلًا للهجوم. لاحقًا، فصل التوقيع عن الأحداث، واعتماد آلة حالات صريحة (seen/submitted/completed/failed/stuck)، وتعويض يدوي من المحفظة الباردة، وإيقاف ذاتي عند انخفاض الرصيد—كل ذلك ينقذ نموذج التشغيل وليس ثابتًا على السلسلة؛ هل تمر هذه التغييرات في اختبارات التحمل لإعادة التشغيل عالية الأحمال والاسترداد من الأعطال بشكل غير طبيعي، يعتمد على ما إذا كانت اختبارات الرجوع (regression) قد ضمنت سيناريوهات زمنية من نوع: "توقيع صالح لكن الحدث مفقود" و"بعد تعطل worker يتم إعادة بث الرسالة عدة مرات".
عند نقل الصورة إلى COW وETH، تستطيع الاقتباس من بعض الأطر لكن لا يمكنك النسخ. حدود أمان COW ليست في جزء العقود الذكي على السلسلة، بل في توافق/اصطفاف توقيع intent مع قيود solver وعطاءات المزاد وتسوية عقد GPv2؛ الجرح الحقيقي هو تركيز الـsolver، وتسريب أوامر ضمن نافذة 30 ثانية، ووجود صلاحية approval كبيرة جدًا في عقد التسوية—حتى لو اشتريت مرة أخرى بقوة، لن يختفي أثر الشد الخفي في طبقة التنفيذ. أما ETH فالأمر أوضح: تنوع عملاء L1، ومركزية RPC والبنّائين (builders)، وافتراضات الثقة في جسور عبر السلاسل—منذ البداية كلها "عنق الزجاجة" يقع خارج نطاق الإثبات.
لذلك بعد #dusk ، سأراقب مؤشرين صلبين فقط: هل جذور سبب AEGIS الرئيسية دخلت fuzz/اختبارات تفاضلية طويلة الأمد بدلًا من اختبار وحيد مرة واحدة؟ وهل معمارية العزل الجديدة للجسر في اختبارات الضغط واستعادة الاتصال عند الانقطاع هي حقًا "تفشل ثم تتوقف" أم أنها "تفشل ثم تواصل بصمت". عدد بنود التدقيق مسألة شكل، أما أن يتكرر نفس الخطأ لاحقًا بشكل أصعب فهو جوهر الحكاية. إلى أن يُعاد التحقق من هذين المتغيرين بشكل مستقل، فإن خصم أمان $DUSK لا يمكن محوه دفعة واحدة؛ بل يجب إرجاعه على أقساط. @Dusk