⚛️ quantum physics

Towards defending crosstalk-mediated attacks in multi-tenant quantum computing

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

المؤلفون الأصليون: Devika Mehra, Amir Kalev

نُشر 2026-04-10

📖 4 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Devika Mehra, Amir Kalev

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

الصورة الكبيرة: مكتب "مفتوح التخطيط" كمي

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

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

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

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

التجربة: لعبة بحث "غروفر" (Grover's Search)

لاختبار ذلك، أعد الباحثون لعبة محددة:

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

الدفاعان

اختبر الباحثون استراتيجيتين رئيسيتين لحماية الضحية.

1. "الكيوبت العازل" (الجدار العازل للصوت)

تخيل وضع جدار سميك وفارغ بينك وبين جارك المزعج.

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

2. إلغاء التماسك الديناميكي (رقصة "هزّها لتخرجها")

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

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

الاستراتيجية الفائزة: "الدفاع المزدوج"

أكثر ما مثير للاهتمام في هذه الورقة هو ما يحدث عند الجمع بين الطريقتين.

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

التشبيه: الأمر يشبه امتلاك جدار عازل للصوت و ارتداء سماعات إلغاء الضوضاء في آن واحد. حتى لو تسلل القليل من الضجيج عبر الجدار، فإن السماعات ستلتقط ما تبقى.

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

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

الخلاصة

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

إليك ملخص تقني مفصل لورقة البحث "نحو الدفاع ضد الهجمات الناتجة عن التداخل في الحوسبة الكمومية متعددة المستأجرين" من إعداد ديفيكا ميهرا وأمير كالف.

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

مع انتقال الحوسبة الكمومية نحو بيئات سحابية متعددة المستأجرين (حيث يتشارك عدة مستخدمين وحدة معالجة كمومية واحدة QPU)، ظهرت ثغرات أمنية جديدة. وبينما تساهم تعددية المستأجرين في تحسين استغلال الموارد والإنتاجية، إلا أنها تقدم هجمات ناتجة عن التداخل (Crosstalk-mediated attacks).

التهديد: يمكن لفاعل خبيث (المهاجم) تنفيذ دائرة كمومية على كيوبتات مجاورة فيزيائياً لدائرة الضحية. ومن خلال استغلال قنوات ضوضاء التداخل في الأجهزة (تحديداً روابط ZZ غير المقصودة الناتجة عن عمليات CNOT)، يمكن للمهاجم إضعاف دقة حسابات الضحية دون الوصول المباشر إلى الكيوبتات الخاصة بها.
الفجوة: بينما تم اقتراح تدابير مضادة مثل "الكيوبتات العازلة" (Buffer qubits - كيوبتات خاملة تفصل بين المستخدمين) وتعيين الكيوبتات القائم على التعلم الآلي، إلا أن فعالية إلغاء التماسك الديناميكي (Dynamical Decoupling - DD) كتدبير مضاد محدد لم يتم اختبارها بصرامة ضد هذه الهجمات في سياق السحابة متعددة المستأجرين. علاوة على ذلك، يظل إيجاد تسلسلات نبضات DD المثلى سؤالاً بحثياً مفتوحاً؛ وتستقصي هذه الورقة مدى فعالية تسلسلات DD العامة القائمة على البوابات.

2. المنهجية

أجرى المؤلفون دراسة إثبات مفهوم باستخدام وحدة المعالجة الكمومية ibm_brisbane من IBM التي تحتوي على 127 كيوبت.

الإعداد التجريبي

دائرة الضحية: خوارزمية بحث غروفر (Grover's search algorithm) المكونة من 3 كيوبتات (تستهدف السلسلة '111'). تم اختيار ذلك لضمان وجود خط أساس عالي الدقة.
دائرة المهاجم: تم نمذجتها كسلسلة من بوابات CNOT المتكررة المطبقة على كيوبتات مجاورة لدائرة الضحية.
- ناقلات الهجوم: تم اختبار ثلاث حالات أولية لكيوبت التحكم الخاص بالمهاجم: $|0\rangle$ و $|1\rangle$ و $|+\rangle$ . وتم تهيئة الكيوبت المستهدف إلى $|0\rangle$ .
- الشدة: تم زيادة عدد بوابات CNOT تدريجياً حتى 45 لمحاكاة مستويات متفاوتة من التداخل.
التخطيطات (Layouts): تم اختبار خمسة تخطيطات مختلفة لاتصال الكيوبتات على شريحة ibm_brisbane لضمان عدم اقتصار النتائج على طوبولوجيا واحدة.

استراتيجيات التخفيف المختبرة

قيمت الدراسة أربعة سيناريوهات:

لا هجوم: خط الأساس (Baseline).
لا هجوم مع DD: خط الأساس مع تطبيق DD (لقياس العبء الإضافي).
هجوم بدون تخفيف: تعمل الضحية خوارزمية غروفر بينما يعمل المهاجم عمليات CNOT.
هجوم مع تخفيف: تستخدم الضحية آليات دفاعية أثناء وقوع الهجوم. الدفاعات المحددة المختبرة هي:
- إلغاء التماسك الديناميكي القائم على البوابة (Gate-based DD): تطبيق تسلسلات DD عامة (XX و XYXY) خلال فترات الخمول (idle time windows) لكيوبتات الضحية. تتكون هذه التسلسلات من بوابات Pauli-X و Pauli-Y المتتالية لتعويض الضوضاء البيئية.
- الكيوبت العازل (Buffer Qubit): إدخال كيوبت خامل (غير مستخدم) بين كيوبتات الضحية والمهاجم للفصل بينهما فيزيائياً.
- النهج الهجين: الجمع بين تسلسلات DD والكيوبت العازل.

المقاييس

الدقة ( $F_G$ ): تم حسابها باستخدام دقة هيلينجر (Hellinger fidelity) بين توزيع المخرجات التجريبية وحالة غروفر المثالية.
الاستقرار: تم قياسه باستخدام الانحراف المعياري (التقلب) للدقة عبر عدة عمليات تشغيل.

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

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

4. النتائج الرئيسية

تم تكرار التجارب 20 مرة للتخطيط الأساسي و10 مرات للتخطيطات الأخرى، مع 4096 عملية قياس (shots) لكل دائرة.

تأثير الهجوم: في غياب التخفيف، تسبب الهجوم في انخفاض كبير في الدقة. على سبيل المثال، مع تهيئة المهاجم لـ $|0\rangle$ ، انخفضت الدقة من خط أساس يبلغ ~0.76 إلى ~0.48. هذا يؤكد أن عمليات CNOT التي تبدو "غير نشطة" (مع تحكم $|0\rangle$ ) تسبب أيضاً ارتباط ZZ الذي يقلل من حالة الضحية.
فعالية الاستراتيجيات الفردية:
- DD فقط: حسنت الدقة بشكل ملحوظ مقارنة بالهجوم غير المخفف (على سبيل المثال، استعادة دقة هجوم $|0\rangle$ من 0.48 إلى ~0.66) ولكنها لم تستعد تماماً دقة "لا هجوم" بشكل عام. ومع ذلك، وفر DD استقراراً عالياً (تباين منخفض) بغض النظر عن عدد بوابات CNOT.
- الكيوبت العازل فقط: غالباً ما استعادت الدقة لتكون أقرب إلى خط الأساس (على سبيل المثال، ~0.75) ولكنها أظهرت تبايناً أعلى (تقلبات) مع زيادة عدد بوابات CNOT.
فعالية الاستراتيجية الهجينة (DD + Buffer):
- حقق هذا النهج "أفضل ما في العالمين".
- الدقة: في كثير من الحالات، استعاد النهج الهجين الدقة لمستويات تساوي أو حتى تتجاوز سيناريو "لا هجوم مع DD" (على سبيلم: ~0.805 مقابل خط أساس 0.81).
- الاستقرار: حافظ على التباين المنخفض الذي يميز DD، مما يضمن أداءً ثابتاً حتى مع زيادة شدة الهجوم.
القدرة على التعميم: ظلت هذه الاتجاهات ثابتة عبر جميع التخطيطات الخمسة المختبرة ومختلف حالات التهيئة الأولية للمهاجم ( $|0\rangle, |1\rangle, |+\rangle$ ).

5. الأهمية والخاتمة

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

العملية: بما أن تسلسلات DD العامة (XX, XYXY) يمكن تنفيذها باستخدام وظائف المترجم المدمجة (مثل PadDynamicalDecoupling في Qiskit)، فإنها تمثل دفاعاً منخفض الحاجز وعالي التأثير.
مقايضة الموارد: يخلص المؤلفون إلى أن اختيار الدفاع يعتمد على القيود:
- إذا كان عدد الكيوبتات محدوداً، فإن DD هو حل مستقل قابل للتطبيق.
- إذا كان عمق الدائرة/الوقت هو العائق، فإن الكيوبتات العازلة فعالة.
- إذا كانت أقصى درجات الأمن والاستقرار مطلوبة، فإن النهج الهجين هو الحل الأمثل.
الآفاق المستقبلية: يشير العمل إلى أن مزودي السحابة الكمومية يجب أن ينظروا في تنفيذ هذه الاستراتيجيات التخفيفية تلقائياً أثناء تخصيص الكيوبتات لحماية سلامة المستخدم، ليس فقط ضد الفاعلين الخبثاء، بل أيضاً ضد التداخل العرضي في جداول البرمجة المتعددة الكثيفة.