Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications
تقترح هذه الورقة منهجية قابلة للتوسع باستخدام إطار عمل Plonky2 لإنشاء والتحقق من براهين المعرفة الصفرية لتجزئة SHA-256 في تطبيقات البلوكشين، مما يظهر أداءً فعالاً وأحجام براهين يمكن التحكم بها لكل من بيانات بلوكشين NEAR العشوائية والحقيقية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
إليك شرح للورقة البحثية باستخدام لغة بسيطة وتشبيهات إبداعية.
المشكلة الكبرى: البلوكشين "أكبر من أن يُفحص"
تخيل سجلًا رقميًا عالميًا ضخمًا (بلوكشين) حيث يكتب فيه الجميع معاملاتهم. ومع انضمام المزيد من الناس، يصبح السجل ضخمًا جدًا. وللحفاظ على أمانه، يجب على كل كمبيوتر في الشبكة إعادة حساب كل معاملة بمفردها للتأكد من عدم وجود غش.
التشبيه: فكر في الأمر كفصل دراسي يضم 1000 طالب. إذا طلب المعلم من الجميع فحص كل مسألة رياضية في كل ورقة واجب لكل طالب، فلن ينتهي الفصل أبدًا. الأمر بطيء جدًا، والمعلم (البلوكشين) يصبح مثقلًا بالأعباء. هذه هي مشكلة القابلية للتوسع (Scalability problem).
الحل: "المظروف السحري" (براهين المعرفة الصفرية - Zero-Knowledge Proofs)
تقترح الورقة حلاً يسمى براهين المعرفة الصفرية (ZKPs).
التشبيه: تخيل أنك تريد أن تثبت لصديقك أنك تعرف كلمة السر لخزنة ما، لكنك لا تريد إخباره بكلمة السر.
- الطريقة القديمة: تخبره بالأرقام، ثم يقوم هو بفحص الخزنة. (آمن، لكنك كشفت سرك).
- طريقة ZKP: تضع كلمة السر في "مظروف سحري". تهز المظروف، فيصدر صوتًا محددًا فقط إذا كانت كلمة السر صحيحة. يسمع صديقك الصوت ويعرف أنك تملك كلمة السر الصحيحة، لكنه لا يرى أو يسمع الأرقام أبدًا.
في عالم البلوكشين، يعني هذا أن الكمبيوتر يمكنه إثبات "لقد أجريت الحسابات بشكل صحيح"، دون إظهار البيانات الفعلية أو مفاتيح السر. هذا يوفر وقتًا هائلاً لأن الشبكة تحتاج فقط إلى فحص "صوت المظروف"، وليس إعادة إجراء المسألة الرياضية بأكملها.
المهمة المحددة: قفل "SHA-256"
ركز الباحثون على نوع معين من الرياضيات يسمى SHA-256.
التشبيه: فكر في SHA-256 كآلة بصمات فريدة. تضع أي قطعة من الورق (بيانات) في الداخل، فتخرج ملصقًا صغيرًا وفريدًا (هاش - Hash). إذا غيرت حرفًا واحدًا على الورقة، سيتغير الملصق تمامًا. تستخدم البلوكشين هذه الملصقات للتأكد من أن البيانات لم يتم التلاعب بها.
تساءل الباحثون: هل يمكننا استخدام "المظروف السحري" الخاص بنا لإثبات أننا صنعنا البصمة بشكل صحيح، دون إظهار الورقة الأصلية؟
الأداة: "Plonky2" (المصنع فائق السرعة)
لبناء هذه المظاريف السحرية، استخدموا أداة تسمى Plonky2.
التشبيه: تخيل مصنعًا يبني هذه المظاريف. بعض المصانع بطيئة وغير منظمة. أما Plonky2 فهو مثل مصنع سيارات فورمولا 1. لقد صُمم ليكون سريعًا وفعالاً للغاية، باستخدام خط تجميع خاص (يسمى بروتوكول PLONK) ونظام توصيل فائق السرعة (يسمى FRI).
التجربة: ورق عشوائي مقابل الواقع
اختبر الباحثون مصنعهم بطريقتين:
- بيانات عشوائية: قاموا بتغذية المصنع بقصاصات ورق عشوائية بأحجام مختلفة (من ملاحظة صغيرة إلى رواية كاملة).
- بيانات حقيقية: قاموا بتغذية المصنع بصفحات فعلية من شبكة NEAR Blockchain (سجل رقمي حقيقي يعمل). احتوت هذه الصفحات على معاملات حقيقية، بعضها يحتوي على 50 صفقة وبعضها يقترب من 200 صفقة.
النتائج: سريعة، صغيرة، وموثوقة
إليك ما وجدوه، مترجمًا إلى مصطلحات يومية:
- السرعة: كان فحص "المظروف السحري" سريعًا بشكل مذهل. حتى بالنسبة لكتلة كبيرة من البيانات، استغرق التحقق حوالي 0.004 ثانية.
- التشبيه: إنه أسرع من الوقت الذي تستغرقه لرمشة عينك.
- الحجم: كانت المظاريف نفسها صغيرة. حتى بالنسبة للبيانات الكبيرة، كان حجم البرهان يقارب حجم ملف نصي صغير (أقل من 200 كيلوبايت).
- التشبيه: بدلًا من إرسال مكتبة كاملة عبر البريد لتثبت أن كتابًا ما حقيقي، أنت ترسل فقط بطاقة بريدية صغيرة تثبت ذلك.
- الاتساق: لم يهم إذا كانت البيانات عشوائية أو حقيقية؛ فقد عمل المصنع بنفس الكفاءة.
- التشبيه: سواء وضعت سيارة لعبة أو سيارة حقيقية في الماسح الضوئي، فإن الآلة تعمل بشكل مثالي.
لماذا يهم هذا الأمر؟
تثبت هذه الورقة أنه يمكننا جعل البلوكشين فائق السرعة وفائق الخصوصية في نفس الوقت.
الخلاصة النهائية:
تخيل بنكًا يمكنك فيه إثبات امتلاكك ما يكفي من المال لشراء منزل دون الكشف عن رصيدك البنكي، أو اسمك، أو عنوانك. وتخيل أن البنك يمكنه التحقق من هذا الإثبات في الوقت الذي تستغرقه لفرقعة أصابعك.
تظهر هذه الأبحاث أنه باستخدام أدوات مثل Plonky2، نحن نقترب من تحقيق هذا الواقع. إنها تحل مشكلة "الأكبر من أن يُفحص" من خلال السماح لنا بالتحقق من العمل دون القيام بالعمل نفسه، مما يجعل مستقبل الأموال الرقمية أسرع، وأكثر أمانًا، وأكثر خصوصية.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.