الصفحة الرئيسية
قاموس المُصطلحات
إثبات المعرفة الصفرية (zk-SNARKs)

إثبات المعرفة الصفرية (zk-SNARKs)

متقدم
يوجد نوعان شهيران من إثباتات المعرفة الصفرية، التي يُشار إليها أيضًا في بعض الأحيان إلى بروتوكولات المعرفة الصفرية، وهما – حجة المعرفة الموجزة غير التفاعلية الصفرية (SNARK) وحجة المعرفة الشفافة القابلة للتطوير الصفرية (STARK). يُعد إثبات المعرفة الصفرية طريقة للتحقق مشفرة يمكن لأحد الطرفين (المُثبت) بموجبها أن يثبت للطرف الآخر (المُحقق) صحة عبارة أو بيان ما بدون الحاجة إلى تقديم أية معلومات داعمة بعيدة عن حقيقة كون العبارة أو البيان صحيحًا بالفعل.
يشير مصطلح zk-STARK إلى "حجة المعرفة الشفافة القابلة للتطوير والمعرفة الصفرية"، وكان من ابتكرها إيلي بن ساسون، الأستاذ بمعهد التخنيون - معهد إسرائيل للتكنولوجيا. وعلى عكس حجج المعرفة الموجزة غير التفاعلية الصفرية (zk-SNARKs) التي تعتمد على إعداد أولي موثوق بين المُثبت والمُحقق، لا تتطلب حجج المعرفة الشفافة القابلة للتطوير الصفرية (zk-STARKs) إعدادًا أوليًا موثوقًا، حيث تعتمد على تشفير ضعيف من خلال دوالّ التجزئة المقاومة للتصادم، ويزيل هذا النهج أيضًا الافتراضات النظرية العددية لحجج المعرفة الموجزة غير التفاعلية الصفرية (zk-SNARKs) المكلفة من الناحية الحسابية، ومن الناحية النظرية يمكن أن تكون عُرضة لهجمات الحواسيب الكمية.
بعبارة بسيطة، تقدم حجج المعرفة الشفافة القابلة للتطوير الصفرية (zk-STARKs) هيكلًا أكثر سلاسة وبساطة من حيث الافتراضات التشفيرية، ومع ذلك، يشوبها عيب كبير وهو الحجم الكبير للإثبات فيكون عادةً 10-100 مرة أكبر من حجم الإثبات الخاص بحجج المعرفة الموجزة غير التفاعلية الصفرية (zk-SNARKs)، وهذا الفارق في حجم البيانات يجعل تكلفتها أكبر وقد يفرض قيود عند استخدام التكنولوجيا لإرسال حوالة وذلك في ما يخص العملات الرقمية وغيرها من الاستخدامات.

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

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