ما هي إثباتات المعرفة الصفرية (ZKP) و zkSNARK؟
إثبات المعرفة الصفرية (ZKP) أسلوب تشفيري يتيح لطرف، هو المُثبِت (prover)، إقناع طرف آخر، هو المُتحقِّق (verifier)، بأن عبارةً ما صحيحة دون كشف أي معلومة سوى صحة تلك العبارة ذاتها. وعلى كل ZKP أن يحقق ثلاث خصائص: الاكتمال (تُقبَل العبارة الصحيحة)، والسلامة (تُرفَض العبارة الكاذبة بشبه يقين)، والمعرفة الصفرية (لا يعرف المُتحقِّق أي شيء إضافي). وفي العملات المشفّرة، تُمكِّن إثباتات ZKP المعاملات السرّية وتوسعة الطبقة الثانية.
إثبات المعرفة الصفرية (Zero-Knowledge Proof, ZKP) من أقوى أدوات التشفير الحديثة، وهو جوهري لخصوصية العملات المشفّرة وقابليتها للتوسّع معاً. وفكرته الأساسية تخالف الحدس: يمكنك إثبات معرفتك بمعلومة دون كشف المعلومة نفسها.
ما هو
إثبات المعرفة الصفرية أسلوب يتيح للمُثبِت إقناع المُتحقِّق بأن عبارةً ما صحيحة دون كشف أي معلومة سوى صحة تلك العبارة. ومن التشبيهات الكلاسيكية: إثبات معرفتك بكلمة مرور دون نطقها.
الخصائص الثلاث الأساسية
على كل إثبات معرفة صفرية أن يحقق:
- الاكتمال (Completeness): إذا كانت العبارة صحيحة، يقبلها المُتحقِّق النزيه.
- السلامة (Soundness): إذا كانت العبارة كاذبة، فلن يستطيع حتى المُثبِت غير النزيه خداع المُتحقِّق إلا بشبه استحالة.
- المعرفة الصفرية (Zero-knowledge): لا يعرف المُتحقِّق شيئاً سوى أن العبارة صحيحة.
zkSNARK و zkSTARK
نظاما الإثبات المهيمنان في العملات المشفّرة هما zkSNARK و zkSTARK. وكلاهما يُنتج إثباتات صغيرة جداً يتحقق منها البلوكتشين أسرع بكثير من إعادة تشغيل الحساب الأصلي. ويحتاج zkSNARK إلى إعداد موثوق (trusted setup) لكن إثباته أصغر، بينما لا يحتاج zkSTARK إلى إعداد موثوق ويتمتع بمقاومة للحوسبة الكمّية.
لماذا هي مهمة
تُمكِّن إثباتات ZKP المعاملات السرّية (على غرار خصوصية مونيرو و Zcash) وتوسعة الطبقة الثانية القائمة على تجميع ZK (ZK rollups). فتجميعات ZK تضغط آلاف المعاملات في إثبات واحد يُنشَر على الطبقة الأولى، ما يخفّض التكلفة كثيراً مع الحفاظ على الأمن.
| الخاصية | التفصيل |
|---|---|
| التعريف | إثبات الصحة دون كشف المعلومة |
| الخصائص الأساسية | الاكتمال · السلامة · المعرفة الصفرية |
| الأنظمة الرئيسية | zkSNARK، zkSTARK |
| الاستخدام | معاملات سرّية، الطبقة الثانية (تجميعات ZK) |
منظور COINOTAG
بالنسبة إلى COINOTAG، تُعدّ إثباتات المعرفة الصفرية تقنية محورية لتقييم عملات الخصوصية وحلول التوسعة من الجيل التالي. فالمشاريع التي تتبنّى تقنية ZK تسعى إلى توسعة عالية الكفاءة وخصوصية قوية في آنٍ واحد، وهو ما يمثّل إشارة مهمة على القدرة التنافسية التقنية على المدى الطويل.