💻 computer science

Ciphertext-Policy ABE for $\mathsf{NC}^1$ Circuits with Constant-Size Ciphertexts from Succinct LWE

تقدم هذه الورقة مخطط تشفير قائم على السمات بأسلوب سياسة التشفير، وهو آمن انتقائياً وقائم على الشبكات (lattice-based) لدوائر $\mathsf{NC}^1$ ، ويحقق نصوصاً مشفرة ومفاتيح عامة ذات حجم ثابت لا يعتمد على عمق الدائرة تحت فرضية LWE الموجزة.

المؤلفون الأصليون: Jiaqi Liu, Yuanyi Zhang, Fang-Wei Fu

نُشر 2026-03-18

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Jiaqi Liu, Yuanyi Zhang, Fang-Wei Fu

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

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

هذا هو عالم تشفير السمات القائم على سياسة النص المشفر (CP-ABE).

إليك شرح مبسط لما حققته هذه الورقة البحثية، باستخدام تشبيهات من الحياة اليومية.

1. المشكلة: القفل "الضخم جدًا"

في التشفير التقليدي، إذا أردت إرسال رسالة سرية إلى مجموعة، فعادة ما يتعين عليك تشفيرها بشكل منفصل لكل شخص، أو استخدام نظام يصبح فيه "القفل" (النص المشفر) ضخمًا مع زيادة عدد الأشخاص أو تعقيد القواعد.

تخيل أنك تحاول إرسال رسالة سرية إلى نادٍ يضم 1,000 عضو.

الطريقة القديمة: الظرف (النص المشفر) يصبح ضخمًا لدرجة أنه يملأ شاحنة لأنه يحتوي على قفل منفصل لكل عضو.
الهدف: نريد ظرفًا يحافظ على حجمه (مثل بطاقة بريدية عادية)، بغض النظر عما إذا كان النادي يضم 10 أعضاء أو 10 ملايين عضو، وبغض النظر عن مدى تعقيد القواعد الخاصة بمن يمكنه فتحه.

2. الحل: "البطاقة البريدية السحرية"

لقد بنى مؤلفو هذه الورقة نوعًا جديدًا من أنظمة الأقفال الرقمية.

الظرف (النص المشفر): أصبح الآن ثابت الحجم. سواء كنت ترسل سرًا إلى 10 أشخاص أو 10,000 شخص، فإن الرسالة المشفرة تكون دائمًا بنفس الحجم الصغير. الأمر يشبه إرسال بطاقة بريدية تتمدد سحريًا لتناسب مفتاح الشخص المناسب، لكن البطاقة نفسها لا تكبر أبدًا.
القواعد (سياسة الوصول): يمكنك وضع قواعد معقدة. على سبيل المثال: "يفتح فقط إذا كان المستخدم 'مديرًا' وَ ('كبير موظفين' أَوْ 'أمن')". النظام يعالج هذه الألغاز المنطقية المعقدة (المسماة دوائر NC1) بكفاءة.
المفاتيح: مفتاح المستخدم صغير، ولكنه ينمو قليلاً بناءً على عدد "الشارات" (السمات) التي يمتلكها. إذا كان لديك شارة واحدة فقط، فمفتاحك سيكون صغيرًا جدًا.

3. كيف فعلوا ذلك: خدعة "المفتاح الرئيسي الشامل"

لتحقيق هذا السحر، استخدم المؤلفون مفهومًا من الرياضيات المقاومة للحوسبة الكمومية يُعرف باسم التشفير القائم على الشبكات (Lattice-based cryptography) (وتحديدًا ما يسمى "Succinct LWE").

فكر في الأمر كالتالي:

الطريقة القديمة: للتحقق من هوية المستخدم، كان على النظام فحص قائمة ضخمة من الأسماء.
الطريقة الجديدة: استخدم المؤلفون التزام المصفوفة (Matrix Commitment). تخيل خزانة ملفات عملاقة وسحرية. بدلًا من سرد كل ملف داخل الخزانة لإثبات وجوده، يمكنك فقط إظهار "إيصال" واحد صغير (الالتزام) يثبت أن الخزانة تحتوي على الملفات الصحيحة.
جزء الـ "Succinct" (الإيجاز): استخدموا فرضية رياضية تسمح لهم بإنشاء إثبات "قصير". الأمر يشبه إثبات أن لديك مليار دولار في البنك دون إظهار مليار كشف حساب؛ أنت فقط تظهر إيصالًا واحدًا غامضًا وغير قابل للتزوير يثق به البنك.

