هل يمكن لإثباتات المعرفة الصفرية استعادة الثقة في بلوكتشين؟

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

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

ماذا تعني إثباتات المعرفة الصفرية (Zk-Proofs)؟

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

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

كيف تعمل بروفات ZK؟

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

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

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

أمثلة وحالات تطبيق إثبات المعرفة الصفرية

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

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

في الوقت الحالي، يوجد نوعان فرعيان رئيسيان من تقنية إثبات ZK في مجال blockchain – مجموعات ZK و ZK snarks. 

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

ثانيًا، يمكن لتجميع ZK دمج آلاف بيانات المعاملات في معاملة واحدة تم التحقق منها. يقلل نهج قابلية التوسع هذا بشكل كبير من تأثيرات تشبع الشبكة، مما يفيد أي شبكة blockchain في العالم تقريبًا.  

غالبًا ما يكون ZK-Snarks وZK-Rollups مترادفين، حيث تميل الشركات إلى استخدام كلا المفهومين لتحقيق أقصى قدر من الأمان دون التضحية بقدرتها على التوسع. أشهر مثال على تنفيذ ZKP في الحياة الواقعية هو Polygon ZkEVM، الذي يشجع على اعتماد نهج المعرفة الصفرية على نطاق واسع. ومع ذلك، نظرًا لتعقيدها، تواجه ZKP العديد من العقبات ويصعب تحقيق تعميمها على نطاق واسع. بالإضافة إلى ذلك، لم يتم اختبار ZKP للتأكد من صلاحيته على المدى الطويل، مما يجعل بعض الشركات مترددة في تنفيذ هذا النهج في شبكاتها القائمة.  

مزايا إثبات ZK في أنظمة blockchain

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

الأمان والخصوصية

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

أما بالنسبة للخصوصية، فيمكن استخدام ZKPs لإثبات هويتك الفريدة دون الكشف فعليًا عن كامل المعلومات الحساسة المحيطة بملفك الشخصي. على سبيل المثال، يمكن للأفراد إثبات شرعيتهم للبنوك وشركات الوساطة المالية وشبكات blockchain والكيانات الأخرى دون الكشف عن معلوماتهم الخاصة.

سهولة الاستخدام

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

قابلية التوسع

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

الأفكار النهائية: هل يستطيع ZK-Proof حفظ التشفير؟

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