التحقق من سلامة البرنامج الثابت

الخطوة 1: فهم مفهوم التجزئة التشفيرية (Hash). التجزئة هي دالة رياضية أحادية الاتجاه تحول أي كمية من البيانات إلى سلسلة ثابتة الطول من الأحرف (مثلاً 64 حرفاً لخوارزمية SHA-256). تعمل الدالة كبصمة رقمية فريدة للملف؛ أي تغيير في الملف ولو بحرف واحد ينتج عنه تجزئة مختلفة تماماً. في سياق التحقق من سلامة البرنامج الثابت (Firmware)، يتم حساب تجزئة للنسخة الأصلية الموثوقة (متوقع hash) وتخزينها بأمان. عند التحقق، تحسب تجزئة للنسخة الحالية (فعلي hash) وتقارن مع المتوقعة.

الخطوة 2: إدخال التجزئة المتوقعة (Expected Hash). يمثل هذا القيمة الصحيحة التي تم الحصول عليها من مصدر موثوق (مثل موقع الشركة المصنعة، أو عند إنشاء البرنامج الثابت). يجب أن تكون هذه القيمة مأخوذة من بيئة آمنة لضمان عدم التلاعب بها. يمكن أن تكون التجزئة من نوع MD5، SHA-1، SHA-256، أو SHA-3 حسب قوة الأمان المطلوبة. يفضل استخدام SHA-256 أو أعلى لتجنب تعارضات التجزئة.

الخطوة 3: إدخال التجزئة الفعلية (Actual Hash). هذه هي التجزئة المحسوبة من ملف البرنامج الثابت الذي تريد التحقق منه. يمكن الحصول عليها باستخدام أدوات مثل `sha256sum` في Linux، أو `certutil` في Windows، أو بواسطة لغات البرمجة. يجب التأكد من حساب التجزئة على الملف نفسه دون أي تعديلات. في هذه الآلة الحاسبة، تقوم بإدخال التجزئة الفعلية يدوياً أو يمكن رفع الملف لحسابها تلقائياً (في إصدارات متقدمة).

الخطوة 4: المقارنة بين التجزئتين. تتحقق الحاسبة أولًا أن القيمتان مكونتان من أرقام سداسية عشر (hex) فقط، وأن طول كلٍّ منهما يطابق طول مختلَم معروف (32 لـ MD5، 40 لـ SHA-1، 56 لـ SHA-224، 64 لـ SHA-256، 96 لـ SHA-384، 128 لـ SHA-512)، فترفض النصوص التي ليست تجزئات. ثم تقارن نص التجزئة المتوقعة مع النص الفعلي حرفيًا (مقارنة حساسة لحالة الأحرف، مع تجاهل المسافات قبل وبعد). إذا تطابقا تمامًا يكون البرنامج الثابت سليماً. وإن اختلف الطولان تُصدر حكم 'algorithm mismatch' لأن المصدر حسب خوارزمية غير التي حسبتها. أما إذا تساوى الطول واختلفت القيمة فتحكم 'integrity breach'، وتنبه في التفاصيل عند 'Case-only difference' أن الفرق هو حالة الحروف فقط. في حالة الاختلاف الحقيقي نزّل نسخة جديدة من المصدر الرسمي وكرر العملية.

الخطوة 5: تفسير النتيجة. النتيجة هي 'مطابق' (Integrity Verified) أو 'غير مطابق' (Integrity Breach). في حالة عدم المطابقة، قد تكون الأسباب: ملف تالف أثناء النقل، هجوم تعديل (Malware)، أو تحديث غير صحيح. يجب عدم استخدام البرنامج الثابت غير المطابق لأن تشغيله قد يؤدي إلى أعطال جهاز أو ثغرات أمنية. في الأنظمة الحرجة (كأجهزة التوجيه، IoT، الأجهزة الطبية)، يعتبر التحقق من التجزئة خطوة أساسية قبل التثبيت.