فهم تشبيه حديقة الحيوان الخاص بـ zkSync لإثباتات المعرفة الصفرية

وفقًا لـ PANews، أصدرت zkSync مؤخرًا رسمًا توضيحيًا تعليميًا باستخدام تشبيه حديقة الحيوان لشرح مفهوم إثباتات المعرفة الصفرية. يقارن هذا التشبيه حديقة الحيوان بالدائرة، والحيوانات ذات المهارات الخاصة بالبوابات المنطقية، وصورة جماعية للحيوانات السعيدة بالدليل. ومن خلال إدخال البيانات في الدائرة دون الكشف عن محتوى محدد وإجراء حسابات معقدة، يتم إنشاء إثبات، مما يكمل عملية إثبات المعرفة الصفرية. في تشبيه حديقة الحيوان، تتوافق الدائرة مع سلسلة من قيود البوابة المنطقية (الجمع والطرح والضرب والقسمة وما إلى ذلك) التي تجمع قدرات جميع الحيوانات. يجب أن تكون البيانات التي يتم تمريرها إلى الدائرة قابلة للتنفيذ ضمن صيغ مختلفة. في بيئة الطبقة الثانية، يمكن تحويل البيانات مثل تجزئات المعاملات والحسابات وأرصدة البيانات إلى صيغ للحساب. تمثل الحيوانات المختلفة في حديقة الحيوان بوابات منطقية مختلفة. على سبيل المثال، تتمتع الحمير الوحشية بالقدرة على مقارنة ما إذا كان رقمان متساويان، وتمثل التماسيح "أقل من"، وتمثل العناكب بوابات أكثر تعقيدًا متعددة الاختيارات. تمثل الحيوانات المختلفة صيغًا حسابية مختلفة، وتشير سعادتها أو حزنها إلى بنية حساب الصيغة. يتم إنشاء دائرة معقدة بواسطة حيوانات مختلفة (بوابات منطقية) وصناديق (قواعد). عندما يتم إثبات صحة الصيغة، تصبح الحيوانات مثل الحمير الوحشية واليرقات سعيدة، ويتم إنشاء دليل على الصيغة. لضمان مصداقية الإثبات، تم إدخال حيوان خاص يسمى Zeek باعتباره المدقق في نظام الطبقة 2. يمكن لـ Zeek ملاحظة ما إذا كانت الحيوانات الأخرى سعيدة أم لا، وإذا كانت كذلك، يتم التحقق من الدليل وتحميله على الشبكة الرئيسية للتأكيد النهائي. تشبه عملية التقاط صورة جماعية إنشاء إثباتات SNARK أو التزامات KZG، في حين أن الفيلم المطبوع يعادل إثباتات STARK/SNARK. يمثل زوار حديقة الحيوان معاملات فردية، وفقط عندما تكون الحيوانات سعيدة وتلتقط صورة جماعية، يتم إنشاء دليل وتأكيده على blockchain. ومع ذلك، لا يمكن لجميع الحيوانات في حديقة الحيوان أن تكون سعيدة وتعمل وفقًا لقواعد محددة مسبقًا في نفس الوقت، مما يؤدي إلى الازدحام والأخطاء وانتقالات الحالة غير الصالحة. تؤدي هذه المواقف إلى ظروف غير مقيدة، مما يجعل من المستحيل اجتياز عملية التحقق النهائية.