💻 computer science

Efficient Zero-Knowledge Proofs for Set Membership in Blockchain-Based Sensor Networks: A Novel OR-Aggregation Approach

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

المؤلفون الأصليون: Oleksandr Kuznetsov, Emanuele Frontoni, Marco Arnesano, Kateryna Kuznetsova

نُشر 2026-04-13

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

CC BY 4.0

المؤلفون الأصليون: Oleksandr Kuznetsov, Emanuele Frontoni, Marco Arnesano, Kateryna Kuznetsova

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

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

هذه هي المشكلة التي تحلها هذه الورقة البحثية.

المشكلة: "حقيبة الظهر الثقيلة"

في الماضي، لإثبات أنك تنتمي إلى نادٍ يضم مليون شخص، كان عليك أن تحمل "حقيبة ظهر" من الإثباتات.

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

الحل: "التجميع المنطقي (OR-Aggregation) السحري"

ابتكر مؤلفو هذه الورقة خدعة جديدة تسمى OR-Aggregation. فكر في الأمر كتعويذة سحرية تحول تلك الحقيبة الثقيلة إلى بطاقة بريدية صغيرة واحدة، بغض النظر عن حجم النادي.

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

1. "قائمة أعضاء النادي" مقابل "القائمة السحرية"

تخيل أن النادي لديه قائمة بجميع الأعضاء.

الطريقة القديمة: لإثبات أنك موجود في القائمة، عليك إظهار المسار من اسمك إلى قمة القائمة. وكلما طالت القائمة، طال المسار.
الطريقة الجديدة (OR-Aggregation): ينشئ النادي "بصمة هاش سحرية" (Magic Hash) واحدة ضخمة (بصمة رقمية) تمثل القائمة بأكملها مدمجة في رقم واحد.

2. خدعة الـ "أو" (OR)

الآن، تحتاج إلى إثبات أنك موجود في تلك القائمة دون ذكر أي رقم محدد في القائمة.

تخيل أن النادي لديه مليون خزانة (Locker). وأنت تملك مفتاح خزانة واحدة محددة (الخزانة رقم 45,201).
بدلاً من إظهار مفتاح الخزانة رقم 45,201، تستخدم خدعة رياضية ذكية (منطق الـ "أو"). أنت تثبت للحارس: "أنا أملك مفتاح الخزانة رقم 1 أو أملك مفتاح الخزانة رقم 2 أو ... أو أملك مفتاح الخزانة رقم 45,201".
بفضل سحر "براهين المعرفة الصفرية" (Zero-Knowledge Proofs)، يمكن للحارس التحقق من أنك تملك بالفعل مفتاحاً لإحدى الخزانات، لكنه لا يستطيع معرفة أي واحدة منها. هو فقط يعرف أنك تقول الحقيقة.

3. النتيجة: حجم ثابت

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

الطريقة القديمة: 10 أعضاء = ملاحظة صغيرة. 100 مليون عضو = لفافة ورقية ضخمة.
الطريقة الجديدة: 10 أعضاء = ملاحظة صغيرة. 100 مليون عضو = لا تزال نفس الملاحظة الصغيرة.

لماذا يهم هذا أجهزة الاستشعار وإنترنت الأشياء (IoT)؟

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

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

المقارنة: سباق

قارن المؤلفون طريقتهم الجديدة مع "أبطال" عالم التشفير الحاليين (مثل أشجار ميركل، وأشجار فيركل، وSTARKs).

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

الخلا الخلاصة

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

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

إليك ملخص تقني مفصل للورقة البحثية بعنوان: "إثباتات المعرفة الصفرية الفعالة لعضوية المجموعات في شبكات الاستشعار القائمة على البلوكشين: نهج تجميع OR المبتكر."

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

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

القيود الحالية: تعاني الطرق الحالية مثل أشجار ميركل (Merkle Trees)، والمراكمات التشفيرية (Cryptographic Accumulators)، وإثباتات المعرفة الصفرية القياسية (مثل zk-SNARKs) من مشكلات تتعلق بقابلية التوسع.
- أشجار ميركل: ينمو حجم الإثبات لوغاريتمياً ( $O(\log n)$ ) مع حجم المجموعة، مما يستهلك عرض نطاق ترددي وسعة تخزينية مفرطين.
- المراكمات: غالباً ما تتطلب إعدادات موثوقة أو تحديثات شهود (witness updates) مكثفة حاسوبياً، وهو ما لا يناسب عقد الاستشعار منخفضة الطاقة.
- إثباتات المعرفة الصفرية العامة: تجعل الأعباء الحسابية العالية وإجراءات الإعداد المعقدة من الصعب نشرها على أجهزة الحافة (Edge devices).
الفجوة: هناك نقص في الحلول التي توفر إثباتات ذات حجم ثابت، وأعباء حسابية منخفضة، وضمانات خصوصية قوية مصممة خصيصاً لشبكات الاستشعار واسعة النطاق والقائمة على البلوكشين والمحدودة الموارد.

2. المنهجية: نهج تجميع OR

يقترح المؤلفون نهج تجميع OR (OR-aggregation) مبتكر لإثباتات عضوية المجموعات في المعرفة الصفرية. تسمح هذه الطريقة للمُثبِت (Prover) بإثبات أن عنصراً $x$ ينتمي إلى مجموعة $S = \{x_1, x_2, ..., x_n\}$ دون الكشف عن أي عنصر محدد أو أي معلومات أخرى حول المجموعة.

