Efficient Fuzzy PSI under One-Sided Assumptions
تقدم هذه الورقة أول بروتوكولات تقاطع المجموعات الخاصة الضبابية ذات الكفاءة الملموسة لمسافات العامة تحت افتراضات أحادية الجانب، وذلك من خلال الاستفادة من بدائيات المفتاح المتماثل خفيفة الوزن وتقنيات شجرة الـ prefix trie لتحقيق تعقيد قدره والتفوق بشكل كبير على الأعمال السابقة ذات الحالة الراهنة في كل من سرعة الحوسبة وعبء الاتصالات.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في العصر الرقمي، غالبًا ما تحتاج منظمتان إلى إيجاد أرضية مشتركة دون الكشف عن كامل أسرارهما لبعضهما البعض. تخيل مستشفى يمتلك قائمة بمرضى يعانون من حالة معينة، ومعهد أبحاث يمتلك قائمة بمتطوعين. يريد كلاهما معرفة من هم المتطوعون الذين هم أيضًا مرضى، لكن لا يريد أي منهما تسليم قائمته الكاملة، لأن ذلك سيكشف البيانات الخاصة بكل شخص آخر في السجل. يمكن لبروتوكولات الكمبيوتر القياسية حل مشكلة المطابقة هذه بدقة، لكنها تفشل عندما تكون البيانات غير دقيقة تمامًا. في العالم الحقيقي، قد تكون الأسماء مكتوبة بشكل خاطئ، أو المواقع غير دقيقة تمامًا، أو تختلف المسوحات البيومترية من يوم لآخر. إذا كان سجل المستشفى يقول "John Smith" وسجل المتطوع يقول "Jon Smyth"، فإن النظام القياسي لن يرى تطابقًا، رغم أنهما نفس الشخص. وهنا يأتي دور "المطابقة الضبابية" (fuzzy matching)، وهي طريقة مصممة لإيجاد هذه الروابط التقريبية. ومع ذلك، فإن القيام بذلك بشكل آمن أمر صعب للغاية؛ فإذا حاول النظام مقارنة كل تنويع محتمل لكل اسم مقابل كل تنويع آخر، فإن كمية البيانات المتبادلة ستصبح ضخمة جدًا لدرجة أن العملية ستتوقف، أو أنها تتطلب آلات رياضية ثقيلة تجعلها غير عملية للاستخدام اليومي.
لقد طور فريق من الباحثين الآن طريقة جديدة لإجراء هذه المطابقة الضبابية تكون سريعة وخفيفة الوزن في آن واحد. يركز عملهم على سيناريو يحتاج فيه طرف واحد فقط من الطرفين إلى اتباع قواعد صارمة حول كيفية ترتيب بياناته، بينما يمكن للطرف الآخر أن يمتلك بيانات بترتيب فوضوي تمامًا. اعتمدت المحاولات السابقة لحل هذه المشكلة تحت هذه الظروف المرنة على أدوات تشفير ثقيلة وبطيئة، أو تطلبت أن يكون لدى كلا الطرفين بيانات منظمة بدقة، وهو أمر نادر الحدوث في الواقع. الطريقة الجديدة، التي ابتكرها شينبينغ يانغ وزملاؤه من مؤسسات في سنغافورة والولايات المتحدة، تحقق نفس الهدف باستخدام لبنات بناء بسيطة وسريعة فقط. لقد تمكنوا من تقليص الوقت والبيانات المطلوبة لهذه المقارنات بهوامش هائلة، مما جعل المطابقة التقريبية الآمنة أمرًا ممكنًا لأول مرة في العديد من تطبيقات العالم الحقيقي.
يكمن جوهر الإنجاز في كيفية تعامل الباحثين مع "المسافة" بين نقاط البيانات. في هذا السياق، المسافة هي مقياس لمدى اختلاف قطعتين من المعلومات، مثل عدد الحروف المختلفة بين اسمين أو مدى بعد إحداثيات نظام تحديد المواقع العالمي (GPS). الهدف هو العثور على الأزواج التي تكون المسافة بينها أصغر من عتبة معينة. أدرك الباحثون أن الطرق السابقة حاولت فحص كل تنويع محتمل لنقطة بيانات، مما خلق مساحة بحث تنمو بشكل انفجاري مع زيادة الفرق المسموح به. ولحل هذه المشكلة، قدموا تقنية تعمل مثل مرشح ذكي؛ فبدلاً من فحص كل احتمال ممكن، يقوم النظام بتنظيم البيانات في هيكل يشبه الشجرة يسمح له بتخطي أجزاء ضخمة من المعلومات غير ذات الصلة فورًا. أدى هذا التغيير إلى تقليل الجهد الحسابي من مستوى ينمو أسيًا مع حجم البحث إلى مستوى ينمو لوغاريتميًا فقط. ومن الناحية العملية، هذا يعني أنه حتى لو تضاعف الفرق المسموح به بين نقاط البيانات أو تضاعف ثلاث مرات، فإن الوقت المستغرق لتشغيل الفحص سيزداد بشكل طفيف جدًا.
اختبر الفريق بروتوكولاتهم الجديدة مقابل أفضل الأساليب الموجودة حاليًا. كانت النتائج مذهلة؛ فعند مقارنتها ببروتوكول حديث من عام 2024، كان نظامهم الجديد أسرع بما يصل إلى 239 مرة واستخدم عرض نطاق ترددي أقل بنسبة تصل إلى 20 مرة. وضد طريقة من عام 2025، وصلت سرعة التحسن إلى 518 مرة، مع انخفاض قدره 63 ضعفًا في نقل البيانات. وفي مقارنة محددة ضد بناء آخر من عام 2025، كان النظام الجديد أسرع بنحو 5,000 مرة وتطلب 282 ضعفًا أقل من الاتصال. لم تكن هذه الأرقام نظرية فحسب؛ فقد قام الباحثون بتنفيذ النظام بالكامل وأجروا تجارب مكثفة عبر مجموعة واسعة من أحجام البيانات والإعدادات. وقد أكدوا أن نهجهم يعمل سواء كان المرسل أو المستقبل هو من يمتلك البيانات المنظمة، كما أنه يدعم أنواعًا مختلفة من قياسات المسافة، وليس فقط القياسات البسيطة.
كان الابتكار الرئيسي في عملهم هو القدرة على التعامل مع الافتراضات "أحادية الجانب". في العديد من الأنظمة الآمنة السابقة، كان على كلا الطرفين الاتفاق على قواعد صارمة، مثل ضمان وجود مسافات كافية بين نقاط بياناتهما لتجنب الارتباك. وهذا أمر مستحيل غالبًا في الحياة الواقعية، حيث تصل البيانات في مجموعات أو أنماط عشوائية. تتطلب الطريقة الجديدة جانبًا واحدًا فقط لامتلاك مجموعة بيانات منظمة نوعًا ما، بينما يمكن للطرف الآخر امتلاك بيانات عشوائية وغير منظمة تمامًا. هذه المرونة تجعل التكنولوجيا قابلة للتطبيق في سيناريوهات مثل تتبع المخالطين أو الخدمات القائمة على الموقع، حيث قد يمتلك كيان ما قاعدة بيانات مهيكلة من المواقع المعروفة، بينما يمتلك الآخر تدفقًا من مدخلات المستخدم غير المهيكلة. ومن خلال الاعتماد حصريًا على تقنيات المفتاح المتماثل خفيفة الوزن — وهي أساسًا أدوات تشفير سريعة وفعالة — تجنب الباحثون العمليات الرياضية الثقيلة والبطيئة التي أعاقت الجهود المماثلة سابقًا.
استكشف الباحثون أيضًا كيفية جعل النظام أكثر كفاءة عندما تكون البيانات "متفرقة"، أي عندما تكون النقاط متباعدة بدلاً من أن تكون متكتلة. في هذه الحالات، وجدوا أن تبديل أدوار الطرفين في عملية المطابقة يمكن أن يوازن عبء العمل ويحسن الأداء بشكل أكبر. يشير هذا التكيف إلى أن النظام يمكن ضبطه لتطبيقات مختلفة دون الحاجة إلى إعادة تصميم كاملة. يثبت هذا العمل أنه من الممكن بناء أنظمة آمنة تحافظ على الخصوصية وتكون ليست فقط سليمة نظريًا، بل سريعة عمليًا بما يكفي للنشر في العالم الحقيقي.
تمتد تداعيات هذا العمل إلى ما هو أبعد من مجرد السرعة. فمن خلال جعل المطابقة الضبابية فعالة، فتح الباحثون الباب أمام تطبيقات أكثر تطورًا تحافظ على الخصوصية. فالمنظمات التي طالما تجنبت مشاركة البيانات خوفًا من تسرب الخصوصية أو لأن عملية المطابقة كانت بطيئة جدًا، يمكنها الآن التفكير في التعاون الآمن. وسواء كان الأمر يتعلق بمطابقة سجلات المرضى للبحوث الطبية، أو التحقق من هويات المستخدمين دون الكشف عن النماذج البيومترية، أو العثور على عناصر مشابهة في كتالوجات كبيرة دون الكشف عن محتويات الكتالوج، فإن حاجز الدخول قد انخفض بشكل كبير. وتثبت الدراسة أنه مع النهج الخوارزمي الصحيح، يمكن حل المقايضة بين الخصوصية والأداء، مما يسمح للبيانات بالتدفق بأمان حتى عندما تكون غير كاملة أو مشوشة.
في النهاية، تقدم الورقة حلاً ملموسًا لمشكلة استمرت لسنوات: كيف نجد مطابقات تقريبية في بيانات خاصة دون التضحية بالسرعة أو اشتراط ظروف غير واقعية. لم يقترح الباحثون فكرة جديدة فحسب، بل بنوها واختبروها وأظهروا أنها تتفوق على كل ما سبقها بمراتب عشرية. إن عملهم يقف كشهادة على قوة صقل المنطق الأساسي للمشكلة بدلاً من مجرد محاولة توظيف المزيد من القدرة الحوسبية لها. بالنسبة للمراقب الفضولي، فإن النتيجة هي نظام يبدو أقل شبهاً بآلة ثقيلة وخرقاء، وأكثر شبهاً بأداة دقيقة وفعالة، جاهزة للاستخدام في عالم البيانات الحقيقي المليء بالتعقيدات والعيوب.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.