
تم الخلط بين العديد من الأشخاص بعد قراءة صور ونصوص حديقة الحيوانات المنشورة حديثًا من Zksync ، ومقارنة حديقة الحيوان إلى دائرة الدائرة ، ومعاملة الحيوانات بمهارات خاصة مثل “بوابة المنطق” ، والتقاط صور للحيوانات بسعادة على أنها “دليل” ، لذلك يتم إكمال إدخال البيانات إلى الدائرة من خلال سلسلة من الحسابات المعقدة دون الكشف عن المحتوى المحدد ، ويتم الانتهاء من عملية إثبات المعرفة الصفرية.هيا ، سأحاول جاهدة أن أشعرا:
حديقة الحيوان تتوافق مع “الدوائر” عنصر أساسي يشكل جهاز كمبيوتر.لذلك ، يمكن إدراج “البيانات” التي تم تمريرها إلى الدائرة في صيغ مختلفة وعمليات تنفذها.
في بيئة Layer2 ، هناك بعض قيم تجزئة المعاملات ، وأرصدة البيانات ، وما إلى ذلك. يمكن تحويل هذه البيانات إلى صيغ للحساب. الصيغ.
البوابات المنطقية في الدوائر المقابلة للحيوانات ، في وضع حديقة الحيوان ، هي: صناديق خشبية تمثل أرقامًا غير معروضة علنًا ، تسمى “المتغيرات” ؛ الحجر – رقم يمثل رقمًا لا يطاق ، يعتبر “ثابتًا” ؛
لدى Zebras القدرة على مقارنة ما إذا كان الرقمين “متساويين” ، وسيكون الحمار الوحشي سعيدًا إذا كان مساوًا ؛ ؛تمثل الحيوانات المختلفة الإضافة والطرح والضرب والتقسيم المختلفة ، والحيوانات سعيدة أو حزينة لتمثيل هيكل عمليات الصيغة.
يتم دمج العديد من الحيوانات + أنواع مختلفة من الصناديق في دائرة. أخيرًا ، دعنا نتحقق مما إذا كانت الصيغة صالحة.لاحظ أنه لا داعي للقلق بشأن سبب قدرة الحيوانات المختلفة على قدرات مختلفة.
الدائرة المعقدة هي بناء جميع أنواع الحيوانات (البوابات المنطقية) والمربعات (القواعد).
لنفترض أن Formula 2x+3 = y تم إدخاله الآن صحيحًا ، وهو ما يعادل Caterpillar الحمار الوحشي والحيوانات الأخرى السعادة ، ثم يتم إنشاء “دليل” على الصيغة. الدليل دقيق.لذلك ، من أجل ضمان مصداقية الإثبات ، قام مسؤول حديقة الحيوان ، باني الدائرة ، بتمثيل حيوان خاص يسمى Zeek.
إن عملية مراقبة Zeek هي في الواقع عملية التحقق من نظام المثل.بالطبع ، هناك الآلاف من الحيوانات في حديقة الحيوان ، ولا يمكن لزيك رؤيتها واحدة تلو الأخرى.
تعادل عملية التقاط صورة لإنشاء دليل على Snark أو KZG ، في حين أن السلبية المطبوعة تعادل الدليل الصارخ نفسه سيتم الانتهاء من الحيوانات لالتقاط الصور وسيتم إنشاء دليل على الإثبات.
هناك العديد من الحيوانات في حديقة حيوانات.سيؤدي ذلك إلى بعض الازدحام والتأخر والأخطاء ، مما سيؤدي إلى تحويل غير صالح للدولة ، ولن يكون التحقق النهائي ممكنًا.
فوق.