Vercel Sandbox يصمد أمام الاختراق: 1285 تقريرًا و$242 000 وثغرة في نواة Linux

أغلقت Vercel تحدي القرصنة الذي دار حول Vercel Sandbox، وهي بيئة سحابية لتشغيل الشيفرة في عزلة. وخلال أسبوعين أرسل الباحثون 1285 تقريرًا، ودفعت Vercel مكافآت بلغ مجموعها $242 000. ولم يُظهر أي تقرير إمكانية الوصول إلى بيانات العملاء. ومع ذلك، لم يكن أخطر اكتشاف في شيفرة Vercel نفسها، بل في الأساس الذي يقوم عليه جزء كبير من الخدمات السحابية: فقد عُثر على ثغرة يوم صفر في حزمة الشبكة بنواة Linux.

ثغرة يوم الصفر في اليوم الثالث

وصل التقرير الرئيسي في اليوم الثالث من البرنامج. فقد عمل Paulos Yibelo (pwn.ai)، وهو باحث على HackerOne، من بيئة sandbox عادية دون صلاحيات خاصة. ووجد خللًا في حزمة الشبكة بنواة Linux: إذ أتاحت حزم مصاغة خصيصًا ومرسلة من داخل microVM تنفيذ ثلاثة هجمات مختلفة.

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

وأعاد الباحث إنتاج الانهيار وتنفيذ الشيفرة على أجهزته الخاصة المزوّدة بـ KVM وFirecracker، وهي تحاكي إعدادات Vercel Sandbox.

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

نظرة من الداخل: متدرب وTrail of Bits

إلى جانب الصيد العلني للمكافآت، أجرت Vercel عمليات تدقيق داخلية بوصول كامل إلى الشيفرة المصدرية، واستعانت بشركة Trail of Bits. ولم تأتِ جميع الاكتشافات من الخارج. فقد اكتشف متدرب في Vercel هو Marcos Hernanz تسرّبًا بين المستأجرين في طبقة تخزين البيانات Linux device-mapper: كان بإمكان أي بيئة sandbox قراءة كتل القرص المُعاد استخدامها من بيئات sandbox محذوفة سابقًا.

أنفقت Trail of Bits ما يعادل أربعة أسابيع عمل هندسي بمشاركة مختصَّين اثنين. وحصل الفريق على وصول كامل إلى المستودعات وإلى بيئتَي اختبار مؤسسيتين. والحصيلة: 20 اكتشافًا، جرى اختبار كل منها وتأكيده وربطه بموضع محدد في الشيفرة. وأظهرت المراجعة المعمارية أن حدّ المحاكاة الافتراضية موثوق. فكل بيئة sandbox تعمل داخل microVM منفصلة من Firecracker بنواة ضيف خاصة بها، ونموذج الأجهزة مبسّط عمدًا إلى أدنى حد، ولا يتشارك أي ضيف نواة التشغيل العاملة لا مع المضيف ولا مع أي مستأجر آخر.

ثلاث خلاصات هيكلية

قدّم المدققون ثلاث توصيات، وتؤكد Vercel أنها نفذتها جميعًا.

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

استنتاجات عملية لمن يشغّل شيفرة الغير

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

على الفرق التي تبني بيئات sandbox خاصة بها أو تختار مزوّدًا أن تتحقق من ثلاثة أمور: هل تقبل طبقة الإدارة بيانات من الضيف دون تحقق، وهل يتكرر تحليل سياسات الشبكة في مكونات مختلفة، وما سرعة طرح المزوّد لتصحيحات النواة. وستظهر تفاصيل CVE بعد نشر الإصلاحات، وعندها ستلزم مطابقة إصدارات النواة وإعدادات Firecracker لديكم.