4. ميزة "البث" الإضافية

أحد الآثار الجانبية الرائعة لهذه التقنية هو تشفير البث (Broadcast Encryption).

السيناريو: تخيل أن محطة تلفزيونية تريد إرسال فيلم بنظام الدفع مقابل المشاهدة إلى مليون مشترك.
المشكلة القديمة: الإشارة عادة ما تصبح متضخمة بالبيانات لكل مشترك على حدة.
الحل الجديد: باستخدام هذا النظام الجديد، ترسل المحطة التلفزيونية إشارة واحدة صغيرة فقط.
- إذا كنت مشتركًا، فإن "مفتاحك" (الذي هو صغير) يناسب القفل.
- إذا لم تكن مشتركًا، يظل القفل مغلقًا.
- حجم الإشارة لا يهتم إذا كان هناك 100 مستخدم أو 100 مليون مستخدم؛ فهي تظل صغيرة.

5. لماذا هذا مهم (زاوية "الكم")

تعتمد معظم عمليات التشفير الحالية على مسائل رياضية يمكن لـ الحاسوب الكمومي المستقبلي حلها بسهولة (مثل كسر خزنة باستخدام مفتاح رئيسي).

هذا النظام الجديد مبني على مسائل الشبكات (Lattice problems)، والتي يُعتقد أنها مقاومة للحواسيب الكمومية.
إنه يشبه الترقية من قفل خشبي (سهل الكسر بأداة جديدة) إلى قفل من التيتانيوم لا يمكن حتى للأداة الفائقة كسرها.

ملخص التشبيه

تخيل مكتبة ضخمة (البيانات المشفرة).

النظام القديم: للسماح للناس بالدخول، كان عليك طباعة خريطة فريدة وضخمة لكل شخص توضح له بالضبط أين يسير. كلما زاد عدد الناس، احتجت إلى المزيد من الورق.
نظام هذه الورقة البحثية: أنت تعطي الجميع بطاقة هوية صغيرة ومعيارية. باب المكتبة يحتوي على ماسح ضوئي ذكي. الماسح يقرأ بطاقة الهوية ويتحقق من "كتيب قواعد" صغير وسحري (النص المشفر ثابت الحجم).
- إذا تطابقت هويتك مع القواعد (مثل: "يجب أن يكون أمين مكتبة وَ لديه شارة حمراء")، يفتح الباب.
- الماسح الضوئي للباب وكتيب القواعد يبقيان بنفس الحجم، حتى لو أضافت المكتبة مليون كتاب جديد أو مليون زائر جديد.

باختًا: ابتكر المؤلفون طريقة لإرسال رسائل سرية إلى مجموعات معقدة حيث لا يتضخم حجم الرسالة أبدًا، وتظل المفاتيح صغيرة، ويكون النظام بأكمله آمنًا من الحواسيب الكمومية المستقبلية.

إليك ملخص تقني مفصل للورقة البحثية بعنوان "تشفير السمات القائم على سياسة السايفرتيكست (CP-ABE) لدوائر NC1 مع سايفرتيكستست ثابت الحجم من Succinct LWE".

1. بيان المشكلة

تعالج الورقة البحثية تحدي بناء مخططات تشفير السمات القائم على سياسة السايفرتيكست (CP-ABE) فعالة لسياسات الوصول المعقدة (تحديداً دوائر NC1) مع تقليل حجم السايفرتيكست (النص المشفر) إلى الحد الأدنى.

السياق: في نظام CP-ABE، يتم تشفير السايفرتيكست تحت سياسة وصول $f$ ، ولا يمكن للمستخدم فك التشفير إلا إذا كانت سماته $x$ تحقق الشرط $f(x) = 0$ (أو 1، حسب الاصطلاح).
عنق الزجاجة: تعاني مخططات CP-ABE القائمة على الشبكات (lattice-based) الحالية غالباً من أحجام سايفرتيكست تتناسب خطياً مع تعقيد سياسة الوصول (مثل العمق $d$ أو الحجم $s$ للدائرة). وهذا يجعلها غير عملية للتطبيقات واسعة النطاق مثل التشفير البثي (broadcast encryption) حيث يكون عدد المستخدمين $N$ كبيراً.
الهدف: بناء مخطط CP-ABE يكون فيه حجم السايفرتيكست ثابتاً (مستقلاً عن عمق الدائرة $d$ وحجمها $s$ )، مع الحفاظ على الأمان بناءً على افتراضات الشبكة القياسية المقاومة للهجمات الكمومية.

