CESS — سر شامر المسحور بالتشفير

هل هذا هراء AI أم زبالة؟

عادةً ما يفتح عالم التشفير أو المنفذ الجاد الذي يراجع CESS المجلدين vectors/ وtestdata/ قبل قراءة النثر. مجموعة الاختبارات هي دليل العمل: فهي تُجسّد معرفةً في المجال لا يمكن استبدالها بالسرد وحده.

هذا ليس سببًا لإخفاء الهدف عن الآخرين. الأشخاص الذين يقيّمون المشروع لأغراض الشراء، أو يقررون ما إذا كانوا سيساهمون، أو يكتبون سياسات، أو يشحنون كودًا دون تدريب عميق على منهجيات اختبار التشفير، لا يزالون يستحقون إشارة إلى الأدلة الملموسة. يذكر المستودع بالفعل قواعد التدقيق واستثناءات الخوارزميات؛ ربط تلك القصة بـ نواقل اختبار منشورة يسد الفجوة بين "ادعاءات على الصفحة" و"قطع أثرية يمكنك تشغيلها".

ما الذي تنظر إليه: تتضمن مواد المطابقة أمثلة عملية من RFC 8439 لـ ChaCha20-Poly1305 (مصادقة التشفير (AEAD) التابعة لـ IETF التي يشير إليها هذا المشروع معياريًا) وملفات JSON الموردة من Wycheproof لحالات الحافة لـ ChaCha20-Poly1305 ضمن testdata/wycheproof/. إلى جانب نواقل TOML الخاصة بالمشروع في vectors/، فهي الحقيقة الأساسية التي يمكن للمشغل والمراجعين اختبارها.

RFC 8439 منشورة من قبل فريق عمل هندسة الإنترنت (IETF)، المنظمة التي تُوحّد الكثير من كيفية عمل الإنترنت. الـ RFCs (طلب التعليقات) هي الشكل المعتاد للعديد من مواصفات البروتوكولات والتشفير. RFC 8439 تعرّف تشفير المصادقة ChaCha20-Poly1305 (بناءً على تصاميم دانييل بيرنشتاين) وتتضمن أمثلة عملية ملموسة بمدخلات ومخرجات متوقعة بحيث يمكن للتنفيذات المستقلة التحقق من تطابقها مع المعيار بايت ببايت. النص العادي المعاد إنتاجه على نطاق واسع والذي يبدأ بـ Ladies and Gentlemen of the class of '99: wear sunscreen يظهر في أمثلة ملحق الـ RFC: إذا أعاد كودك إنتاج مخرجات AEAD تمامًا، فلديك فحص قوي بأنك نفذت البناء بشكل صحيح. إنه النظير التشفيري لورقة الإجابة الرسمية. (الـ RFC 7539 الأسبق وثق ChaCha20 و Poly1305 لسياقات IETF أخرى؛ RFC 8439 هو المرجع المعتاد لـ AEAD كما هو مستخدم هنا وفي spec/CESS-v0.2.md.)

Wycheproof هو مجموعة اختبار أصدرها فريق الأمان في Google (2017). يشير الاسم إلى جبل Wycheproof في أستراليا — غالبًا ما يُستشهد به كأصغر جبل في العالم — لأن المشروع يركز على تجاوز العقبات الصغيرة ولكن القاتلة: فيضانات الأعداد الصحيحة، حالات الحدود، المدخلات المشوهة، وعلامات المصادقة المعدلة؛ الإخفاقات التي تظهر مرارًا في التشفير المنشور الفعلي. إنها تُكمل نواقل نمط RFC: أمثلة نمط RFC 8439 تُظهر الصحة مقابل AEAD المنشور؛ Wycheproof يُضغط على المتانة حيث تفشل التنفيذات تاريخيًا.

ما يقوله هذا عن هذا المعيار يعود للقارئ المطّلع.

يمكن للمرء أيضًا التحقق من سلامة الصناديق (crates) مع هذا عندما يُغلق طلب السحب: https://github.com/rust-lang/cargo/issues/16850

الإصدار: 0.2
الحالة: مواصفات فقط (نص معياري ونواقل اختبار)

