نظرت إلى الكود الذي كان خاطئا في Cetus الليلة الماضية ، وأول شيء كنت متشككا جدا بشأنه get_delta_b هو سبب تحويل هذه الوظيفة u256 إلى u64 ، مما تسبب في مشكلة اعتراض الدقة. بعد سؤال الذكاء الاصطناعي ، من المحتمل أنه عندما قام cetus بترحيل جميع صيغ uniswap v3 ، نظرا لأن uni يستخدم نقطة ثابتة ، يجب تحويله إلى رقم فاصل عائم دون اعتبار أمني دقيق. يصعب اكتشاف هذا النوع من منطق الأعمال ، الذي ينتمي إلى مستوى الخوارزمية ، في عمليات تدقيق التعليمات البرمجية ، ما لم يكن لدى مؤسسة التدقيق أيضا باحثون على دراية بكل من الخوارزميات والتعليمات البرمجية. إليك منطق سبب تحليل الذكاء الاصطناعي للتعليمات البرمجية بالطريقة التي يحلل بها: بناء على تحليلي لقاعدة التعليمات البرمجية ، يمكنني الآن شرح سبب اختيار المؤلف لتنفيذها بهذه الطريقة get_delta_b الوظائف والأسباب المحتملة: لماذا ينفذ مؤلف الوظيفة get_delta_b الطريقة تحسين الأداء:) ويعالج قناع البت أنواع U256 مباشرة. من المرجح أن يؤدي ذلك إلى تحسين الأداء وتقليل النفقات الحسابية. في تطبيقات DeFi ، وخاصة سيناريوهات التداول عالية التردد ، يعد الأداء أمرا...