⚛️ quantum physics

Private Proofs of When and Where

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

المؤلفون الأصليون: Uma Girish, Greg Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky, Henry Yuen

نُشر 2026-02-17

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

CC BY 4.0

المؤلفون الأصليون: Uma Girish, Greg Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky, Henry Yuen

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

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

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

ومع ذلك، هناك مشكلة كبيرة: الخصوصية.
إذا أثبتَّ أنك في الحديقة، فقد كشفت للتو عن موقعك. ماذا لو أردت إثبات شيء أكثر تحديداً، مثل "لم أكن بالقرب من مسرح الجريمة بالأمس"، أو "بقيت داخل حدود هذا البلد"، دون الكشف عن إحداثياتك الفعلية؟

تقدم هذه الورقة البحثية خدعة سحرية جديدة تسمى التحقق من الموقع بمعرفة صفرية (Zero-Knowledge Position Verification). وهي تتيح لك إثبات عبارة عن موقعك (مثل "كنت هنا") دون الكشف عن "أين" أو "متى" فعلياً، ودون إعطاء أي تفاصيل أخرى عن حياتك.

إليك كيف حل المؤلفون هذا اللغز، من خلال شروحات مبسطة.

1. المشكلة: "الجاسوس" مقابل "الحارس"

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

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

2. الحل: "المظروف المختوم المسافر عبر الزمن"

ابتكر المؤلفون أداة جديدة تسمى الالتزام بالموقع (Position Commitment). فكر في هذا كأنه مظروف سحري مختوم ومسافر عبر الزمن.

إليك كيف يعمل:

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

3. سحر "المعرفة الصفرية"

الجزء الرائع هو جانب المعرفة الصفرية (Zero-Knowledge).
بينما ينتظر الحراس قيامك بفتح الخزنة، يرون تدفقاً مستمراً من الضجيج المشفر. وبسبب قوانين ميكانيكا الكم والتشفير، يبدو هذا التدفق من الضجيج متطابقاً تماماً سواء كنت عند البوابة الشمالية، أو البوابة الجنوبية، أو البوابة الشرقية.

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

4. لماذا هذا مهم؟

هذه التكنولوجيا تحل مشاكل الخصوصية في العالم الحقيقي:

مشكلة "سترافا" (Strava): هل تتذكر عندما كشفت تطبيقات اللياقة البدنية بالخطأ عن القواعد العسكرية السرية لأنها تتبعت مسارات ركض الجنرالات؟ باستخدام هذا النظام، يمكن للجنرال إثبات "لقد ركضت في حلقة طولها 5 أميال"، دون أن تعرف التطبيقات أبداً أين كانت تلك الحلقة.
المعاهدات النووية: يمكن لدولة أن تثبت "سلاحنا النووي داخل حدودنا"، دون الكشف عن إحداثيات القاعدة السرية للعالم.
الأعذار (Alibis): يمكنك إثبات أمر للقاضي مثل "لم أكن في مسرح الجريمة في الساعة 2:00 مساءً"، دون الحاجة للكشف عن أنك كنت في مقهى على بعد ثلاث كتل سكنية.

5. العقبة (مشكلة "الخصم الخبيث")

تعترف الورقة بوجود نقطة ضعف واحدة. هذا النظام يعمل بشكل مثالي إذا كان الأشخاص الذين يتحققون من موقعك (المُحقِّقون) صادقين ولكن فضوليين. ولكن ماذا لو كانوا أشراراً ويريدون خداعك؟

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

ملخص

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

إليك ملخص تقني مفصل لورقة "البرهان الخاص للزمان والمكان" (Private proofs of when and where) من تأليف أوما جيريش، جريج جلوتش، شافي جولد واسر، تال مالكين، ليو أورشانسكي، وهنري يون.

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

التحقق من الموقع (Position Verification - PV) هو بروتوكول تشفير يحاول فيه "المُثبت" (prover) إقناع مجموعة من "المتحققين" (verifiers) بموقعه الفيزيائي $L$ عند زمن محدد $t$ . وبينما يعد التحقق من الموقع (PV) مستحيلاً في الإطار الكلاسيكي البحت (بسبب المتواطئين الذين يمكنهم انتحال الإشارات)، فإنه ممكن في نموذج التحقق الكمي من الموقع (Quantum Position Verification - QPV)، وذلك بالاستفادة من مبادئ مثل نظرية عدم الاستنساخ (no-cloning theorem) وقيد سرعة الضوء.

