اختراق بروتوكول تروبيط يكشف عن مخاطر تجاوز الأعداد الصحيحة: خسارة بقيمة 26.4 مليون دولار في ETH

في 12 يناير، كشفت شركة الأمان SlowMist عن حادثة حرجة تتعلق ببروتوكول Truebit، مسلطة الضوء على كيف يمكن لثغرات تجاوز الأعداد الصحيحة أن تؤدي إلى خسائر مالية كارثية في الأنظمة اللامركزية. وقع الهجوم في 8 يناير، وأسفر عن سرقة 8,535 ETH (بقيمة تقريبية تبلغ 26.44 مليون دولار) من خلال استغلال متطور لمنطق العقود الذكية للبروتوكول.

كيف مكن تجاوز الأعداد الصحيحة الهجوم

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

فهم التحليل الفني

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

منع تجاوز الأعداد: أفضل الممارسات للعقود الذكية

تؤكد SlowMist على أن المطورين الذين يستخدمون إصدارات Solidity قبل 0.8.0 يجب عليهم تنفيذ مكتبة SafeMath عبر جميع العمليات الحسابية. توفر SafeMath حماية مدمجة تعيد المعاملات تلقائيًا عند اكتشاف حالات تجاوز أو نقص، مما يمنع الجهات الخبيثة من استغلال مثل هذه الثغرات. بالنسبة للعقود المبنية باستخدام إصدارات Solidity الأحدث (0.8.0 وما فوق)، يتضمن اللغة الآن عمليات حسابية مدققة بشكل افتراضي، مما يقلل من العديد — وإن لم يكن جميع — مخاطر تجاوز الأعداد. تؤكد هذه الحادثة على أهمية ممارسات البرمجة الدفاعية والتدقيق الأمني الشامل قبل نشر أي عقد ذكي في بيئات الإنتاج.