نبذة عن إثبات المعرفة الصفرية وحالات استخدامه في العملات المشفرة
هل سبق لك أن قدمت سجلاً ماليًا أو صحيًا ربما يحتوي على معلومات خاصة مُحرجة، فقط لإثبات قدرتك على تحمل قرض أو عدم وجود مشكلات كبيرة في جسمك؟ ماذا لو تمكنت من إظهار لهم أن تدفق دخلك ثابت ووافر، أو أنك بصحة جيدة دون الكشف عن أنك اشتريت للتو نوتيلا بقيمة 100 دولار، أو أنك أُصبت بكدمات في ركبتك أثناء السقوط من فوق الدراجة؟ وهذا مثال رئيسي - أيضًا حالة استخدام محتملة - لإثبات المعرفة الصفرية.
المقصود بإثبات المعرفة الصفرية
ربما خمنت من مثالنا أن إثبات المعرفة الصفرية (ZKP) عبارة عن طريقة أو عملية لإثبات صحة البيان دون الكشف عن البيان.
ولنفترض أنك انتهيت للتو من لعبة Wordle اليوم (نعم، لا يزال الناس يلعبون تلك اللعبة) قبل أن يتمكن أصدقاؤك من ذلك. وبدلاً من إخبارهم بالكلمة، كل ما عليك فعله هو مشاركة صورة نتيجتك في لعبة Wordle مع خمسة مربعات خضراء مستقيمة. وبهذه الطريقة، سيعرف كل من يشاهد الصورة أنك فهمت الكلمة بشكل صحيح ولكن لا أحد يستطيع معرفة ماهيتها إلا إذا كان يعرفها بالفعل. والأمر الأكثر فائدة هو أنه عليك فقط مشاركة هذه الصورة على تويتر مرة واحدة وسيعرف الجميع أنك قد قمت بحلها دون أي تفاعل إضافي معك (ليس عليهم حتى التعرف عليك). يُعرف هذا باسم إثبات المعرفة الصفرية ZKP غير التفاعلي، على عكس إثباتات المعرفة الصفرية (ZKP) التفاعلية، حيث يتعين على المحققين المشاركة في سلسلة من عمليات التبادل مع مسؤولي الإثبات لتحديد ما إذا كانوا مقتنعين أم لا.
وغني عن القول أن هذه الآلية المعقدة (التفاعلية وغير التفاعلية) ستؤدي إلى العديد من حالات الاستخدام الجديدة والمثيرة للاهتمام، خاصة في المجالات التي يتم فيها تقييم الخصوصية فوق معظم الأشياء الأخرى - تتبادر العملة المشفرة إلى الذهن. اثنان من أشهر التطورات في هذا المجال هما ZK-SNARKS وZK-starks.
zk-SNARKs مقابل zk-STARKs
يرمز ZK-snark إلى حجة المعرفة الموجزة غير التفاعلية للمعرفة، مع إبرازها في اللغة غير التفاعلية، مما يعني أنه يُمكن لأي شخص التحقق من العبارة دون التفاعل مع المُدقق. ويسمح هذا لشبكة البلوكتشين بالتحقق من ملكية الحسابات، بالإضافة إلى التأكد من أن المُرسل في معاملة معينة لديه رصيد كافٍ دون الكشف عن العناوين أو مبالغ المعاملات.
تقع المنحنيات الإهليلجية العشوائية في منتصف نموذج أمان ZK-Snarks. ويلزم أيضًا إعداد موثوق لبدء بروتوكول باستخدام ZK-SNARKS. يتضمن ذلك إنشاء مفاتيح خاصة تُستخدم لاحقًا لإنشاء أدلة للمعاملات وعمليات التحقق. ونتيجة لذلك، تتعرض ZK-SNARKS للهجمات الكمية وتسريبات المفاتيح الخاصة. ومع ذلك، يمكن لـ ZK-SNARKS تقليل أحجام الكتل واستهلاك الطاقة بشكل كبير وقد اكتسبت بالفعل مجتمعًا كبيرًا منذ إنشائها في عام 2012.
وقد تم تقديم ZK-starks، التي تعني حجة المعرفة الشفافة القابلة للتطوير للمعرفة الصفرية، في عام 2018. وكما يوحي الاسم، تُركز ZK-starks على قابلية التوسع والشفافية. كما تزداد أوقات الإثبات والتحقق في ZK-Snarks خطيًا مع حجم المُدقق، ولكن في حالة ZK-starks، فإنها تفعل ذلك بشكل شبه خطي، مما يجعلها أكثر مرونة عند التعامل مع مجموعات البيانات الكبيرة. تستفيد ZK-starks أيضًا من العشوائية ووظائف التجزئة التي يمكن التحقق منها علنًا، مما يعني أنها لا تتطلب إعدادًا أوليًا موثوقًا به وأنها مقاومة للكمية.
ومع ذلك، فإن ZK-starks تولد كتلًا أكبر بكثير وتتطلب قدرًا أكبر من قوة الحوسبة، مما يُترجم إلى مزيد من استهلاك الطاقة ووقت أطول للتحقق. كما تمتلك ZK-starks أيضًا عددًا أقل بكثير من المطورين والموارد المتاحة مقارنة بأخيها الأكبر.
ما حالات استخدام ZKP في العملات المشفرة؟
إثبات الهوية
لا يوجد مكان يحتوي على تركيز أعلى للبيانات الخاصة من معلومات الهوية لدينا. وبشكل تقليدي، يتطلب إثبات الهوية من المدقق - أنت - تقديم معلومات هويتك - كل شيء عنك، سواء أكان ذلك مناسبًا أم لا، بتفاصيل مروعة - إلى المدقق.
وباستخدام ZKPs، من ناحية أخرى، كل ما عليك القيام به هو إنشاء بيانات اعتماد تكون بمثابة دليل على ملكية وسلامة هويتك. ولا يحتاج المدققون إلا إلى إجراء بعض العمليات الحسابية للتحقق من صحة بياناتك الخاصة، بدلاً من الوصول إلى جميع معلوماتك الشخصية.
شجرة ميركل لإثبات الاحتياطات
شجرة ميركل هي شجرة ثنائية تحتوي على بيانات مُخزنة في أوراقها. وكل ورقة لها قيمة التجزئة الخاصة بها وستُفرز قيم التجزئة هذه إلى مجموعات (عقد) مختلفة لمزيد من التجزئة حتى تكون هناك قيمة واحدة فقط - التجزئة الجذرية.
ويحتاج المدققون فقط إلى أخذ قيم التجزئة من عدة عقد للتحقق من سلامة كل شيء في شجرة ميركل دون الغوص في بحر من 1 و 0. ويستخدم هذا على نطاق واسع في إثبات أن منصة التداول لديها أموال محجوزة كافية ولم تُنقل أموال المتداولين إلى مكان آخر لأغراض لا توصف.
لطالما أعطت منصة Bitget الأولوية لعملائنا، كما أن إثبات الاحتياطيات الخاص بشجرة ميركل متاح للجميع للتحقق منه: إثبات الاحتياطيات من منصة Bitget.
للحصول على مزيد من المعلومات حول دليل الاحتياطيات الخاص بشجرة ميركل، راجع مقدمتنا حول شجرة ميركل.
مجمعات المعرفة الصفرية
المجمع كما يوحي اسمه، عبارة عن حل توسيع يجمع مجموعة من المعاملات في واحدة. ويتيح هذا إجراء معاملات أسرع وأرخص بكثير من، على سبيل المثال، الشبكة الرئيسية لشبكة الإيثيريوم. ويوجد فصيلان في الحلول التراكمية للإيثيريوم: التفاؤل والمعرفة الصفرية. وسنُركز على الأخير في هذه المقالة.
وتعمل مجمعات المعرفة الصفرية (zk-rollups) على تشغيل العمليات الحسابية خارج السلسلة وتقديم إثبات الصلاحية فقط («ملخص» لجميع المعاملات المُجمعة) على السلسلة. وبمجرد التحقق من هذا الإثبات على السلسلة، سيتم إنهاء جميع المعاملات المتراكمة بضغطة واحدة.
يوجد العديد من اللاعبين الرئيسيين في حلول مجمعات المعرفة الصفرية (zk-rollup) من الإيثيريوم. أعلنت بوليجون أنه من المقرر إطلاق الإصدار التجريبي للشبكة الرئيسية لـ zKevm في أواخر شهر مارس. وفي محاولة لمواجهة بوليجون، فتح ZKSync - متسابق آخر - التسجيل للمطورين على «الشبكة الرئيسية» الخاصة بهم بعد يوم واحد فقط من إعلان بوليجون.
ومن بين المشاركين البارزين الآخرين في هذا السباق Loopring، وهي منصة تداول لامركزية توفر إنتاجية عالية وتكلفة تسوية منخفضة بالاستفادة من zk-rollup؛ Immutable X، وهو عبارة عن حل من الطبقة الثانية يُركز على الرموز غير القابلة للاستبدال (NFT) يوفر تجربة شبه فورية بدون رسوم طاقة مع مجمعات المعرفة الصفرية.
سجل الآن وابدأ التداولبوليجون، Loopring, Immutable X, Mina، وغيرها من المستكشفين الآخرين في مجال المعرفة الصفرية.
إخلاء المسؤولية: تُستخدم الآراء الواردة في هذه المقالة لأغراض معلوماتية فقط. ولا تُشكل هذه المقالة دعمًا لأي من المنتجات والخدمات المذكورة، كما أنها لا تقدم نصائح استثمارية أو مالية أو للتداول. ويجب استشارة المهنيين المؤهلين قبل اتخاذ القرارات المالية.
يُعد .
