الحقيقة غير المريحة أكثر فائدة من الحقيقة المريحة، لذلك إليكم حقيقة غير مريحة عن Dusk Network: أجرت عملية تدقيق داخلي في مطلع 2026، فوجدت 39 مشكلة في قاعدة الشيفرة الخاصة بالإنتاج، سبع منها حرجة، وذلك بعد أكثر من عام من بدء mainnet بالفعل في معالجة قيمة حقيقية.
تجدر تسمية الأسباب الجذرية الأربعة الكامنة وراء تلك النتائج الحرجة بوضوح بدل التخفيف من حدّها. اثنان منها جاءا من امتلاك غير سليم للذاكرة في Piecrust، بيئة الحوسبة الافتراضية (sandbox)، ما قد يتيح عقدتين صادقتين تنفيذ شيفرة متطابقة والحساب بهدوء لإخراج نتائج مختلفة، وفئة عيوب كهذه أسوأ من التعطل (crash) لأنها قد تبقى غير مرئية. جاء سبب ثالث من مسار إلغاء ترميز (deserialization) على جانب المضيف كان يثق بالبيانات المتحكم بها من العقد دون التحقق منها أولاً، محوّلاً خطأ على مستوى العقد إلى مشكلة سلامة على مستوى العقدة. أما السبب الآخر فكان في كيفية ربط Phoenix، نموذج المعاملات المطموسة (shielded transaction model)، لمنطق الرسوم والاسترداد (fee and refund)، وهي فجوة في حد ذاتها فتحت مسارات في آن واحد نحو تضخم المعروض (supply inflation) وتعطيلات سلسلة (chain halts) وإعادة توجيه الاسترداد. وكان السبب الأخير ضعفاً بنائياً تشفيرياً في مخطط توقيعات BLS الكامن تحت مصادقة الإجماع نفسها. ولأن التحقيق في الاستغلال السابق يتطلب، فقد كان الأمر يستلزم تمحيص السجلات والأدلة على مستوى المضيف عبر كامل طبقات النظام، لا مجرد التحقق من نمط خطأ واحد في سجل المعاملات.
يقول Dusk إن تحقيقه الخاص لم يجد أي دليل على استغلال أي من المشكلات السبع قبل شحن الإصلاح كمراجعة صلبة (hard fork) في مارس 2026، وهي أكبر إصدار منذ الإطلاق. لا أملك طريقة مستقلة للتحقق من هذا الادعاء، ولا يفعل أي شخص يقرأ هذا، رغم أنه مع NPEX وحده يخطط لنقل أكثر من 300 مليون يورو إلى قاعدة الشيفرة هذه، لم تكن المخاطر صغيرة أبداً. ما أستخلصه من الأمر أكثر تعقيداً من مجرد الطمأنة الخالصة: إن اكتشاف ذلك قبل وقوع الاستغلال عملٌ جيد حقاً، لكنه يعني أيضاً أن شيفرة ذات تبعات بهذا القدر كانت تعمل في الإنتاج لأكثر من عام حاملة عيوباً لم يكن أحد قد عثر عليها بعد. تدقيق واحد ناجح هو معلمٌ مهم. لكنه ليس ضماناً مستمراً.
@Dusk $DUSK #dusk
تجدر تسمية الأسباب الجذرية الأربعة الكامنة وراء تلك النتائج الحرجة بوضوح بدل التخفيف من حدّها. اثنان منها جاءا من امتلاك غير سليم للذاكرة في Piecrust، بيئة الحوسبة الافتراضية (sandbox)، ما قد يتيح عقدتين صادقتين تنفيذ شيفرة متطابقة والحساب بهدوء لإخراج نتائج مختلفة، وفئة عيوب كهذه أسوأ من التعطل (crash) لأنها قد تبقى غير مرئية. جاء سبب ثالث من مسار إلغاء ترميز (deserialization) على جانب المضيف كان يثق بالبيانات المتحكم بها من العقد دون التحقق منها أولاً، محوّلاً خطأ على مستوى العقد إلى مشكلة سلامة على مستوى العقدة. أما السبب الآخر فكان في كيفية ربط Phoenix، نموذج المعاملات المطموسة (shielded transaction model)، لمنطق الرسوم والاسترداد (fee and refund)، وهي فجوة في حد ذاتها فتحت مسارات في آن واحد نحو تضخم المعروض (supply inflation) وتعطيلات سلسلة (chain halts) وإعادة توجيه الاسترداد. وكان السبب الأخير ضعفاً بنائياً تشفيرياً في مخطط توقيعات BLS الكامن تحت مصادقة الإجماع نفسها. ولأن التحقيق في الاستغلال السابق يتطلب، فقد كان الأمر يستلزم تمحيص السجلات والأدلة على مستوى المضيف عبر كامل طبقات النظام، لا مجرد التحقق من نمط خطأ واحد في سجل المعاملات.
يقول Dusk إن تحقيقه الخاص لم يجد أي دليل على استغلال أي من المشكلات السبع قبل شحن الإصلاح كمراجعة صلبة (hard fork) في مارس 2026، وهي أكبر إصدار منذ الإطلاق. لا أملك طريقة مستقلة للتحقق من هذا الادعاء، ولا يفعل أي شخص يقرأ هذا، رغم أنه مع NPEX وحده يخطط لنقل أكثر من 300 مليون يورو إلى قاعدة الشيفرة هذه، لم تكن المخاطر صغيرة أبداً. ما أستخلصه من الأمر أكثر تعقيداً من مجرد الطمأنة الخالصة: إن اكتشاف ذلك قبل وقوع الاستغلال عملٌ جيد حقاً، لكنه يعني أيضاً أن شيفرة ذات تبعات بهذا القدر كانت تعمل في الإنتاج لأكثر من عام حاملة عيوباً لم يكن أحد قد عثر عليها بعد. تدقيق واحد ناجح هو معلمٌ مهم. لكنه ليس ضماناً مستمراً.
@Dusk $DUSK #dusk
