Zk-SNARKs

ما هي تقنية Zk-SNARKs؟

Zk-SNARKs اختصار لعبارة Zero-Knowledge Succinct Non-Interactive Knowledge Argument (حجة معرفة موجزة غير تفاعلية بلا إثبات معرفة). تساعد هذه التقنية على بناء الثقة أثناء التفاعل على سلسلة الكتل (بلوك تشين)، وتُسرّع بشكل كبير عملية التحقق من المعاملات مع إخفاء المعلومات عن الأعين المتطفلة.

خصائص Zk-SNARKs

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

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

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

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

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

ومن غير الممكن للمُثبِت تقديم إثبات أو حجة دون معرفة فعلية. وتُخزّن تقنية Zk-SNARKs إثبات المعاملة فقط على عقدة سلسلة الكتل، ما يحمي المُرسل والمُستقبل وبيانات المعاملة الأخرى.