ومع ذلك، تعاني بروتوكولات QPV القياسية من خلل جوهري في الخصوصية: لكي يثبت المُثبت أنه "أنا في الموقع $L$ "، يجب عليه الكشف عن إحداثياته الدقيقة. وفي العديد من السيناريوهات الواقعية، يحتاج المستخدمون إلى إثبات ادعاءات حول موقعهم دون الكشف عن الموقع نفسه. ومن الأمثلة على ذلك:

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

السؤال المركزي الذي تعالجه الورقة هو: هل يمكننا بناء بروتوكولات التحقق من الموقع ذات المعرفة الصفرية (Zero-Knowledge Position Verification - ZK-PV)؟ أي، هل يمكن للمُثبت إثبات ادعاء حول موقعه في الزمكان (مثل: "كنت في المنطقة $R$ ") دون الكشف عن أي معلومات حول إحداثياته المحددة داخل المنطقة $R$ ؟

2. المنهجية والبدائية الأساسية

قدم المؤلفون بدائية تشفيرية جديدة تسمى التزام الموقع (Position Commitment) واستخدموها لبناء بروتوكولات ZK-PV.

أ. التزام الموقع (Position Commitment)

يسمح "التزام الموقع" للمُثبت بالالتزام بنقطة زمكانية محددة $(L, t)$ دون الكشف عنها فوراً. لاحقاً، يمكن للمُثبت "فتح" الالتزام للكشف عن $(L, t)$ ، ويمكن للمتحققين التحقق من أن المُثبت كان بالفعل في ذلك الموقع في ذلك الوقت.

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

بناء التزام الموقع:
يعتمد البناء على افتراضين:

الدوال أحادية الاتجاه لما بعد الكم (Post-Quantum One-Way Functions - OWF): تُستخدم للتشفير والتزامات البت الكلاسيكية.
بروتوكولات التحقق من الموقع الفردي "الجيدة" (Nice Singleton QPV Protocols): وهي فئة من بروتوكولات QPV الموجودة (مثل $f$ $f$ -BB84) التي تتميز بـ:
- دورة واحدة (يرسل المتحققون ثم يستجيب المُثبت فوراً).
- استجابة كلاسيكية (يرسل المُثبت سلسلة بتات أو نصوص كلاسيكية).
- القدرة على التحقق من أي نقطة داخل الغلاف المحدب للمتحققين.

البروتوكول (التشفير ثم التحقق - Encrypt-Then-Verify):

الإعداد (Setup): ينشئ المُثبت مفتاحاً سرياً $sk$ ويلتزم به باستخدام مخطط التزام كلاسيكي.
مرحلة الالتزام (Commit Phase):
- يبث المتحققون تحديات لكل نقطة زمكانية ممكنة في منطقة مستهدفة $S$ في آن واحد.
- المُثبت النزيه، الموجود في $(L^*, t^*) \in S$ ، يتلقى التحدي المحدد لموقعه الحقيقي.
- يحسب المُثبت الاستجابة الصحيحة لـ $(L^*, t^*)$ ويشفرها باستخدام $sk$.
- بالنسبة لجميع النقاط الأخرى في $S$ ، يرسل المُثبت رسائل مشفرة "وهمية" (على سبيل المثال، تشفير لـ $\perp$ ) موقوتة لتصل تماماً عندما يتوقع المتحققون استجابة للمواقع الزائفة.
- هذا يخلق سجلاً (transcript) حيث يتلقى المتحققون تدفقاً من الرسائل المشفرة المتوافقة مع أي نقطة في $S$ ، مما يجعل موقع المُثبت الحقيقي غير قابل للتمييز.
مرحلة الكشف (Reveal Phase):
- يكشف المُثبت عن $sk $والموقع المدعى$ (L^, t^)$.
- يقوم المتحققون بفك تشفير الرسالة المقابلة لـ $(L^*, t^*)$ والتحقق منها مقابل التحدي الأصلي. كما يتحققون من صحة الالتزام بـ $sk$.
- نظراً لخاصية الإلزام المكاني الإحصائي (Statistical Position Binding)، لا يمكن للمُثبت المخادع إنشاء التزام صالح يمكن فتحه لموقع لم يشغله فيزيائياً، حتى لو كان يمتلك تشابكاً كمياً محدوداً.

