🔢 mathematics

Correlation Bounds and Markov Analysis for Ring-Oscillator TRNGs: A Joint Validation Framework

تقدم هذه الورقة إطار عمل تحقق مشترك مبتكر يؤسس لأول ارتباط رياضي وتجريبي بين مقياس مودي-ساركوزي للارتباط من الدرجة الثانية ( $C_2$ ) ودرجة Z لاختبار ماورر الإحصائي الشامل، مما يثبت فائدتهما المشتركة لتقييم الجودة التشفيرية لمولدات الأرقام العشوائية الحقيقية القائمة على تذبذب الحلقات (ring-oscillator TRNGs) من خلال تحليل سلاسل ماركوف وتطبيقات OpenTRNG.

المؤلفون الأصليون: Miguel Alcocer, Ana Isabel Gómez, Domingo Gomez-Perez

نُشر 2026-03-17

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

CC BY 4.0

المؤلفون الأصليون: Miguel Alcocer, Ana Isabel Gómez, Domingo Gomez-Perez

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

الصورة الكبيرة: صنع العشوائية "الحقيقية"

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

معظم أجهزة الكمبيوتر سيئة جداً في صنع الأرقام العشوائية لأنها آلات يمكن التنبؤ بها. ولإصلاح ذلك، يستخدم المهندسون "مولدات الأرقام العشوائية الحقيقية القائمة على مذبذب الحلقة" (Ring Oscillator TRNGs). فكر في هذه المذبذبات كأنها بندولات رقمية أو موازين ضبط الإيقاع (metronomes) تتأرجح ذهاباً وإياباً. وبسبب الاهتزازات الصغيرة غير المتوقعة في الأجهزة (مثل الضوضاء الحرارية أو "الارتجاف/Jitter")، فإن هذه البندولات لا تتأرجح أبداً بنفس السرعة تماماً. هذا التمايل الفوضوي الصغير هو مصدر العشوائية الحقيقية.

المشكلة: كيف نعرف أنها عشوائية؟

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

نظر المؤلفون إلى "مسطرتين" مشهورتين تستخدمان لقياس العشوائية:

اختبار ماورر (Maurer Test): يتحقق مما إذا كانت البيانات "قابلة للضغط". إذا كان التسلسل عشوائياً حقاً، فهو يشبه البيضة المخفوقة؛ لا يمكنك ضغطها في صندوق أصغر دون فقدان المعلومات. أما إذا كان يمكن التنبؤ به، فيمكن ضغطه بسهğu.
مقياس الارتباط ( $C_2$ ): يتحقق مما إذا كانت الأرقام "أصدقاء" مع بعضهم البعض. إذا رأيت الرقم 1، فهل يجعل ذلك من المرجح أن ترى 1 آخر بعد لحظة؟ في التسلسل العشوائي الحقيقي، يجب أن تكون الأرقام غرباء؛ لا ينبغي أن يعرف أي رقم منها ما كان عليه الرقم السابق.

الفجوة: حتى الآن، كان الباحثون يستخدمون هذه المساطر بشكل منفصل. لم يكونوا يعرفون ما إذا كان الحصول على درجة عالية في اختبار ماورر يضمن الحصول على درجة منخفضة في اختبار الارتباط.

الحل: "إطار التحقق المشترك"

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

إليك التشبيه:

تخيل أنك تحاول التنبؤ بالطقس.
سلاسل ماركوف تشبه النظر إلى السحب الآن لتخمين ما إذا كانت ستمطر غداً.
الارتباط ( $C_2$ ) يقيس مدى تأثير طقس اليوم على طقس غدٍ.
اختبار ماورر يقيس مدى فوضوية أنماط الطقس على مدار شهر كامل.

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

التجربة: "العداد" مقابل "العينة"

استخدم الفريق أداة تسمى OpenTRNG (محاكي مفتوح المصصدر) لاختبار تصميمات مختلفة. وقارنوا بين طريقتين لقراءة البندولات "المتأرجحة":

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

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

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

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

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

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

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

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

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