2. المنهجية

يقترح المؤلفون بناءً مبتكراً يجمع بين مخططات مشاركة الأسرار الخطية (LSSS)، والتزامات المصفوفات (Matrix Commitments)، وافتراض Succinct LWE.

أ. الافتراض الجوهري: Succient LWE

يعتمد الأمان على افتراض $\ell$ -succinct LWE (الذي قدمه Wee، CRYPTO 2024).

بخلاف LWE القياسي، يتضمن هذا الافتراض بنية "موجزة" (succinct) حيث تسمح البوابة (trapdoor) $T$ بأخذ عينات قصيرة من الصور العكسية لمصفوفة على شكل $[I_\ell \otimes B \mid W]$ ، حيث تكون $W$ قريبة إحصائياً من التوزيع المنتظم.
يسمح هذا للمخطط بالتعامل مع أبعاد كبيرة ( $\ell$ ) دون أن تنمو المعلمات العامة أو السايفرتيكستست بشكل خطي مع $\ell$ .

ب. الابتكارات التقنية

التزام المصفوفة من أجل الضغط:
- قام المؤلفون بتكييف مخطط التزام المصفوفة (من Wee 2025). بدلاً من تشفير رسالة تحت مصفوفة كبيرة تمثل هيكل الوصول، يقومون بالالتزام بالمصفوفة $U$ (المشتقة من السياسة والمعلمات العامة) باستخدام مصفوفة التزام قصيرة $C$ .
- يحتوي السايفرتيكست فقط على الالتزام $C وبضعة عينات LWE، بدلاً من مكونات المصفوفة الكاملة.
تعديل مخطط DKW21:
- يبني البناء على مخطط CP-ABE الخاص بـ Datta وKurosawa وWee (DKW21)، والذي يدعم سياسات LSSS.
- التغيير الجوهري: في DKW21، يتناسب حجم السايفرتيكست مع عدد صفوف مصفوفة LSSS ( $\ell$ ). استبدل المؤلفون المصفوفات الصريحة $\{A_u\}$ والمتجهات $\{v_j\}$ بمصفوفة التزام واحدة $C$ ومصفوفة واحدة $B$ .
- التشفير: يتكون السايفرتيكست من ثلاثة مكونات:
  - $c_1 \approx s^\top B$ (عينة LWE قياسية).
  - $c_2 \approx s^\top (A + C)$ (معلومات السياسة المضغوطة).
  - $c_3 \approx s^\top y + \text{msg}$ (ترميز الرسالة).
