إثباتات المعرفة الصفرية تنتقل من تخصص التشفير إلى الحوسبة اليومية

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

يحاول فريق في Microsoft Research تغيير ذلك من خلال مشروع يسمى Magnetar. وفقًا لمنشور حديث من المختبر، تم تصميم النظام لجلب إثباتات المعرفة الصفرية إلى التيار الرئيسي من خلال دعم لغات البرمجة القياسية، حتى لا يحتاج المطورون إلى تعلم لغة إثبات مخصصة أو إعادة كتابة الكود الخاص بهم من الصفر. ويذكر الفريق مكاسب كبيرة في السرعة إلى جانب هذا العمل على سهولة الاستخدام.

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

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

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

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

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

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