دليل عدم المعرفة (Zero-knowledge proof)

الخصوصية: هل سمعت بها من قبل؟ يعمل علماء الكمبيوتر على إتقان أداة تشفير لإثبات شيء ما دون الكشف عن المعلومات التي يقوم عليها الدليل. يبدو الأمر لا يصدق ولكنه ليس مستحيلًا بمجرد أن تفهم المفهوم وحقيقة أنه أكثر تعقيدًا بعض الشيء من قول “تعال يا أخي، أنت تعلم أنني جيد في هذا الأمر”.
اسمحوا لي بتبسيط الأمر: لدى بوب صديقة عمياء تدعى أليس وكرتان رخاميتان بلونين مختلفين، متطابقتان في الشكل والحجم. تضع أليس الكرتين خلف ظهرها وتظهر إحداهما لبوب. ثم تفعل ذلك مرة أخرى، إما بتغيير الكرة أو إظهار نفس الكرة مرة أخرى، وتسأله عما إذا كانت هي نفس الكرة التي عُرضت أولاً. إذا كان بوب يخمن ما إذا كانت هي نفسها أم لا، فستكون لديه فرصة 50/50 للإجابة بشكل صحيح، لذا تفعل ذلك مرة أخرى. ومرة ​​أخرى. ولأن بوب يرى الألوان، فإنه يصيب في كل مرة، وتتضاءل فرصة أن يكون محظوظًا. بهذه الطريقة، تعرف أليس أن بوب يعرف أي الرخام الأصلي (ولونه)، دون أن تعرف لون أي من الرخام. بوم، دليل على عدم المعرفة. ZNP هو هذا المفهوم، المطبق رقميًا على الخوارزميات المعقدة.

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