الآلية التقنية الجوهرية

يعتمد النهج على بروتوكولات سيجما (Sigma protocols) وتركيب OR (OR-composition) مقترناً بالتجميع التشفيري:

التجميع:
- القائم على RSA: يتم تجميع عناصر المجموعة الفردية في التزام واحد باستخدام الأسس النمطية ( $y = \prod g^{x_i} \mod N$ ).
- القائم على المنحنيات الإهليلجية (EC): يتم تجميع العناصر عبر الضرب القياسي ( $Y = \sum x_i G$ ).
تركيب OR: يستخدم المُثبِت إثبات OR لإثبات معرفة اللوغاريتم المنفصل (بالنسبة لـ EC) أو الجذر رقم $e$ (بالنسبة لـ RSA) لأحد المكونات الفردية داخل الالتزام المجمع.
خاصية المعرفة الصفرية: يثبت البروتوكول العضوية دون الكشف عن الفهرس المحدد أو القيمة، مما يضمن الخصوصية.

مواصفات البروتوكول

يتبع النظام هيكل بروتوكول سيجما القياسي المكون من ثلاث حركات:

الإعداد (Setup): توليد المعلمات العامة (المقياس $N$ أو معلمات المنحنى) والالتزام المجمع للمجموعة.
توليد الإثبات (Proof Generation): يختار المُثبِت تحدياً عشوائياً، ويحسب التزاماً، ويتلقى تحدي المُتحقق (Verifier)، ثم يحسب استجابة بناءً على العنصر المحدد الذي يعرفه.
التحقق (Verification): يتحقق المُتحقق من اتساق الاستجابة مع الالتزام المجمع والتحدي.

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

بروتوكول مبتكر: تقديم بروتوكول تجميع OR قابل للتطبيق على كل من تشفير RSA والمنحنيات الإهليلجية (على وجه التحديد تم اختباره على Ed25519، secp256r1، BLS12-381، إلخ).
تعقيد ثابت: إثبات نظري بأن حجم الإثبات ووقت التحقق ثابتان ( $O(1)$ )، بغض النظر عن حجم المجموعة $n$ . وهذا يمثل تحولاً كبيراً عن التوسع اللوغاريتمي لأشجار ميركل.
تحليل أمني رسمي: إثباتات صارمة توضح الاكتمال (Completeness)، والسلامة (Soundness) (بالاعتماد على مسألة RSA أو ECDLP)، وخصائص المعرفة الصفرية.
تنفيذ مُحسَّن: تطوير تقنيات تحسين محددة للأجهزة محدودة الموارد، بما في ذلك:
- جداول مسبقة الحساب للضرب القياسي.
- الأسس ذات النافذة المنزلقة (Sliding window exponentiation).
- هياكل بيانات فعالة في استهلاك الذاكرة (bit-packing).
- استراتيجيات التحقق بالدفعات (Batch verification).
تقييم شامل: مقارنة تجريبية واسعة النطاق مع أشجار Patricia-Merkle، وأشجار Verkle، وتقنية STARKs.

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

قام المؤلفون بتقييم النهج في بيئة سطح مكتب قياسية (AMD Ryzen 7) باستخدام Python و pycryptodome ، ومقارنته بأشجار Patricia-Merkle، وأشجار Verkle، وSTARKs.

مقاييس الأداء الرئيسية

حجم الإثبات:
- تجميع OR: حجم ثابت بغض النظر عن حجم المجموعة (على سبيل المثال، 160 بايت لـ Ed25519، و 224 بايت لـ BLS12-381).
- Patricia-Merkle: ينمو لوغاريتمياً. بالنسبة لمجموعة مكونة من 300 مليون عنصر، تبلغ إثباتات ميركل حوالي 2.9 كيلوبايت، بينما يظل تجميع OR عند 160 بايت.
- STARKs: أكبر بكثير (على سبيل المثال، حوالي 174 كيلوبايت لمليون عنصر).
وقت التحقق:
- تجميع OR: وقت ثابت (~0.012 ثانية لـ Ed25519).
- التحقق بالدفعات: في سيناريو التحقق من 100,000 عنصر، تتطلب أشجار Patricia-Merkle نقل 292 ميجابايت من البيانات وتستغرق حوالي 17.6 ثانية. بينما يتطلب تجميع OR 160 بايت فقط ويستغرق 0.012 ثانية (وقت ثابت).
وقت التوليد:
- بينما يكون توليد تجميع OR أبطأ قليلاً من أشجار ميركل للمجموعات الصغيرة جداً بسبب تعقيد إثبات OR، إلا أنه يظل ثابتاً. بالنسبة للمجموعات الكبيرة، تكون المقايضة إيجابية بسبب الانخفاض الهائل في عبء نقل البيانات.

الميزة التنافسية

قابلية التوسع: يتفوق النهج على جميع المنافسين في السيناريوهات واسعة النطاق (الملايين من العناصر).
كفاءة عرض النطاق الترددي: يقلل من نقل البيانات بعوامل تصل إلى 18,000 ضعف في سيناريوهات التحقق بالدفعات مقارنة بأشجار ميركل.
ملاءمة الموارد: مثالي لأجهزة إنترنت الأشياء حيث يعد عرض النطاق الترددي وعمر البطارية من القيود الحرجة.

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

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

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

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