تعد مولدات الأرقام العشوائية الحقيقية (TRNGs) القائمة على المذبذبات الحلقية (ROs) بالغة الأهمية للتطبيقات التشفيرية، حيث تعتمد على مصادر إنتروبيا فيزيائية مثل الارتجاف الحراري (thermal jitter). ومع ذلك، فإن ضمان جودتها التشفيرية يتطلب تحققًا إحصائيًا صارمًا.

الفجوة: بينما يوفر مقياس الارتباط Mauduit-Sárközy ( $C_k$ ) حدودًا نظرية للعشوائية الزائفة، ويقدم اختبار Maurer الإحصائي الشامل تقييمًا تجريبيًا للإنتروبيا، إلا أن الأبحاث السابقة لم تثبت وجود رابط مباشر بين هذه المقاييس.
التحدي: لا يوجد إطار عمل موحد لربط حدود الارتباط النظرية ( $C_k$ ) بالاختبارات التجريبية للإنتروبيا (درجة Z في اختبار Maurer) أو احتمالات انتقال سلاسل ماركوف ذات الرتب العالية. هذا الافتقار إلى الارتباط يجعل من الصعب التنبؤ بأداء تصميمات TRNG الجديدة دون تشغيل مجموعات اختبار شاملة ومستهلكة للوقت (مثل NIST أو AIS31).

2. المنهجية

يقترح المؤلفون إطار عمل للتحقق المشترك يربط نظريًا وتجريبيًا بين ثلاثة مقاييس رئيسية:

ارتباط Mauduit-Sárközy ( $C_k$ ): مع التركيز بشكل خاص على الارتباط من الدرجة الثانية ( $C_2$ )، والذي يقيس أقصى ارتباط بيرسون عبر فترات التأخير غير الصفرية.
اختبار Maurer الشامل: وهو اختبار قائم على الإنتروبيا يقيس قابلية ضغط التسلسل من خلال تحليل المسافات بين كتل الـ $k$ -bit المتكررة، مما ينتج عنه درجة Z.
سلاسل ماركوف عالية الرتبة: نمذجة مخرجات الـ TRNG كعملية ماركوف بذاكرة قدرها $k$ لتحليل احتمالات الانتقال.

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

إطار العمل: استخدم المؤلفون OpenTRNG، وهو إطار عمل مفتوح المصدر لتصميم RO-TRNG قابل لإعادة الإنتاج.
البنى الهيكلية: اختبروا المذبذبات الحلقية الأولية (ERO) والمذبذبات الحلقية ذات العينات المتماسكة (COSO).
طريقة الاستخراج: اعتمدوا نهج العد التفاضلي (differential counter-based approach) (عد فترات المذبذب بدلاً من أخذ عينات البتات المباشرة) لعزل الضوضاء الحرارية المستقلة وإلغاء الارتجاف المشترك (common-mode jitter).
المتغيرات: قام البحث بتغيير ترددات المذبذب ( $f_1, f_2$ )، والترددات المرجعية ( $f_{ref}$ )، وعمق تراكم XOR (حيث $n = 1, 2, 4, 8, 16$ ).
البيانات: لكل حالة من أصل 58 تكوينًا للمعلمات، تم توليد $N = 10^5$ بت لحساب $C_2$ ودرجة Z لـ Maurer.

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

أ. الاشتقاقات النظرية

تضع الورقة علاقات رياضية صارمة بين المقاييس:

النظرية 1 (الارتباط مقابل ماركوف): يثبت المؤلفون أن انخفاض $C_k(S)$ يضمن توزيعات شبه منتظمة لترددات أنماط الـ $k$ -bit. وقد اشتقوا حدًا صريحًا يوضح أن انحراف احتمالات انتقال ماركوف عن القيمة المثالية $1/2$ محكوم بدالة لـ $C_k(S)$ . وتحديدًا، بالنسبة لسلسلة ذاكرة مكونة من 8 بت، فإن انحراف احتمال الانتقال يتناسب مع $2^6 \cdot C_8(S)$ .
النظرية 2 (الارتباط مقابل Maurer): تشتق الورقة حدودًا نظرية تربط دالة اختبار Maurer ( $f_{TU}$ ) مباشرة بمقياس الارتباط $C_k(S)$ . وهذا يثبت أن قابلية الضغط التي يقيسها اختبار Maurer مقيدة رياضيًا بخصائص ارتباط التسلسل.
التحقق من حد Schmidt: يعمل العمل على التحقق من حد Schmidt المحسن للارتباط ( $C_k(S) \le \sqrt{2k \ln(N)/N}$ )، موضحًا أنه أكثر إحكامًا (بتحسن قدره 3.5 ضعف تقريبًا) من ثابت Alon السابق.

