💻 computer science

Oblivis: A Framework for Delegated and Efficient Oblivious Transfer

تقدم الورقة البحثية Oblivis، وهو إطار عمل معياري لنقل غير ملموس (Oblivious Transfer) مفوض وفعال يتيح للعملاء ذوي الإمكانيات المحدودة استرجاع سجلات قواعد البيانات بأمان عبر وسطاء دون تسريب نية الاستعلام، ويتميز ببروتوكول "Supersonic OT" عالي التحسين يحقق تسريعًا كبيرًا ويعمل بكفاءة حتى على الأجهزة ذات الموارد المحدودة.

المؤلفون الأصليون: Aydin Abadi, Yvo Desmedt

نُشر 2026-03-17

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

CC BY 4.0

المؤلفون الأصليون: Aydin Abadi, Yvo Desmedt

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

تخيل أنك في مكتبة ضخمة عالية التأمين (قاعدة البيانات). تريد استعارة كتاب معين، ولكن لديك مشكلتان كبيرتان:

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

عادةً، سيتعين عليك طلب المساعدة من وسيط (Proxy) (مثل مستشار مالي أو خادم سحابي) ليطلب الكتاب نيابة عنك. ولكن حينها سيعرف الوسيط ما تريد، وستعرف المكتبة أنك طلبت شيئاً ما. الجميع يراقب الجميع.

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

إليك كيف تعمل هذه الخدع الأربع الرئيسية، مشروحة عبر تشبيهات بسيطة:

1. خدعة "التفويض الأعمى" (Delegated-Query OT)

المشكلة: لا يمكنك تسلق الرفوف، لذا تطلب من الوسيط القيام بذلك. ولكن إذا قلت للوسيط "أحضر لي الكتاب رقم 5"، فإن الوسيط سيعرف سرك.
الحل: تقوم بتقسيم طلبك السري إلى قطعتين صغيرتين من الألغاز التي لا معنى لها.

تعطي القطعة (أ) للوسيط الأول والقطعة (ب) للوسيط الثاني.
الوسيط 1 والوسيط 2 يشبهان طباخين لا يثقان ببعضهما البعض. يقومان بخلط القطع الخاصة بهما معاً لبناء الطلب النهائي.
السحر: لا يعرف أي من الوسيطين الصورة الكاملة؛ الوسيط 1 يعتقد أنه يساعد في مهمة عشوائية، وكذلك الوسيط 2. فقط عندما يدمجان عملهما، تحصل المكتبة على طلب يبدو وكأنه جاء منك، لكن لا أحد من الوسيطين يعرف في الواقع ما الذي طلبته.

2. خدعة "الطلب الشبح" (Delegated-Unknown-Query OT)

المشكلة: أحياناً، لا تعرف حتى أي كتاب تريد! ربد يكون مستشاراً مالياً يقول لك: "احصل على التقرير الخاص بالعميل (س)"، لكنك (أنت العميل) لا تعرف أي تقرير هو.
الحل: طرف ثالث (المستشار) يعرف الرقم السري، لكنك لا تعرفه.

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

3. خدعة "المستودع المشترك" (Multi-Receiver OT)

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

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

4. خدعة "السرعة الفائقة" (Supersonic OT)

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

بدلاً من الأقفال المعقدة، تستخدم لعبة بسيطة هي "بدّل أو لا تبدل".
السحر: تخيل أن لديك صندوقين، أحدهما يحتوي على جائزة والآخر فارغ. تطلب من صديق (الوسيط) أن يبدل الصناديق إذا رمى عملة معدنية، وتطلب من المرسل أن يبدل الصنفيين إذا رمى هو عملة معدنية.
- إذا رمى كلاهما بنفس الطريقة (تبديل/تبديل أو لا تبديل/لا تبديل)، فستنتهي الجائزة في الصندوق الذي تريده.
- إذا رميا بشكل مختلف، فستنتهي الجائزة في الصندوق الآخر.
- ولأن العملات عشوائية، فلا يعرف المرسل ولا الوسيط أي صندوق كنت تريده حقاً.
النتيجة: هذا سريع للغاية. تُظهر الورقة البحثية تشغيل النظام في 1.36 مللي ثانية على جهاز "راسبيري باي" صغير. هذا أسرع من رمشة العين!

لماذا يهم هذا؟

في عالمنا الحديث، نحن نعتمد على السحابة، والمستشارين الماليين، والبوابات الطبية. غالباً ما يتعين علينا الوثوق بهؤلاء الوسطاء ببياناتنا الخاصة. Oblivis يغير القواعد:

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

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

إليك ملخص تقني مفصل لورقة البحث بعنوان "Oblivis: إطار عمل لنقل البيانات المفوّض والفعال (Oblivious Transfer)".

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

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

