ملاحظات ميدانية

ما الذي يثبته التصديق، وما الذي لا يثبته

يتحقق متصفحك من الجيب الآمن لدى Tinfoil قبل أن يرسل كلمة واحدة. ما الذي يثبته هذا التحقق، وأين يتوقف، وما الذي لا يمكن التحقق منه في المتصفح بعد.

«مشفَّر حتى الجيب الآمن» عبارة قصيرة تختصر سلسلة من عمليات التحقق. وكل حلقة فيها تستحق أن تُعرف، لأن كلًّا منها يستند إلى شيء مختلف: مفاتيح مُصنِّع المعالج، أو إصدار منشور، أو ترويسة، أو شيفرة نقدّمها نحن. تمرّ هذه الملاحظة على السلسلة بالترتيب، وتبيّن أين تنتهي.

التحقق، بالترتيب

قبل أن ترسل مساحة العمل أي رسالة، يجلب متصفحك حزمة التصديق الخاصة بالجيب الآمن عبر المُرحِّل لدينا، ويتحقق منها باستخدام مُحقِّق Tinfoil داخل علامة التبويب. وتضم الحزمة تقريرًا عتاديًا موقَّعًا بمفاتيح تعود جذورها إلى مُصنِّع المعالج (AMD SEV-SNP في حالة موجِّه النماذج)، وقياسًا للشيفرة التي أقلع بها الجيب الآمن، والمفتاح العام الذي سيفك به الجيب الآمن التشفير.

  • يُظهر توقيع التقرير أنه صادر عن عتاد جيب آمن حقيقي.
  • يُقارَن القياس بإصدار موقَّع ومنشور من شيفرة موجِّه النماذج، فيعرف المتصفح أي شيفرة تعمل.
  • والمفتاح الوارد في التقرير هو المفتاح الذي تُشفَّر له رسالتك بعد ذلك، باستخدام HPKE، قبل أن تغادر علامة التبويب.

يخزّن المُرحِّل هذه الحزمة العامة مؤقتًا لمدة دقيقة. ولأن المتصفح يتحقق منها، فإن مرورها عبر خادمنا لا يمكن أن يُضعفها: فالحزمة المعدَّلة تفشل في التحقق، ولا يُرسَل شيء.

ما يُظهره التحقق الناجح

أن الجيب الآمن الموجود على ذلك العنوان عتادٌ حقيقي يشغّل ذلك الإصدار المنشور، وأنه يحمل المفتاح الذي خُتمت له رسالتك. فلا يمكن فتح رسالتك إلا داخل تلك الشيفرة، ما دامت وسائل الحماية في العتاد صامدة. أما المُرحِّل لدينا ومزوّد الاستضافة والشبكة الواصلة بينها فلا ترى إلا نصًا مشفَّرًا.

أين يتوقف

الجيب الآمن الذي يتحقق منه متصفحك هو موجِّه النماذج لدى Tinfoil. تفك شيفرته المنشورة تشفير طلبك وتمرّره إلى الجيب الآمن الخاص بالنموذج، عبر اتصال TLS مرتبط بالمفتاح المُصدَّق لذلك الجيب. ولا يستطيع متصفحك أن يتأكد من هذه الخطوة بنفسه؛ فهي تستند إلى شيفرة موجِّه النماذج المنشورة.

تحاول مساحة العمل بالفعل التحقق من الجيب الآمن للنموذج أيضًا، وتذكر في إيصال كل إجابة ما وجدته. لكن هذا التحقق كثيرًا ما يتعذّر إكماله في المتصفح اليوم. فمُحقِّق Tinfoil للمتصفح لا يقرأ إلا تقارير AMD SEV-SNP، بينما تعمل الجيوب الآمنة لـ Kimi K3 و GPT-OSS 120B و DeepSeek V4.1 Flash ومعظم جيوب Gemma 4 31B على Intel TDX، لذا تذكر إيصالاتها أنه لا يمكن التحقق منها في المتصفح بعد. وبعض جيوب SEV-SNP، ومنها جيب GLM-5.3، تُبلغ عن إصدار معالج لا يقبله المُحقِّق بعد، فتظهر غير مؤكَّدة. ولا يعني أيٌّ من الأمرين أن في الجيب الآمن خللًا؛ بل يعني أن المتصفح لم يستطع إثبات سلامته. وتعود هذه النتائج إلى 28 أكتوبر 2026.

أمران لا يستطيع التحقق تغطيتهما

  • شيفرة التحقق تأتي منا. فلو قدّمنا مُحقِّقًا يكذب، لنجح التحقق. ولهذا تقارن /verify الشيفرة التي حمّلها متصفحك ببيان البناء المنشور، ولهذا يمكن تكرار البناء بايتًا ببايت.
  • يستند التصديق إلى مفاتيح التوقيع لدى المُصنِّع، وإلى عمل عتاد الجيب الآمن كما صُمّم. ولا يمكنه أن يكشف لك عن خلل في أيٍّ منهما.

تحقّق بنفسك

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

مزيد من الملاحظات الميدانية

  1. ما الذي لا يزال يراه مُرحِّلٌ لا يستطيع القراءة

    يمرّر المُرحِّل لدينا نصًا مشفَّرًا لا يستطيع فتحه. لكن هذا لا يعني أنه لا يرى شيئًا. جردٌ لما يراه فعلًا، ولماذا.

  2. مفتاح بعد #: كيف تُبقي الروابط المشتركة الخادمَ بعيدًا

    تُخزَّن المحادثة المشتركة على خادمنا، ولا نستطيع فتحها. كيف يعمل ذلك، وأين يأتي دور كلمة المرور، وما الذي لا يستطيع الرابط حمايته.