- هنا، $C$ هو الالتزام بالمصفوفة $U$ المشتقة من السياسة $M$ والسمات.
آلية فك التشفير:
- لفك التشفير، يستخدم المستخدم مفتاحه السري (المرتبط بالسمات) ومصفوفة التحقق $V$ الخاصة بالالتزام.
- يقوم المستخدم بحساب $c_2 V + c_1 Z$ (حيث $Z$ هو فتح الالتزام) لاستعادة عينات LWE الأساسية المقابلة للسمات المحددة، مما يؤدي فعلياً إلى "فتح" الالتزام للأجزاء ذات الصلة من السياسة دون الكشف عن السياسة بأكملها.
- بعد ذلك، يتم تطبيق معاملات إعادة البناء لـ LSSS لاستعادة الرسالة.
استراتيجية إثبات الأمان (الألعاب الهجينة - Hybrid Games):
- يستخدم الإثبات سلسلة من الألعاب الهجينة للانتقال من المخطط الحقيقي إلى واحد عشوائي.
- التحدي الرئيسي: توليد مفاتيح سرية لمجموعات السمات غير المصرح بها دون استخدام البوابة الرئيسية (التي قد تكسر افتراض LWE).
- الحل: يستخدم المؤلفون البوابة (trapdoor) $T$ من افتراض Succinct LWE لتوليد بوابات جديدة لمصفوفات من الشكل $[I \otimes B \mid W']$ بشكل آني. وهذا يسمح للمحاكي (simulator) بالإجابة على استعلامات المفتاح السري لمجموعات غير مصرح بها دون معرفة السر $s$ المستخدم في عينات LWE، مما يضمن أن السايفرتيكست يظل غير قابل للتمييز عن العشوائي.

3. المساهمات الرئيسية

سايفرتيكست ثابت الحجم: يحقق المخطط حجماً للسايفرتيكست قدره $O(1)$ (مستقلاً عن عمق الدائرة $d$ وحجمها $s$ )، وهو مثالي تقاربياً حتى بالنسبة لعوامل متعددة الحدود في معامل الأمان $\lambda$ .
دعم دوائر NC1: يدعم سياسات الوصول المتمثلة في دوائر NC1 (الدوائر ذات العمق اللوغاريتمي والحجم متعدد الحدود)، مما يغطي فئة واسعة من الصيغ البوليانية والبوابات المنطقية.
تحسين المعلمات العامة: بينما يتناسب حجم المفتاح العام مبدئياً مع حجم الدائرة $s$ ، يشير المؤلفون إلى أن الجزء غير المنتظم صغير ( $poly(\lambda)$ ). ويمكن توليد الباقي عبر مولد أرقام شبه عشوائية (PRG)، مما يضغط المعلمات العامة فعلياً إلى $O(1)$ في الممارسة العملية.
التشفير البثي الأمثل: كتطبيق مباشر، ينتج عن المخطط تشفير بثي (Broadcast Encryption) لـ $N$ $N$ من المستخدمين مع:
- حجم السايفرتيكست: $poly(\lambda)$ (مستقل عن $\log N$ ).
- حجم المفتاح: $poly(\lambda, \log N)$ .
- يعتبر هذا مثالياً للتشفير البثي تحت افتراض Succinct LWE.

4. النتائج والمعلمات

لتكن $\lambda$ معامل الأمان، $d$ عمق الدائرة، $s$ حجم الدائرة، و $\ell$ طول بت المدخلات.

**حجم السايفرتيكست ($|ct| $):**$ O(1) $(يخفي$ poly(\lambda) $). مستقل عن$ d, s, \ell$.
**حجم المفتاح العام ($|pk| $):**$ O(s) $(يمكن ضغطه إلى$ O(1)$ عبر PRG).
**حجم المفتاح السري ($|sk| $):**$ O(\ell) $(يعتمد على عدد السمات؛ ويمكن أن يكون$ O(1)$ إذا كان لدى المستخدمين عدد ثابت من السمات).
نموذج الأمان: آمن انتقائياً (selectively secure) في النموذج القياسي (Standard Model).
الافتراض: يعتمد على $poly(\lambda)$ -succinct LWE مع نسبة (modulus-to-noise) شبه أسية.

5. الأهمية

المقاومة الكمومية: من خلال الاعتماد على افتراضات الشبكة (Lattice-based) بدلاً من الأزواج الثنائية (bilinear pairings)، يُعتقد أن المخطط آمن ضد الهجمات الكمومية.
القابلية للتوسع: يعد السايفرتيكست ثابت الحجم طفرة كبيرة لتطبيقات مثل التشفير البثي ومشاركة البيانات الآمنة في الأنظمة واسعة النطاق. كانت المخططات السابقة تتطلب سايفرتيكست ينمو مع عدد المستخدمين أو تعقيد السياسة، مما يجعلها غير فعالة لقواعد المستخدمين الضخمة.
التقدم النظري: يوضح هذا العمل قوة Succinct LWE والتزامات المصفوفات في بناء الأوليات التشفيرية الفعالة. إنه يسد الفجوة بين الإيجاز النظري وبناء CP-ABE العملي، ويقدم نموذجاً جديداً للتعامل مع هياكل الوصول المعقدة بأقل قدر من التكاليف الإضافية.
المقارنة: مقارنة بالأعمال الحديثة (مثل Wee 2025)، يوفر هذا المخطط حجماً للسايفرتيكست مستقلاً عن عمق الدائرة وطول المدخلات، وإن كان يقايض ذلك بحجم مفتاح سري أكبر قليلاً في الحالات العامة (رغم أنه لا يزال فعالاً لمجموعات السمات النموذجية).

باختصار، تقدم هذه الورقة خطوة هامة للأمام في التشفير ما بعد الكم عبر تمكين التحكم في الوصول الدقيق والفعال للغاية، حيث لا يتضخم حجم البيانات المشفرة مع تعقيد سياسة الوصول.