ب. التحقق التجريبي

تحليل التوزيع المشترك: تحقق الدراسة حسابيًا من الروابط النظرية من خلال رسم درجة Z لـ Maurer مقابل $C_2$ خارج الذروة لمختلف تكوينات الـ RO.
العد مقابل أخذ العينات: قارن المؤلفون بين الاستخراج القائم على العد وبين أخذ عينات البتات المباشر. وأظهروا أن عد الفترات يعطي خصائص إحصائية أفضل بكثير (ارتباط أقل) من أخذ العينات المباشر.

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

ارتباط إيجابي قوي: تم العثور على معامل ارتباط بيرسون قدره $r = 0.95$ بين درجة Z لـ Maurer ومقياس $C_2$ خارج الذروة. يشير هذا إلى أنه كلما زاد الارتباط ( $C_2$ )، زادت درجة Z (الانحراف عن العشوائية) أيضًا.
عتبات الأداء:
- التكوينات التي حققت $|Z| < 0.1$ حققت باستمرار $C_2 < 0.01$ .
- قيم الارتباط العالية ( $C_2 > 0.8$ ) ارتبطت بـ $Z > 1$ ، مما يشير إلى الفشل في تلبية توقعات العشوائية.
تأثير تراكم XOR: أدى زيادة عمق تراكم XOR (من $n=1$ إلى $n=16$ ) إلى نقل أداء النظام ليكون أقرب إلى المنطقة المثالية ( $|Z| \approx 0, C_2 < 0.01$ ).
تفوق النهج القائم على العد:
- أخذ العينات المباشر: $C_2 = 0.34$ ، $Z = -2.1$ (فشل).
- النهج القائم على العد: $C_2 = 0.009$ ، $|Z| < 1$ (نجاح).
- يمثل هذا تحسنًا بنحو 40 ضعفًا في مقياس الارتباط، مما يؤكد فعالية طريقة العد التفاضلي.
تحقيق حد Schmidt: حققت التطبيقات العملية قيم $C_2$ أقل بمرتين إلى ثلاث مرات من حد Schmidt النظري المحسن، مما يشير إلى أن التصميمات العملية يمكن أن تتفوق على الحدود النظرية العامة عند تحسينها.

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

إطار عمل موحد للتحقق: تقترح الورقة بروتوكول تحقق مبسط لمصممي TRNG. فبدلاً من تشغيل مجموعات الاختبار الكاملة فورًا، يمكن للمصممين حساب $C_2$ (عبر التداخل الذاتي FFT) ودرجة Z لـ Maurer.
- معايير الجودة: التكوينات التي تحقق $C_2 < 0.01$ و $|Z| < 2$ من المرجح جدًا أن تجتاز المجموعات الشاملة مثل NIST أو AIS31.
توجيهات التصميم: يسمح الارتباط القوي بالكشف المبكر عن عيوب التصميم. فإذا فشل التصميم في أحد المقاييس، فمن المرجح إحصائيًا أن يفشل في الآخر، مما يوفر الموارد الحسابية.
الجسر النظري: من خلال ربط المقاييس التوليفية ( $C_k$ ) بالنماذج الاحتمالية (سلاسل ماركوف) واختبارات الإنتروبيا (Maurer)، توفر الورقة فهمًا نظريًا أعمق لكيفية ترجمة الارتجاف الفيزيائي إلى عشوائية تشفيرية.
العمل المستقبلي: يخطط المؤلفون لاستكشاف حدود الارتباط الخاصة بكل بنية هيكلية وتوسيع إطار العمل ليشمل تراكم XOR متعدد المصادر والارتباطات ذات الرتب الأعلى.

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