ما هو هجوم تجاوز الحد الصحيح للعدد؟
يحدث هجوم تجاوز الحد الصحيح عندما يصل رقم البرنامج إلى قيمته القصوى ثم يعود ليصبح مرة أخرى، مما يسمح للمهاجم بت twisting الأرصدة أو الحدود. في عالم крипто، يمكن أن يتحول هذا الالتفاف إلى فحص مثل "هل لديك ما يكفي من الرموز؟" إلى نعم حين يجب أن تكون الإجابة لا. تخيل عداد سيارة قديم يتحول من 999999 إلى 000000، لكن مع وجود المال على المحك.
“المترجمات الحديثة تجعل ذلك مستحيلاً.” ليس تماماً. فهناك العديد من العقود الذكية التي لا تزال تستخدم حساباً غير مُقيد في أماكن معينة، أو رياضيات مخصصة، أو تجميعات يمكنها إعادة إدخال عيوب التلف.
كيف يعمل هجوم تجاوز الحد الصحيح للعدد
إليك عرضاً سريعاً باستخدام عقد رمز كالمسرح.
- الخطوة 1: يخزن العقد الأرصدة بأعداد صحيحة ذات حجم ثابت ولديه دالة تضيف أو تطرح أو تضرب المبغولات.
- الخطوة 2: يختار المهاجم مدخلات تدفع الرقم إلى ما بعد الحد الأقصى، مما يسبب التفافاً إلى قيمة صغيرة أو صفر تقريباً.
- الخطوة 3: ينعكس ذلك التفافاً فحصاً. مثال: بعد الالتفاف، يبدو الرصيد ضخمًا أو يبدو حد النقل صغيراً، لذا يمر شرط التحقق.
- الخطوة 4: يقوم المهاجم بصك رموز لم تتم حقبتها أو يتجاوز عتبة الحد، أو ينقل أموالاً لا يجوز له تحريكها.
- الخطوة 5: يبدلون الأرباح من خلال التداولات أو الجسور ويغادرون قبل أن يكتشفهم أحد.
قصة واقعية: كان لدى عدة رموز ERC 20 عيب تفاف دفعي في دفعة واحدة سمح للمهاجمين بتزوير عروض غير معقولة، ثم بيعها في البورصات. نعم، حدث ذلك.
لماذا يهم هجوم تجاوز الحد الصحيح للعدد
إذا كنت تحمل رموز، تبني تطبيقات، أو تتاجر ضمن DeFi، يجب أن تهتم. هذا يتعلق بالأرقام، والأرقام تقود العالم الرقمي.
- الفائدة: معرفة كيفية عمل هذا يساعدك في اكتشاف العلامات الحمراء مبكراً وحماية أموالك.
- وجهة نظر: أخطاء الحساب مناصرها طويل الأمد. تظهر سلاسل وأدوات جديدة، لكن أخطاء الرياضيات لا تزال تستفيد منها المحترفون.
- الأهمية: سترى ذلك في حساب عروض الرموز، ونُظم المكافآت، ومقاييس NFT، وفي تطبيقات لامركزية شائعة dApps التي تتلاعب بالأرصدة الخاصة بالمستخدمين.
في Solidity، اجعل الحسابات تندرج ضمن التحقق افتراضيًا واجعل الكتل unchecked صغيرة ومراجعة. أضف اختبارات fuzz التي تحاول قيم قصوى، لا مجرد المسارات السعيدة.
السمات الأساسية لهجوم تجاوز الحد الصحيح للعدد
ما الذي يميّره عن بقية الأخطاء:
- التفاف: تقفز الأعداد من الحد الأقصى إلى الصفر مثل عدّاد دائري.
- صامت: لا يوجد خطأ أصلي إذا كان الحساب غير مقيد، لذا تبدو الفشلات كأنها نتائج شرعية.
- قابل للتشغيل: غالباً ما تكون المدخلات التي يتحكم بها المستخدم قادرة على فرض اللحظة الدقيقة التي يحدث فيها.
- قابل لإعادة التكرار: بمجرد العثور عليه، يمكن للمهاجمين برمجته وتشغيله عبر العديد من الأهداف.
ال Variations
الأنواع الرئيسية التي ستسمع عنها، هي نفس العائلة، طرق مختلفة:
- Underflow: الطرح ينزل إلى ما دون الصفر ويتواءم مع قيمة ضخمة.
- Addition: الإضافة إلى رصيد أو عرض يرفعها فوق الحد ثم تعود إلى أرقام صغيرة.
- Multiplication: مضاعفات المكافأة أو عوامل القياس تفجر القيمة خارج الحدود.
- Counter: عدّاد Token ID أو العرض يتجاوز الحد ويمكّن من استمرار الإصدار.
هجوم تجاوز الحد الصحيح للعدد ليس مجرد مسألة Solidity. يمكن أن يظهر في Vyper، Rust، Move، أو تجميعات مخصصة، وكثير من الهجمات الشهيرة exploits تتركز حول الحسابات غير المقيدة للأرصدة أو العُروض.
مثال
دالة المكافأة تضرب رقمًا يقدمه المستخدم بمكافأة كبيرة، الالتفاف يحصل، فحص الحد يمر، وهجوم تجاوز الحد الصحيح للعدد يسمح للمهاجم بتزوير عدد أكبر من الرموز مما كان مقصودًا.
معلومة ممتعة
لعبة الأركيد الكلاسيكية مع شاشة قتل المستوى 256؟ ذلك التجميد الشهير جاء من تجاوز عدد صحيح، مما يثبت أن حتى الألعاب الكلاسيكية قد تكشف عن عيوب العملات الرقمية قبل فترة.
الخلاصة
فكر في هجوم تجاوز الحد الصحيح للعدد كمجموعة أرقام تقوم بجولة كاملة وسرقة تتخطى خلال الفاصل؛ اجعل الرياضيات مُتحققة وتنام أنت بسلامة أكثر.