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

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

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

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

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