AURA: Blockchain-Enabled Privacy-Preserving Edge Computing via Zero-Knowledge Proof Aggregation
تُعد AURA إطار عمل لتقنية ZK-Rollup مدعوم بالحافة، يُمكّن من إجراء معاملات إنترنت الأشياء مع الحفاظ على الخصوصية عبر ترحيل الحسابات التشفيرية الثقيلة إلى عقد الحافة، واستخدام بروتوكول تجميع شجري ثنائي مبتكر لضغط 64 إثباتاً على مستوى الأجهزة في عملية تحقق واحدة منخفضة التكلفة وموفرة للطاقة على السلسلة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في العصر الرقمي، تعمل تقنية البلوكشين (سلسلة الكتل) كسجل عام، وهو سجل مشترك للمعاملات يمكن لأي شخص فحصه ولكن لا يمكن لشخص واحد تعديله. وتعد هذه الشفافية هي أعظم نقاط قوتها من حيث الأمان، لكنها أيضًا أعظم نقاط ضعفها من حيث الخصوصية. فعندما يرسل عداد ذكي في منزل أو مستشعر في آلة مصنع بيانات إلى البلوكشين، يكشف النظام التقليدي بالضبط عمن أرسل ماذا، وبأي مقدار، وإلى من. وبالنسبة لمليارات أجهزة إنترنت الأشياء، التي تعمل غالبًا ببطاريات صغيرة وتمتلك قدرات حوسبة محدودة، فإن هذا الانكشاف يمثل مشكلة حرجة؛ إذ يعني ذلك أن شركة المرافق يمكنها معرفة متى تكون العائلة في المنزل بالضبط، أو يمكن لمنافس استنتاج جدول الإنتاج الخاص بمصنع ما بمجرد مراقبة السجل العام. ولحل هذه المشكلة، طور الباحثون طريقة تسمى "إثبات المعرفة الصفرية" (zero-knowledge proof)، وهي تقنية تشفير تسمح للجهاز بإثبات صحة المعاملة دون الكشف عن أي تفاصيل حول المعاملة نفسها. ومع ذلك، كان إنشاء هذه الإثباتات يتطلب تاريخيًا الجهد الشاق الذي يقوم به جهاز كمبيوتر مكتبي، مما جعل من المستحيل على المستشعرات الصغيرة التي تعمل بالبطارية استخدامها مباشرة.
لقد نجح فريق من الباحثين في جامعة شرق الصين العادية في حل هذه العقبة من خلال نظام جديد أطلقوا عليه اسم "أورا" (AURA). يعمل عملهم على سد الفجوة بين الرياضيات الثقيلة المطلوبة للخصوصية وبين الأجهزة الصغيرة المحدودة لأجهزة الاستشعار اليومية. فبدلاً من مطالبة جهاز صغير بالقيام بما هو مستحيل، يقوم "أورا" بتقسيم العمل؛ حيث يقوم الجهاز الصغير بخطوة تشفير سريعة وبسيطة تستغرق أقل من ميلي ثانية واحدة، ثم يرسل هذه القطعة الصغيرة والمشفرة من البيانات إلى خادم طرفي (edge server) أقوى قريب منه—مثل بوابة ذكية أو وحدة جانبية للطريق. وهذا الخادم، الذي يمتلك القدرة الحوسبية للتعامل مع الرياضيات المعقدة، يأخذ البيانات من العديد من الأجهزة في وقت واحد ويجمعها معًا، ثم ينشئ إثباتًا واحدًا مدمجًا يتحقق من صحة جميع تلك المعاملات دون الكشف عن هوية المرسل أو مقدار ما تم تحويله. ثم يُرسل هذا الإثبات إلى البلوكشين الرئيسي. والنتيجة هي نظام يتم فيه الحفاظ على الخصوصية، ولا يزدحم فيه الشبكة الرئيسية ببيانات ضخمة، وتظل فيه الأجهزة الصغيرة ضمن حدود طاقتها الصارمة.
اختبر الباحثون هذا النهج من خلال بناء نظام كامل يعمل وجرى تشغيله على نسخة تجريبية من شبكة بلوكشين حقيقية. ووجدوا أن الأجهزة الصغيرة احتاجت فقط إلى تنفيذ مهمة تشفير بسيطة استغرقت حوالي 330 ميكروثانية، وهو جزء من الثانية يستهلك طاقة بطارية ضئيلة جدًا. وقد تولى الخادم الطرفي العمل الشاق لتوليد إثبات الخصوصية، حيث استطاع معالجة دفعة مكونة من 64 معاملة في حوالي 481 ميلي ثانية. وعندما تم تقديم إثبات هذه الدفعة الواحدة إلى البلوكشين، كانت تكلفة التحقق منها للشبكة أقل بكثير من الطرق السابقة. وتحديدًا، انخفضت تكلفة التحقق من معاملة واحدة داخل دفعة ما إلى حوالي 30,712 وحدة من الجهد الحوسبي، وهو انخفاض هائل مقارنة بالملايين من الوحدات التي كانت تتطلبها أنظمة الخصوصية القديمة. ويعني هذا الكفاءة أن الجهاز الذي يعمل ببطارية قياسية يمكنه نظريًا إجراء ملايين من هذه المعاملات طوال عمره الافتراضي، مع كون تكلفة التشفية ضئيلة للغاية مقارنة بالطاقة المستخدمة لمجرد إرسال البيانات لاسلكيًا.
يحقق النظام هذه الكفاءة من خلال تصميم ذكي يعامل البيانات من أجهزة متعددة كوحدة واحدة. فبدلاً من التحقق من كل معاملة على حدة، يقوم الخادم الطرفي بتجميعها في دفعة وينشئ هيكل شجرة ثنائية لضغط الإثبات. ويسمح هذا للبلوكشين بالتحقق من صحة عشرات المعاملات من خلال فحص رياضي واحد سريع. كما صمم الباحثون مجموعة محددة من القواعد، أو "الدائرة"، التي تتناسب مع حدود الذاكرة للخوادم الطرفية القياسية، مما يضمن قدرة النظام على العمل على أجهزة ميسورة التكلفة بدلاً من اشتراط أجهزة كمبيوتر فائقة باهظة الثمن. وقد أثبتوا أن هذا النهج يعمل في ثلاث سيناريوهات مختلفة تمامًا من الواقع: الشبكات الذكية الصغيرة حيث يتم تبادل الطاقة بين الجيران، وسلاسل التوريد الصناعية حيث تطلب الآلات قطع الغيار، والمركبات المتصلة التي تدفع رسوم المرور. وفي كل حالة، نجح النظام في إخفاء المبالغ والهويات المعالجة مع الحفاظ على سرعة ورخص المعاملة.
إن أحد أهم النتائج هو أن النظام لا يتطلب من الأجهزة الصغيرة الوثوق بالخادم الطرفي بشأن أسرارها. فبينما يرى الخادم البيانات الخام لتوليد الإثبات، إلا أن النتيجة النهائية على البلوكشين تحتوي فقط على معلومات مشفرة وضمانات رياضية. وحتى لو تصرف الخادم بشكل غير نزيه، فلن يتمكن من تزوير إثبات صالح أو الكشف عن التفاصيل المخفية للمعاملة للجمهور. وقد تحقق الباحثون من أن النظام يحمي ضد محاولات ربط المرسل بالمستقبل أو تحديد مبلغ المعاملة، حتى لو راقب مراقب ما تدفق البيانات بالكامل. كما أظهروا أن النظام يمكنه التعامل مع الطبيعة المتقطعة لحركة مرور إنترنت الأشياء، حيث قد ترسل العديد من الأجهزة البيانات في نفس الوقت، وذلك من خلال الانتظار حتى تتكون دفعة صغيرة قبل المعالجة. وتسمح هذه المرونة للنظام بالتكيف مع الاحتياجات المختلفة، مثل التوقيت السريع المطلوب لتداول الطاقة أو الفترات الأطول المقبولة لتحديثات سلاسل التوريد.
كما استكشفت الدراسة المقايضات المتضمنة في هذا التصميم. فمن خلال زيادة حجم الدفعة، تنخفض تكلفة المعاملة الواحدة بشكل أكبر، ولكن الوقت الذي يجب أن ينتظره الجهاز لتأكيد معاملته يزداد قليلاً. وقد رسم الباحثون هذه العلاقة، موضحين أن حجم دفعة يبلغ 64 معاملة يوفر "نقطة مثالية" عملية، حيث يوازن بين التكلفة المنخفضة وأوقات التأكيد السريعة. وأكدوا أن النظام يظل آمنًا حتى لو تعرضت بعض الأجهزة للاختراق، طالما ظلت غالبية الشبكة نزيهة. ويمثل هذا العمل تحولاً من الخصوصية النظرية إلى النشر العملي، مما يثبت أنه يمكن تحقيق خصوصية عالية المستوى على أصغر الأجهزة وأكثرها قيودًا دون التضحية بأمن البلوكشين. ومن خلال نقل الحوسبة الثقيلة إلى الطرف وإبقاء دور الجهاز بسيطًا، يجعل نظام "أورا" من الممكن لمليارات المستشعرات والعدادات في المستقبل التفاعل مع البلوكشين بخصوصية وأمان واستدامة.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.