CVE-2026-25541: تحليل الأثر للبنية التحتية لـ Fuel

إشعار

المستودع المتأثر

FuelLabs/fuel-block-committer يستخدم bytes 1.9.0 (عبر Cargo.lock)، وهو إصدار معرّض للثغرة.

يتوفر إصلاح منذ 14 أبريل 2026 عبر PR #254، لكنه لا يزال غير مدمج (أكثر من 68 يومًا).

التحليل الفني

الثغرة

تحتوي BytesMut::reserve() على تجاوز عدد صحيح في مسار الاسترداد الحصري:

// bytes/src/bytes_mut.rs (v1.9.0)
if v_capacity >= new_cap + offset  // ← unchecked addition: new_cap + offset can overflow

عندما يلتف new_cap + offset حول usize::MAX، يمر الشرط بشكل غير صحيح، مما يضبط self.cap بما يتجاوز التخصيص الفعلي. تؤدي الكتابات اللاحقة عبر spare_capacity_mut() إلى كتابات ذاكرة خارج الحدود.

الأثر على fuel-block-committer

تتعامل خدمة مُلتزم الحالة في block committer مع أجزاء كائنات EigenDA باستخدام مخازن BytesMut:

packages/services/src/state_committer/service.rs
  → submit_fragments()
  → fragment accumulation uses BytesMut for blob assembly

يمكن لاستجابة EigenDA مصمّمة بعناية بأحجام أجزاء محددة أن تُطلق التجاوز في مسار إعادة تجميع الكائنات، مما يؤدي إلى:

1. فساد في الذاكرة في عملية المُلتزم
2. احتمال تنفيذ تعليمات برمجية عن بُعد (RCE) إذا تحكم المهاجم في البيانات المعاد كتابتها
3. استخراج مفتاح التوقيع إذا تحقق RCE (المفتاح موجود في ذاكرة العملية أو متغيرات البيئة)

مسارات التعليمات البرمجية المتأثرة

إثبات المفهوم

أبسط نموذج PoC يوضح التجاوز:

use bytes::BytesMut;

fn main() {
    let mut a = BytesMut::from(&b"hello world"[..]);
    let mut b = a.split_off(5);
    drop(a);
    b.reserve(usize::MAX - 6);  // overflow: new_cap + offset wraps
    b.put_u8(b'h');             // OOB write
}

الفحص الآلي

للتحقق مما إذا كان نشرك متأثرًا، شغّل الماسح الآلي:

▶ تشغيل الفحص الآلي

يتصل بحسابك على GitHub لتحليل Cargo.lock وإعدادات النشر والتعرض أثناء التشغيل. تُنشر النتائج كتقرير GitHub خاص (Issue).

يفحص الماسح:

• الاستخدام المباشر وغير المباشر لحزمة bytes
• التعرض أثناء التشغيل عبر مسارات برمجية مواجهة للشبكة
• ما إذا كان مسار أجزاء EigenDA قابلًا للوصول
• إعداد النشر (وضع KMS مقابل وضع المفتاح الخام)

المعالجة

1. فوري: دمج PR #254
2. تحقق: شغّل cargo audit للتأكد من عدم وجود تبعيات أخرى معرّضة للثغرة
3. راقب: افحص سجلات المُلتزم بحثًا عن أحجام أجزاء غير طبيعية

الجدول الزمني

الإفصاح

أُجري هذا التحليل كجزء من بحث أمني مستقل. لم تُجرَ أي محاولة استغلال ضد أنظمة الإنتاج. تم الإفصاح المسؤول عبر تقرير GitHub (Issue).

مولّد بواسطة CVE Impact Analyzer v2.1