إثباتات المعرفة الصفرية

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

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

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