ب. من التزام الموقع إلى المعرفة الصفرية

بمجرد أن ينشئ المُثبت التزام موقع $\rho$ لموقع مخفي، يمكنه إثبات ادعاءات حول هذا الموقع باستخدام براهين المعرفة الصفرية (Zero-Knowledge Proofs - ZK) للغات NP.

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

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

صياغة التحقق من الموقع ذو المعرفة الصفرية (ZK-PV): عرّف المؤلفون ZK-PV باستخدام تعريف أمني قائم على المحاكاة، مما يضمن إمكانية محاكاة رؤية المتحققين دون معرفة الموقع الدقيق للمُثبت داخل المنطقة المسموح بها.
تقديم التزام الموقع (Position Commitment): عرّفوا وبنوا هذه البدائية الجديدة، والتي تعمل كجسر بين قيود الموقع الفيزيائي والالتزامات التشفيرية.
النظرية الرئيسية (النظرية 1.1): أثبتوا أنه بافتراض وجود دوال أحادية الاتجاه لما بعد الكم (Post-Quantum OWFs) ووجود بروتوكولات QPV فردية "جيدة" (آمنة ضد الخصوم الذين يمتلكون تشابكاً محدوداً $E$ $E$ )، يمكن بناء بروتوكول ZK-PV لأي منطقة زمكانية محدودة $R$ $R$ .
- البروتوكول الناتج آمن ضد الخصوم الذين يتشاركون $E/2$ من الكيوبتات المتشابكة.
- يحقق معرفة صفرية حاسوبية للمتحقق النزيه (Honest-Verifier Computational Zero-Knowledge).
التحسين (البروتوكول 2): اقترحوا بناءً محسناً للبروتوكولات التي تكون فيها رسائل المتحققين كلاسيكية وتُبث (مثل [LLQ22]). هذا يقلل العبء الحسابي من كونه أسياً في حجم المنطقة $|S|$ إلى كونه حدودياً (polynomial)، مما يجعل المخطط أكثر عملية.

4. النتائج والتحليل الأمني

الاكتمال (Completeness): يتم قبول المُثبتين النزهاء باحتمالية عالية.
الصحة (Soundness - أمن الموقع): لا يمكن للمُثبتين المخادعين (المنتحلين) الذين لا يشغلون الموقع المدعى المرور بعملية التحقق إلا باحتمالية ضئيلة جداً، بشرة أنهم يتشاركون تشابكاً محدوداً. يعتمد اختزال الأمان على صعوبة كسر بروتوكول QPV الأساسي وخاصية الإلزام.
المعرفة الصفرية (Zero-Knowledge): البروتوكول ذو معرفة صفرية ضد المتحققين شبه النزهاء (semi-honest) (الذين يتبعون البروتوكول ولكن يحاولون تعلم المزيد من السجل).
- القصور: تشير الورقة إلى أن تحقيق المعرفة الصفرية ضد المتحققين المخادعين (malicious) أمر صعب. يمكن للمتحققين المخادعين القيام بهجوم "الجس" (poke-around attack) عبر إرسال رسائل توجيهية إلى مناطق محددة ومراقبة ما إذا كان المُثبت يستجيب، وبالتالي استنتاج موقع المُثبت. يفترض المؤلفون أنه إذا تم تقييد رسائل المتحققين لتكون بثاً فقط (broadcast-only) (ويمكن للمُثبت التمييز بين البث والرسائل التوجيهية)، فقد يكون تحقيق المعرفة الصفرية للمتحقق المخادع ممكناً.

5. الأهمية والأثر

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

باختصار، تثبت الورقة أن التحقق من الموقع ذو المعرفة الصفرية ممكن نظرياً في ظل الافتراضات التشفيرية القياسية والتشابك الكمي المحدود، مما يوفر إطاراً قوياً لإثباتات الموقع التي تحافظ على الخصوصية في العصر الكمي.