خلل حسابي أتاح اختراق Truebit وسرقة 8535 ETH

العنوان الأصلي: "اختراق عقد بروتوكول Truebit ⁦$26.44M⁩: تحليل الثغرة"
المصدر الأصلي: ExVul Security

في ⁦08/01/2026⁩، تعرض بروتوكول Truebit للاختراق، ما أدى إلى خسارة 8,535.36 ETH (نحو ⁦$26.44M⁩). وصدر الإعلان الرسمي لبروتوكول Truebit في وقت مبكر من اليوم التالي. أجرى فريق ExVul الأمني تحليلًا مفصلًا للثغرة التي استُغلت في هذا الهجوم، وكانت النتائج كما يلي:

آلية الهجوم

عنوان المهاجم:

0x6c8ec8f14be7c01672d31cfa5f2cefeab2562b50

معرّف معاملة الهجوم:

0xcd4755645595094a8ab984d0db7e3b4aabde72a5c87c4f176a030629c47fb014

نفّذ المهاجم الهجوم عبر تكرار الاستدعاءات 4 مرات من خلال معاملات getPurchasePrice→0xa0296215→0xc471b10b. ويركز التحليل على الحلقة الأولى كمثال.

1. استدعى المهاجم أولًا الدالة getPurchasePrice(240442509453545333947284131)، فأعادت القيمة 0.

2. استدعى المهاجم الدالة 0xa0296215(c6e3ae8e2cbab1298abaa3) بقيمة msg.value تساوي 0، وتمكن من سكّ 240442509453545333947284131 من توكنات TRU بنجاح.

3. استدعى المهاجم الدالة 0xc471b10b(c6e3ae8e2cbab1298abaa3)، ثم أحرق 240442509453545333947284131 من توكنات TRU وحصل على 5105.06 ETH.

تحليل منطق الهجوم

يتضح من فهم آلية الهجوم المذكورة أعلاه وجود مشكلات في منطق الدالتين getPurchasePrice و0xa0296215. وفيما يلي تحليل معمق (نظرًا إلى أن العقد ليس مفتوح المصدر، فإن الشيفرة التالية مفككة).

بمقارنة أوجه التشابه بين الدالتين، يمكننا اكتشاف أن الدالة 0x1446 تُستخدم لتحديد مقدار ETH اللازم لشراء كمية محددة من TRU. ومن الواضح وجود خلل في منطق الدالة 0x1446 يؤدي إلى حساب غير صحيح لقيمة ETH. وفيما يلي تحليل مفصل لمنطق الدالة 0x1446.

عند فحص منطق الدالة 0x1446، وبما أن نتيجة الحساب النهائية v13  == 0، فمن المؤكد أن منطق الحساب المذكور سابقًا معيب. ومن المهم ملاحظة أن الدالة 0x18ef تعادل _SafeMul، لذا تكمن المشكلة في استخدام الجمع الأصلي v12 + v9 (إذ إن إصدار العقد هو  ^0.6.10، ولذلك لا يوجد فحص لتجاوز السعة).

يمثل كل من v12 وv9 ما يلي:

وفقًا للتحليل أعلاه، تتمثل طريقة المهاجم في إدخال قيمة _amountIn ضخمة تؤدي إلى تجاوز v12 + v9 وانخفاض الناتج إلى قيمة صغيرة جدًا، ما ينتج عنه في النهاية (v12 + v9) / v6 == 0.

الخلاصة

السبب الأساسي لهذا الهجوم على بروتوكول Truebit هو وجود خلل خطير في تجاوز عدد صحيح ضمن منطق حساب سعر شراء التوكنات. وبما أن العقد يستخدم إصدار Solidity ^0.6.10 ولا يجري فحوصات أمان على العمليات الحسابية الأساسية، فقد أدى ذلك في النهاية إلى خسارة كبيرة قدرها 8,535.36 ETH. وقد عالجت الإصدارات الجديدة من Solidity ثغرات تجاوز السعة بالفعل. وينبغي النظر إلى هذا الهجوم باعتباره مثالًا على استغلال مخترق للذكاء الاصطناعي لفحص بعض بروتوكولات DeFi القديمة العاملة تلقائيًا واكتشاف ثغرات فيها (بما في ذلك هجما Balancer وyETH مؤخرًا). ونعتقد أن هذه الهجمات المدعومة بالذكاء الاصطناعي على بروتوكولات DeFi القديمة ستصبح أكثر شيوعًا في المستقبل القريب. لذلك، نوصي المشاريع بإجراء تدقيقات أمنية جديدة على شيفرات عقودها. وإذا اكتُشفت ثغرات، فعليها ترقية العقد أو نقل الأصول على الفور، ومواصلة مراقبة الشبكة، والكشف عن الأنشطة غير الطبيعية سريعًا، والحد من الخسائر.

هذا المقال محتوى مساهم به ولا يمثل وجهة نظر BlockBeats.

يُقدَّم هذا المحتوى لأغراض معلوماتية عامة فقط، ولا يُشكل مشورة مالية أو استثمارية أو قانونية أو ضريبية. ولا ينبغي اعتبار أي فعاليات أو مكافآت أو عروض ترويجية عبر الإنترنت أو أي معلومات ذات صلة واردة فيه توصيةً أو طلبًا أو دعوةً لشراء الأصول المشفرة أو بيعها أو تداولها أو إجراء أي معاملات أخرى عليها. تتميز الأصول المشفرة بتقلبات سعرية مرتفعة وقد تؤدي إلى خسائر. وقد يختلف مدى توفر خدمات WEEX ومنتجاتها والفعاليات المرتبطة بها حسب المنطقة. وتقع على عاتقك مسؤولية التأكد من أن مشاركتك تتوافق مع القوانين واللوائح المحلية المعمول بها.