Lightweight Verifiable Computation with Constant-Size Proofs for Sequential State Transitions
تقدم هذه الورقة مخططاً خفيف الوزن وقابلاً للتحديث للحوسبة القابلة للتحقق للانتقالات الحالة المتسلسلة، يستخدم عائلة برامج حسابية تربيعية قابلة للتحديث خطياً لتوليد براهين بحجم ثابت قدره 160 بايت مع أوقات إثبات وتحقق أسرع بكثير مقارنة بالطرق الحالية مثل Groth16 وNova.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في العالم الرقمي، تعتمد العديد من الأنظمة على سلسلة من الأحداث حيث تعتمد الحالة الراهنة كلياً على ما حدث من قبل. فكر في شبكة مستشعرات تراقب مصنعاً، أو دفتر حسابات مالي يسجل المعاملات، أو تدفق بيانات يتتبع صحة مريض. في كل حالة، تأخذ آلة حالة سابقة، وتطبق عليها معلومة جديدة، وتنتج نتيجة جديدة. تبرز المشكلة عندما لا تكون الآلة التي تقوم بالعمل موثوقة. إذا كان خادم (سيرفر) يحسب الخطوة التالية في تسلسل ما، فكيف يمكن لمراقب بعيد أن يتأكد من أن الحساب تم بشكل صحيح، أو أن الخادم لم يعد استخدام بيانات قديمة، أو أنه لم يبتدع ببساطة نتيجة تبدو صحيحة ولكنها في الواقع خاطئة؟ إن فحص الرقم النهائي وحده لا يكفي؛ بل يجب التحقق من التاريخ الكامل لكيفية الوصول إلى هذا الرقم. تقليدياً، كان التحقق من سلسلة طويلة من الحسابات يعني إعادة القيام بكل خطوة من البداية، وهي عملية تصبح أبطأ وأكثر تكلفة كلما طالت السلسلة.
لقد طور الباحثان هي-وون تشونغ وهيونبوم لي طريقة جديدة لحل هذه المشكلة المحددة للأنظمة التي تتطور خطوة بخطوة. يقدم عملهما، المنشور في مقال بحثي، وسيلة للتحقق من هذه التحديثات المتتالية دون إجبار المتحقق على إعادة حساب التاريخ بأكه. وبدلاً من معاملة كل خطوة جديدة كأحجية جديدة تماماً، يسمح نظامهم بتحديث إثبات الصحة بشكل تدريجي. تخيل مسافراً يعبر حدوداً؛ بدلاً من فحص كل ختم جواز سفر من بداية الرحلة في كل مرة يدخل فيها بلداً جديداً، يحتاج موظف الحدود فقط إلى فحص الختم الأخير والتحقق مما إذا كان قد أضيف بشكل مشروع إلى الختم السابق. لقد صمم الباحثان إطاراً رياضياً يجعل هذا ممكناً للحسابات الحاسوبية المعقدة، مما يضمن بقاء الإثبات صغيراً وعملية التحقق سريعة، بغض النظر عن عدد الخطوات التي مرت.
جوهر اكتشافهما هو عائلة جديدة من الهياكل الرياضية المصممة خصيصاً لهذه المهام المتتالية. في عالم الحوسبة القابلة للتحقق، توجد أدوات موجودة يمكنها إثبات صحة عملية حسابية واحدة، لكنها تواجه صعوبة عندما تكون العملية سلسلة طويلة من الخطوات الصغيرة. أحد الأساليب الشائعة يتطلب من الكمبيوتر الذي ينشئ الإثبات إعادة إثبات التاريخ بأكمله في كل مرة تُضاف فيها خطوة جديدة، مما يصبح عبئاً ثقيلاً. نهج آخر يستخدم تقنية تسمى "الطي" (folding)، والتي تجمع الخطوات معاً ولكنها غالباً ما تؤدي إلى ملفات إثبات كبيرة جداً بطيئة في الفحص. وجد تشونغ ولي طريقاً وسطاً؛ فقد صمما نظاماً يتم فيه بناء إثبات الخطوة الجديدة ببساطة عن طريق إضافة قدر صغير من المعلومات الجديدة إلى إثبات الخطوة السابقة. وهذا يعني أن الكمبيوتر الذي يقوم بالعمل لا يضطر أبداً للبدء من الصفر، والشخص الذي يتحقق من العمل لا يضطر أبداً للنظر في التاريخ بأكمله مرة أخرى.
اختبر الفريق طريقتهم على مجموعة متنوعة من السيناريوهات الواقعية، بما في ذلك دمج البيانات من مستشعرات متعددة، وإجراء عمليات رياضية محددة على المتجهات، وتشغيل السلاسل التشفيرية المستخدمة في الأنظمة الآمنة. قاموا بتشغيل هذه الاختبارات على جهاز Raspberry Pi 5، وهو كمبيوتر صغير ومنخفض التكلفة يُستخدم غالباً كبوابة للأجهزة الطرفية، لمعرفة كيفية أداء النظام في بيئة محدودة الموارد. كانت النتائج مذهلة؛ فقد أنتجت طريقتهم إثباتات بحجم 160 بايت فقط، وهو حجم ضئيل جداً مقارنة بـ 11,500 إلى 12,500 بايت التي تتطلبها الطريقة البديلة الرائدة. علاوة على ذلك، كان الوقت المستغرق للتحقق من الإثبات سريعاً بشكل ملحوظ، حيث استغرق ما بين 11.6 و28.9 ميلي ثانية. في المق المقابل، استغرقت الطريقة البديلة ما يقرب من 250 ميلي ثانية للتحقق من إثبات واحد. وعندما تعلق الأمر بإنشاء الإثبات، كان نظامهم أسرع بكثير من الطريقة التقليدية لإعادة إثبات السلسلة بأكمل ت من البداية، خاصة مع نمو عدد الخطوات.
أحد أهم جوانب هذا العمل هو ما لا يتطلبه. فقد تجنب الباحثون صراحةً استخدام تقنية تسمى "تركيب الإثبات التكراري" (recursive proof composition)، وهي طريقة شائعة للتعامل مع سلاسل الحسابات الطويلة ولكنها معروفة بأنها مكلفة حاسوبياً وبطيئة. ومن خلال تجاوز هذا التعقيد، حققوا نظاماً يتسم بالخفة والكفاءة. ومع ذلك، فإن للنظام حداً معيناً؛ فهو مصمم لعدد ثابت من الخطوات، يُعرف بـ "الحد" (bound)، والذي يجب تقريره قبل بدء النظام. وهذا يعني أن النظام هو الأنسب لفترات تشغيل محددة، مثل نافذة مراقبة معينة أو فترة تدقيق، وليس لتدفق مستمر ولا نهائي من البيانات. كما أشار الباحثون إلى أن النظام لا يخفي البيانات التي تتم معالجتها، بل يثبت فقط أن البيانات تمت معالجتها بشكل صحيح وفقاً للقواعد.
إن تداعيات هذا العمل كبيرة لمستقبل الأنظمة الموزعة والآمنة. فمع عمل المزيد من الأجهزة والخدمات في بيئات غير موثوقة، تصبح القدرة على التحقق من سلامة البيانات دون تكاليف حاسوبية باهظة أمراً بالغ الأهمية. تسمح هذه الطة الجديدة بسيناريو يمكن فيه لجهاز صغير ومنخفض الطاقة إنشاء إثبات لعمله، ويمكن لمتحقق عن بُعد التحقق من هذا الإثبات فوراً تقريباً، بغض النظر عن مقدار العمل الذي تم في هذه الأثناء. لقد أثبت الباحثون أن هذا النهج ليس مجرد تحسين نظري بل هو عملي، وقادر على العمل بكفاءة على الأجهزة العادية. ومن خلال الحفاظ على حجم إثبات ثابت ووقت تحقق قصير، فقد فتحوا الباب أمام طرق أكثر قوة وكفاءة للوثوق بالأنظمة الرقمية التي تتطور بمرور الوقت.
في تجاربهم، قارن الفريق طريقتهم بمنهجين رئيسيين آخرين. أحدهما كان الطريقة القياسية التي تعيد إثبات التاريخ بأكمله عند كل خطوة، والآخر كان طريقة أحدث تعتمد على "الطي". ضد الطريقة القياسية، كانت طريقتهم أسرع بمقدار يصل إلى 2.7 مرة في إنشاء الإثباتات عند الخطوة الأخيرة من تسلسل طويل. وضد طريقة "الطي"، كانت إثباتاتهم أصغر بنحو 72 إلى 78 مرة، وكان التحقق أسرع بنحو 20 مرة. تشير هذه الأرقام إلى أنه بالنسبة للتطبيقات التي تكون فيها السرعة وحجم البيانات الصغير أمراً بالغ الأهمية، مثل مراقبة المستشعرات في الوقت الفعلي أو دفاتر الحسابات الآمنة، فإن هذه الطريقة الجديدة توفر ميزة واضحة. ويقر الباحثون بأنه بالنسبة للتسلسلات القصيرة جداً أو للتطبيقات التي تتطلب سلاسل حسابية غير محدودة ولا نهائية، قد تظل الطرق الأخرى مفضلة. ولكن بالنسبة للحالة المحددة والشائعة للانتقالات المتتالية والمحدودة للحالة، فقد قدموا حلاً يتسم بالخفة والقابلية للتحقق.
يسلط العمل أيضاً الضوء على أهمية "مرتكزات الثقة" (trust anchors) في هذه الأنظمة. فلكي يكتمل التحقق، يجب أن يبدأ المتحقق بسجل موثوق للحالة الأولية. إذا تم اختراق نقطة البداية هذه، فإن سلسلة الثقة بأكملها يمكن أن تنكسر. كان الباحثون واضحين بشأن هذا القصور، مشيرين إلى أن نظامهم يفترض أن الحالة الأولية حقيقية وأن المتحقق يحتفظ بسجل آمن لآخر حالة مقبولة. وهذا افتراض معقول للعديد من عمليات النشر في العالم الحقيقي حيث يمكن لسلطة موثوقة أو سجل آمن توفير ذلك المرتكز الأولي. ومن خلال صياغة هذه المتطلبات وبناء نظام يعمل ضمنها، أنشأ الباحثون أداة جاهزة للتطبيق العملي في مجالات تتراوح من إنترنت الأشياء إلى التدقيق المالي.
في نهاية المطاف، يمثل هذا البحث تحولاً في كيفية تفكيرنا في التحقق من العمليات الرقمية المعقدة والمتطورة. إنه ينتقل من فكرة أن التحقق يجب أن يكون مهمة ثقيلة ومتكررة إلى نموذج يكون فيه التحقق خطوة خفيفة وتدريجية. لقد أظهر الباحثون أنه من الممكن الحفاظ على مستوى عالٍ من الأمن والنزاهة دون التضحية بالأداء أو القابلية للتوسع. إن العالم الذي يعتمد بشكل متزايد على الأنظمة المؤتمتة التي تعمل في بيئات غير موثوقة، ستكون طرق مثل هذه ضرورية لضمان بقاء الحالة الرقمية لعالمنا دقيقة وموثوقة. إن النتائج ليست مجرد فضول نظري، بل هي خطوة ملموسة نحو جعل الحوسبة القابلة للتحقق واقعاً عملياً للتقنيات اليومية.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.