التحدي الجوهري: يحتاج العملاء إلى استرجاع سجلات محددة دون الكشف عن قصد الاستعلام الخاص بهم (فهرس السجل) أو البيانات الوصفية (مثل حجم قاعدة البيانات الإجمالي، وأنماط الوصول) عن قاعدة البيانات أو الوسيط.
قصور بروتوكولات OT الحالية: تفترض بروتوكولات نقل البيانات المجهول (OT) التقليدية تفاعلاً مباشرًا بين العميل وقاعدة البيانات. وهي تفشل في بيئات التفويض لأنها:
1. تتطلب من المستلم حساب الاستعلام محليًا، مما يمنع تفويض العملية إلى وكيل (proxy).
2. غالبًا ما تكشف عن البيانات الوصفية (مثل حجم قاعدة البيانات) في سيناريوهات تعدد المستلمين أو قواعد البيانات المدمجة.
3. تتطلب عادةً تخزينًا محليًا كبيرًا لدى العميل لتحقيق استجابات ذات حجم ثابت.
4. بروتوكولات OT ذات المعلومات النظرية (المؤمنة غير مشروطة) تتطلب عادةً عدة مرسلين، أو قنوات مشوشة، أو إعدادات موثوقة، مما يجعلها غير عملية للعملاء خفيفي الوزن.

2. المنهجية: إطار عمل Oblivis

يقترح المؤلفون Oblivis، وهو إطار عمل معياري يتكون من أربعة مكونات رئيسية مصممة لمعالجة التفويض، والخصوصية، والكفاءة في آن واحد. يعمل إطار العمل تحت نموذج الخصم شبه النزيه (semi-honest adversary model) حيث لا يتواطأ الأطراف.

أ. نقل الاستعلام المفوض (DQ-OT)

الهدف: السماح للمستلم ( $R$ ) بتفويض توليد الاستعلام المكلف حاسوبيًا إلى وكيلين غير متواطئين ( $P_1, P_2$ ).
الآلية:
- يقوم المستلم ( $R$ ) بتقسيم الفهرس السري للاستعلام $s$ إلى جزأين ( $s_1, s_2$ ) ويرسل قيمًا عشوائية ( $r_1, r_2$ ) إلى الوكيلين.
- يقوم الوكيلان بحساب استعلامات جزئية بناءً على حصصهما بالتتابع. يقوم $P_2$ بحساب زوج من عناصر المجموعة بناءً على $s_2$ ، ويقوم بترتيبهما، ثم يرسلهما إلى $P_1$ .
- يقوم $P_1$ بدمجهما مع حصته $s_1$ لتوليد زوج الاستعلام النهائي $(\beta_0, \beta_1)$ .
- الرؤية الجوهرية: هيكل الاستعلام النهائي المرسل إلى المرسل ( $S$ ) مطابق رياضيًا لاستعلام Naor-Pinkas OT القياسي، على الرغم من أن $R$ لم يقم بحسابه أبدًا. لا يتعلم أي من الوكيلين الفهرس الكامل $s$ .

ب. نقل الاستعلام المجهول المفوض (DUQ-OT)

الهدف: دعم السيناريوهات التي لا يعرف فيها المستلم فهرس الاستعلام (على سبيل المثال، جهة إصدار طرف ثالث $T$ تحدد السجل بناءً على سياسات مخفية).
الآلية:
- تقوم $T$ بتقسيم الفهرس $s$ وترسل حصصه إلى الوكلاء.
- يقوم المرسل $S$ بإضافة "علامة" عشوائية ( $r_3$ ) إلى الرسائل قبل التشفير.
- يقوم $S$ بتبديل زوج الاستجابة عشوائيًا.
- يقوم $R$ بفك تشفير كلا الخيارين ويحدد الرسالة الصحيحة من خلال التحقق من أي منهما يحتوي على العلامة $r_3$ ، دون الحاجة لمعرفة $s$ مسبقًا.

ج. متغيرات تعدد المستلمين (DQMR-OT & DUQMR-OT)

الهدف: التعامل مع قواعد البيانات السحابية المدمجة حيث تشارك منظمات متعددة قاعدة بيانات منطقية واحدة.
الآلية:
- الخصوصية: تمنع المستلمين من معرفة إجمالي عدد السجلات ( $z$ ) وتمنع المرسل من معرفة أي مستلم استعلم عن أي سجل.
- التقنية: تستخدم التشفير المتماثل الجمعي (مثل Paillier). يقوم المرسل بتوليد استجابات لجميع السجلات $z$ . يقوم الوكيل بعملية "ترشيح" متماثلة باستخدام متجه اختيار مشفر (متجه one-hot) لعزل السجل المحدد للمستلم المقصود، واستبعاد الباقي.

د. مترجم عام للاستجابات ذات الحجم الثابت

الهدف: إلغاء الحاجة لتخزين العميل لقاعدة البيانات المشفرة بالكامل لتحقيق تعقيد تحميل قدره $O(1)$ .
الآلية:
- يقوم المستلم بتشفير متجه اختيار (one-hot) ويرسله إلى المرسل.
- يقوم المرسل بضرب متجه الاستجابة في متجه الاختيار المشفر هيمورفيًا (homomorphically) وجمع النتائج.
- يعيد المرسل قيمة واحدة مشفرة (حجم ثابت)، والتي يقوم المستلم بفك تشفيرها للحصول على الرسالة.

هـ. Supersonic OT