هذا المشروع مسجّل في شبكة الاختراع المفتوح (OIN)، وهو مجمع براءات اختراع دفاعي يحمي البرامج مفتوحة المصدر المرتبطة بلينكس. يهدف الجمع بين النشر المسبق المفتوح (تحديد الفن السابق)، وعضوية OIN، وترخيص GPL-3.0 إلى ضمان بقاء هذه التقنية متاحة بحرية وعدم إمكانية تملكها أو تقييدها من قبل أي دولة أو جهة تجارية.

CESS هو معيار تشفير مفتوح لـ مشاركة الأسرار السرية بالعتبة (threshold secret sharing) مع تشفير مصادق مستقل عن الشيفرة (cipher-agnostic authenticated encryption)، تغليف المشاركات بكلمة مرور (password-based share wrapping)، وخيار تبادل مفاتيح هجين آخر-كمي (post-quantum hybrid key exchange). صُمم للنشر الذي يتطلب سرية طويلة الأمد، تسجيلًا معزولًا عن الشبكة (air-gapped enrollment)، ربط الرموز المادية (hardware token binding)، ومسارات شراء مستقلة عن خطوط الأساس للخوارزميات التي تعتمد فقط على NSA/NIST.

يمكن للقراء غير التقنيين البدء بـ المسرد (مصطلحات بلغة مبسطة من الألف إلى الياء).

لماذا CESS موجودة

الأنظمة البيئية الحالية تعالج أجزاء من هذه المشكلة لكنها تترك فجوات:

• GnuPG يوفر تشفيرًا وتوقيعًا قويًا، لكن ليس ملفًا معياريًا قابلًا للتشغيل المتبادل لمشاركات شامر مع AEAD حديث وسير عمل حراسة عبر الاختصاصات (cross-jurisdiction escrow).
• Autocrypt يركز على تشفير البريد الانتهازي، وليس التقسيم بالعتبة للأسرار طويلة الأمد مع مشاركات مغلّفة برمز PIN.
• SLIP-0039 يُوحّد الترميز التذكيري (mnemonic encoding) لمشاركات شامر للبذور؛ CESS يُكمّل هذا المجال بـ مغلف مشاركة ثنائي، تفاوض صريح على الشيفرة، ملفات Brainpool ECDH، معالجة PIN بواسطة Argon2id، ومجمّعات هجينة CESS-PQ.

CESS يُحدد المعيار؛ SplitDisk (والمنتجات المماثلة) هي سيناريوهات مرجعية ونماذج نشر، وليست المعيار نفسه.

تصميم مستقل عن الشيفرة

CESS يُثبّت مشاركة الأسرار السرية لشامر على حقل GF(2^8) وعدة أوليات غير اختيارية مُدقّقة للنزاهة وكلمة المرور. جميع طبقات التشفير الكثيف، KEM، KDF، وMAC هي قابلة للاختيار من سجل مُدقّق، مع مراعاة قاعدة المدققين المستقلين وقائمة الاستبعاد الصارم (انظر spec/CESS-v0.2.md و ALGORITHM-REGISTRY.md).

متطلبات التدقيق والاستثناءات (ملخص)

• كل أولية في الطبقة المستقلة عن الشيفرة يجب أن يكون لها تقييمان مستقلان أو أكثر من قائمة المدققين المؤهلين (NESSIE، CRYPTREC، ECRYPT/eSTREAM، مراجعة الأقران في IACR، BSI، NCC Group، Cure53، Kudelski Security، JP Aumasson، لجنة PHC).
• مدخلات تصميم من NSA، مراجعة NIST/FIPS فقط، والعديد من الخوارزميات (AES، SHA-2، SHA-3، منحنيات NIST، ML-Kyber، Dual_EC_DRBG، RC4، DES، 3DES، HMAC-SHA-*) هي مستبعدة مع مبررات واضحة في المواصفة.
• X25519 / Ed25519 مسموح بها اختياريًا مع مبررات موثقة (تصاميم بيرنشتاين؛ تدقيقات مستقلة واسعة).

لماذا منحنيات NIST الأولية (P-256, P-384, P-521) مستبعدة

