⚡ Core Features
الميزات الجوهرية
بُني seL4-Vault على فلسفة واحدة — الأمان لا يُضاف، بل يُثبَت
العزل الأمني المطلق
- كل حاوية تمتلك
CSpaceوVSpaceخاصة بها — لا حاوية تستطيع لمس ذاكرة أخرى - لا يوجد نظام ملفات مشترك، ولا متغيرات بيئة مشتركة بين الحاويات
- النواة تُثبت رياضياً أن العزل محكم — بدون أي ثغرة Side-Channel
Bare-Metal عالي الأداء
- لا Linux، لا Windows، لا Overhead — النظام يعمل مباشرة فوق العتاد
- بنية Microkernel تجعله خفيفاً بشكل استثنائي
- جميع المكتبات مكتوبة بـ Rust
#[no_std]— صفر تسريبات ذاكرة بضمان المُترجم
تشفير فوري أثناء النقل
- كل رسالة IPC بين الحاويات مشفرة بـ
ChaCha20-Poly1305 - حتى النواة نفسها لا تستطيع قراءة محتوى الرسائل
- مفاتيح التشفير محبوسة بالكامل داخل
Crypto_Vaultالمعزولة عن الشبكة
حاويات مخصصة ومتخصصة
Desktop — واجهة المستخدم والتفاعل مع الشاشة
Tor — التوجيه البصلي والشبكة المشفرة
Crypto_Vault — الخزنة المعزولة، الوحيدة التي تحمل مفاتيح التشفير
بنية متقدمة
Tor Onion Routing — من الصفر
4 مكتبات مكتوبة يدوياً بدون أي Dependency خارجي
tor-cellخلايا ثابتة 514 بايت بشكل محكم
tor-handshakeمصافحة ntor واشتقاق مفاتيح الجلسة
tor-circuitبناء الدوائر وتشفير Onion متتالي
tor-streamتجريد تدفقات TCP المتزامنة
مدعوم بتشفير ChaCha20 من vault-crypto، وبرنامج تشغيل VirtIO Net يتخاطب مباشرة مع PCI — بدون وسطاء.
System Bus Gateway
بنية أمنية مشابهة لـ D-Bus و Android Binder — لكن بدون Kernel
التطبيقات
→
Bus_Vault16+ IPC Tag
→
Auth_Vault
FS_Vault
Tor_Vault
- لا يوجد تعريف عتاد في النواة — كل شيء في User Space
- الحافظة، الملفات، الشبكة — كلها تمر عبر الـ Bus حصراً
Auth_Vaultتتحقق من الصلاحيات قبل أي عملية — يمنع أي برمجية خبيثة من الوصول