الهدف: بروتوكول OT فائق الكفاءة، ذو معلومات نظرية (مؤمن غير مشروط) بنسبة 1 من 2، لا يتطلب تشفير المفتاح العام، ولا قنوات مشوشة، ولا إعدادات موثوقة.
الآلية:
- يستخدم آلية التبديل المتحكم به (Controlled-Swap) وتشفير المفتاح الواحد (One-Time Pads).
- يقوم $R$ بتقسيم الفهرس $s$ بين $S$ ووكيل $P$ .
- يقوم $S$ بتشفير الرسائل باستخدام مفاتيح متفق عليها مع $R$ ، ثم يقوم بتبديل الزوج بناءً على حصة $S$ .
- يقوم $P$ بتبديل الزوج المستلم بناءً على حصته ويرسل عنصرًا واحدًا فقط إلى $R$ .
- الأمان: يعتمد على سرية الحصص وعشوائية تشفير المفتاح الواحد. يحقق أمان المعلومات النظرية دون الحاجة لعدة مرسلين.

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

التفويض: أول بروتوكولات OT التي تسمح بتفويض آمن لتوليد الاستعلام إلى وكلاء دون الكشف عن فهرس الاستعلام.
الاستعلامات المخفية: بروتوكولات حيث لا يعرف المستلم حتى فهرس السجل الذي يسترجعه (DUQ-OT).
خصوصية تعدد المستلمين: حلول لقواعد البيانات المدمجة التي تخفي إجمالي حجم قاعدة البيانات وأنماط الوصول عن كل من المرسلين والمستلمين.
استجابات ذات حجم ثابت: مترجم عام يقلل من تعقيد تحميل المستلم إلى $O(1)$ دون الحاجة لتخزين محلي لقاعدة البيانات.
Supersonic OT: بروتوكول OT جديد، سريع للغاية، ذو معلومات نظرية، وآمن ضد الحوسبة الكمومية وخفيف الوزن.

4. النتائج والتقييم

قام المؤلفون بتنفيذ Supersonic OT بلغة ++C وتقييمه على جهاز MacBook Pro (M3) وجهاز Raspberry Pi 4.

الأداء:
- السرعة: يحقق Supersonic OT تسريعًا قدره 92.8× مقارنة بـ "Simplest OT" (وهو OT أساسي عالي الكفاءة) وتسريعًا يتراوح بين 2.6 إلى 106 ضعفًا مقارنة بامتدادات OT القياسية (IKNP) اعتمادًا على عدد الاستدعاءات.
- زمن الاستجابة (Latency): تستغرق عملية نقل واحدة 0.53 مللي ثانية على كمبيوتر محمول و1.36 مللي ثانية على Raspberry Pi 4.
- القابلية للتوسع: حتى مع 100,000 استدعاء، يظل إجمالي وقت التشغيل متواضعًا (28 مللي ثانية على Mac، و196 مللي ثانية على Pi).
الأمان:
- يوفر Supersonic OT أمان المعلومات النظرية (Unconditional Security)، مما يجعله آمنًا ضد الحوسبة الكمومية (Post-Quantum).
- يحقق ذلك دون المتطلبات الثقيلة لبروتوكولات IT-OT السابقة (لا قنوات مشوشة، لا تعدد مرسلين، لا مُهيئ موثوق).
المقارنة: يتفوق على أحدث امتدادات OT للكميات الصغيرة والمتوسطة، ويظل منافسًا للأحجام الكبيرة، مع تقديم ضمانات أمنية فائقة (أمان المعلومات مقابل الأمان الحسابي).

5. الأهمية

العملية للعملاء النحفاء: يُمكّن Oblivis الأجهزة محدودة الموارد (إنترنت الأشياء، الهواتف المحمولة) من إجراء استعلامات خاصة عبر الوكلاء دون أعباء تشفير ثقيلة أو تخزين محلي.
خصوصية السحابة: يعالج تسريبات الخصوصية الحرجة في بيئات السحابة متعددة المستأجرين (مثل قواعد البيانات المدمجة) حيث تكشف الحلول الحالية عن البيانات الوصفية للمستأجرين الآخرين دون قصد.
الجاهزية لما بعد الحوسبة الكمومية: من خلال تقديم حل يعتمد على المعلومات النظرية، سهل التنفيذ (يعتمد فقط على التشفير المتماثل والحساب الأساسي)، يوفر Oblivis مسارًا قويًا للخصوصية في عصر الحوسبة الكمومية.
نموذج جديد: ينقل إطار العمل النموذج من "العميل يحسب الاستعلام" إلى "العميل يفوض الاستعلام"، مما يسمح ببنى جديدة للوصប الآمن للبيانات في بيئات التمويل والرعاية الصحية والبرمجيات كخدمة (SaaS).

باختصار، يسد Oblivis الفجوة بين بدائيات الخصوصية النظرية والنشر العملي والقابل للتوسع في الأنظمة السحابية وأنظمة الحافة الحديثة، مقدمًا مجموعة من الأدوات التي تعد أسرع وأكثر أمانًا من البدائل الموجودة.