ما هو إثبات المعرفة الصفرية (ZKP)؟
إثبات المعرفة الصفرية ZKP هو طريقة لإثبات أن شيئاً ما صحيح دون الكشف عن ما وراءه. فكر في إظهار أنك تعرف كلمة مرور دون كتابتها، أو تأكيد أنك تبلغ 21 عاماً دون عرض تاريخ ميلادك. أجواء سحرية وجذور رياضية.
ZKPs تُخفي كل شيء، لذا فهي لأداء سلوكي خفي. ليس تماماً كذلك. يثبت ZKP عبارة محددة تعرفها، ويمكن للمحقق فحصها بدقة دون رؤية أسرارك.
كيف يعمل إثبات المعرفة الصفرية (ZKP)
جولة سريعة مع مثال ودي. تريد إثبات أن لديك أموالاً كافية لتجارة دون كشف رصيدك.
- الخطوة 1: تختار عبارة مثل رصيدي لا يقل عن X وتلتزم ببياناتك المخفية مع العشوائية.
- الخطوة 2: تصنع دليلاً من تلك البيانات المخفية بالإضافة إلى معلومات عامة، مُشكلًا بحيث يصح الحساب.
- الخطوة 3: ترسل الدليل إلى المُحقّق، لا السر.
- الخطوة 4: يقوم المحقق بإجراء فحص إما بالقبول أو بالرفض. لا التلصّص على رصيدك.
- الخطوة 5: إذا قبل، يمكن لأي شخص إعادة فحص نفس الدليل لاحقاً دون التحدث إليك مرة أخرى.
تحت الغطاء يعتمد على رياضيات جادة التشفير. نعم، الرياضيات تحافظ على الإثباتات.
لماذا يهم إثبات المعرفة الصفرية (ZKP)
فلماذا يجب أن تهتم؟ ثلاث زوايا سريعة.
- الفائدة: اثبت ما تحتاجه واحتفظ بالباقي لنفسك. تقليل التسريبات، تقليل الخطر.
- المنظور: تطبيقات البيانات الأقل تعقيداً تبدو حديثة، كأن رولكس تلتقي سلاسل Reddit. شارك فقط ما هو ضروري.
- الأهمية: سترى ZK في الـrollups، والتحويلات الخاصة، وفحوصات الهوية على أي سلسلة الكتل جادة.
عندما تسمع أن هذا التطبيق يستخدم ZK، اطلب شيئين. ما الذي يتم إثباته بالضبط، وهل كانت هناك حاجة لإعداد موثوق. أيضاً، إذا كنت تهتم بسيطرة البيانات، فإن ZK يتوافق جيداً مع ممارسات الخصوصية القوية خارج الإثبات أيضاً.
الخصائص الرئيسية لإثبات المعرفة الصفرية (ZKP)
ما الذي يجعلها مميزة، بلغة بسيطة.
- خصوصي: يتعلم المحققون أن العبارة صحيحة دون معرفة سرّك.
- مختصر: قد تكون الإثباتات صغيرة وسريعة الفحص، حتى على السلسلة.
- سريع: التحقق أخف من إعادة حساب كامل.
- قابل للتركيب: يمكنك تكديس الإثباتات أو تجميع العديد من الفحوص في واحد.
- قابلية التوسعة: هذا يساعد على قابلية التوسع بنقل العمل الثقيل بعيداً عن المحقّقين مع الحفاظ على الصحة.
البدائل
نكهات مختلفة تناسب وظائف مختلفة.
- SNARKs: إثباتات قصيرة، تحقق سريع، غالباً ما تحتاج إلى إعداد موثوق.
- STARKs: لا حاجة لإعداد موثوق، إثباتات أكبر، وديّة لأبحاث ما بعد الكم.
- Bulletproofs: رائعة لفحوص النطاق، شائعة في الكميات الخاصة.
- Sigma: أسلوب تفاعلي كلاسيكي، يُدرس في العديد من الدورات.
ي لا تؤمن ZKP تطبيقك بمفردها. إذا كانت عبارتك ضعيفة جداً أو إعدادك فاشل، يمكن أن يكون الدليل صحيحاً ولكنه غير مفيد. صمِّم العبارة بعناية.
مثال
مدينة تدير تصويتاً حيث المصوّتون يُثبتون أهليتهم ولم يصوتوا بعد، بينما تبقى هوياتهم مخفية عن العدّ العام.
معلومة ممتعة
النكتة الحزبية الكلاسيكية لشرح ZK تستخدم كرتين متماثلتين اللون وتجربة غشاوة لإظهار أنك تستطيع تمييزهما دون كشف أيهما أيهما. منطقية، لكنها فعالة.
الختام
في سطر واحد، إثبات المعرفة الصفرية ZKP هو إثبات دون الإفراط في المشاركة، بحيث يمكنك القول أنا أستطيع إثباته دون إظهاره.