منحنيات حقل NIST الأولية المستخدمة على نطاق واسع في الحكومة والصناعة الأمريكية (P-256، P-384، P-521) تم اختيارها من خلال عملية لعب فيها NSA دورًا موثقًا. CESS لا يعتمد على دليل رياضي واحد على ضعف تلك المنحنيات؛ يطبق استبعادًا سياساتيًا بحيث يمكن للمعيار أن يخدم مسارات الشراء، الاتصال، والهندسة التي تتطلب تشفيرًا مبررًا خارج خط أساس NSA/NIST فقط وتفضل الأوليات التي تمت مراجعتها بشكل مستقل (انظر spec/CESS-v0.2.md القسم 3 و ALGORITHM-REGISTRY.md).

ECDH الكلاسيكي في CESS يستخدم منحنيات Brainpool (RFC 5639) بدلاً من ذلك. معاملاتها منتجة بواسطة قواعد إنشاء منشورة وهي مناسبة طبيعيًا لمناقشات متوافقة مع BSI ومركزة على الاتحاد الأوروبي مع تغطية أهداف قوة مماثلة (مثل BrainpoolP384r1 مقابل أمان فئة P-384) دون اعتماد عائلة منحنيات NIST المستبعدة.

التفاصيل: spec/CESS-v0.2.md القسم 3، spec/CRYPTO.md، و ALGORITHM-REGISTRY.md.

تخطيط المستودع

الترخيص

براءات الاختراع و OIN

يلتزم المساهمون بـ تعهد عدم المطالبة ببراءات الاختراع في PATENTS.md. المشروع مسجّل في شبكة الاختراع المفتوح (OIN)، وهو مجمع براءات اختراع دفاعي للبرامج مفتوحة المصدر المرتبطة بلينكس. الترخيص المتبادل عبر OIN لا يغطي بمفرده الأطراف خارج هذا النظام البيئي؛ التعهد يهدف إلى سد تلك الفجوة للتنفيذات المطابقة.

الجماهير المستهدفة

• علماء التشفير ومهندسو البروتوكولات
• الجهات الحكومية ومقاولو الدفاع (خاصة المشتريات المركزة على الاتحاد الأوروبي)
• موردو رموز الأمان المادية وبطاقات الشرائح الذكية (ملف تعريف CCID)
• مطورو المصادر المفتوحة الذين يبنون أدوات حراسة العتبة واستعادة الكوارث

المساهمة

انظر CONTRIBUTING.md. طلبات السحب (Pull requests) تُعامل على أنها اتفاق مع PATENTS.md. تتطلب تغييرات المواصفة مراجعَين من دولتين مختلفتين. الخوارزميات الجديدة تُضاف عبر ALGORITHM-REGISTRY.md (افتح PR ضد السجل، ثم ضد spec/CESS-v0.2.md إذا لزم الأمر لإضافة مراجع متبادلة).

إضافة شيفرة إلى السجل

1. تأكد من وجود تدقيقَين مؤهلين وغياب الاستثناءات الصارمة.
2. افتح PR لتحرير ALGORITHM-REGISTRY.md (جدول الأدلة، تعيين المعرف).
3. أضف أو وسّع نواقل الاختبار تحت vectors/ لتغطية المجموعة الجديدة.
4. احصل على مراجعَين من المشرفين حسب CONTRIBUTING.md.

فهرس المستندات

• المسرد (غير تقني من الألف إلى الياء)
• المعيار الرئيسي
• CRYPTO (المبررات)
• GOVERNMENT (النشر)
• سجل الخوارزميات
• المطابقة
• مشغل المطابقة / اختبارات KAT المتسلسلة الداخلية
• دليل النواقل
• مشغل الاختبار
• براءات الاختراع

العلاقة مع SplitDisk

CESS هو المعيار. SplitDisk هو سيناريو تنفيذي نموذجي (مثل تشفير القرص بالإضافة إلى توزيع المشاركات)؛ مواصفة الأداة موجودة في ذلك المستودع. يمكن للمنتجات أن تدّعي مطابقة CESS-CORE أو CESS-FULL أو CESS-PQ حسب CONFORMANCE.md دون استخدام اسم SplitDisk.