خذ حديقة الحيوان كمثال: تعميم العلوم الأساسية لمبدأ عمل دائرة zkSync

لقد ارتبك العديد من الأشخاص بعد رؤية الصور والنصوص العلمية الجديدة لحديقة الحيوان من @zkSync. فقد قارنوا حديقة الحيوان بدائرة، واعتبروا الحيوانات ذات المهارات الخاصة بمثابة "بوابات منطقية"، والتقطوا صورة جماعية لجميع الحيوانات بسعادة. إنها يعتبر "دليلًا"، بحيث يمر إدخال البيانات إلى الدائرة بسلسلة من الحسابات المعقدة دون الكشف عن المحتوى المحدد، وسيتم إنشاء دليل، وبالتالي إكمال عملية إثبات المعرفة الصفرية. هيا، اسمحوا لي أن أحاول نشر بعض العلوم الأساسية:

تتوافق حديقة الحيوان مع "الدائرة". الدائرة هي في الواقع مجموعة من سلسلة من قيود البوابات المنطقية (الجمع، والطرح، والضرب، والقسمة، وما إلى ذلك). الصيغ)، والتي تعادل جميع التعبيرات المركزة عن قدرات الحيوانات، كما أنها عنصر أساسي في أجهزة الكمبيوتر. لذلك، يجب دمج "البيانات" التي يتم تمريرها إلى الدائرة في صيغ مختلفة وإجراء حسابات.

في بيئة الطبقة 2، هناك بعض البيانات مثل قيم تجزئة المعاملات والحسابات وأرصدة البيانات. يمكن تحويل هذه البيانات إلى صيغ للحساب. إذا تعذر صياغتها، يلزم إجراء تحويلات تشفير أخرى جعل البيانات الأصلية قابلة للاستخدام، وتصبح صيغة، وهي شرط أساسي للدائرة لإجراء المعالجة.

البوابات المنطقية في الدائرة المقابلة للحيوانات المختلفة، في وضع حديقة الحيوان، هي: صندوق خشبي - يمثل أرقامًا غير معروضة علنًا، تسمى "المتغيرات"، صندوق زجاجي - يمثل أرقامًا عامة والأرقام المعروضة هي "مدخلات عامة"؛ الحجارة - تمثل أرقامًا لا يمكن نقلها وتعتبر "ثوابت"؛

تتمتع الحمير الوحشية بالقدرة على مقارنة ما إذا كان رقمان "متساويان". إذا كانت النتيجة متساوية، فإن الحمار الوحشي سوف سعيد؛ التمساح يعني "أقل من". لن يكون التمساح سعيدًا إلا إذا كان الرقم الموجود على اليمين أقل من الرقم الموجود على اليسار؛ يمثل العنكبوت بوابة متعددة الاختيارات أكثر تعقيدًا. إذا أدخلت 0، فإن الإرجاع يجب أن يكون صحيحًا، وإذا أدخلت 1، فسيكون الإرجاع خطأ؛ بالإضافة إلى ذلك، يمكنك أن تجعل القندس يمثل القسمة، والسنجاب يمثل النسب المئوية، واليرقة تمثل الجمع، وما إلى ذلك. تمثل الحيوانات المختلفة صيغًا مختلفة للجمع والطرح والضرب والقسمة، وتمثل الحيوانات السعيدة أو الحزينة بنية عمليات الصيغة.

إن الجمع بين عدة حيوانات + صناديق من أنواع مختلفة يشكل دائرة، على سبيل المثال: لحساب الصيغة 2 x + 3 = Y، x يمثل الصندوق الخشبي، Y يمثل الحجر، وصندوقين خشبيين و جاءت اليرقة والحمير الوحشية وما إلى ذلك للعمل، وتحققت أخيرًا مما إذا كانت الصيغة قد تم إنشاؤها. لاحظ أنه لا داعي للقلق بشأن سبب اختلاف قدرات الحيوانات المختلفة، فهذا هو المبدأ الأساسي لعمل عناصر الدائرة والقواعد الأساسية لأجهزة الكمبيوتر لإجراء العمليات الحسابية.

يتم إنشاء دائرة معقدة من مجموعة متنوعة من الحيوانات (البوابات المنطقية) والصناديق (القواعد).

افترض أنه تم إنشاء الصيغة 2x+3 =Y التي تم إدخالها للتو، وهو ما يعادل سعادة يرقات الحمار الوحشي والحيوانات الأخرى، وبعد ذلك سيتم إنشاء "إثبات" للصيغة، وتحتاج الشخصية لتكون قادرًا على التعرف على هذا، لا يهم إلا إذا كان الدليل دقيقًا. لذلك، ومن أجل التأكد من مصداقية الدليل، قام حارس الحديقة، وهو منشئ الدائرة، بمحاكاة حيوان خاص يسمى Zeek، حيث يستطيع Zeek معرفة ما إذا كانت الحيوانات الأخرى سعيدة ويعادل Verifier في نظام الطبقة 2.

إن عملية مراقبة Zeek ما إذا كانت الحيوانات سعيدة هي في الواقع عملية التحقق لنظام Prover. إذا كانوا جميعًا سعداء، يتم تمرير التحقق. عندها فقط سيتم تحميل الدليل على الشبكة الرئيسية و تم تأكيده أخيرًا. بالطبع، تنتج آلاف الحيوانات في حديقة الحيوان عددًا كبيرًا من الأدلة، ومن المستحيل على زيك أن ينظر إليها واحدًا تلو الآخر، لذلك يستطيع زيك أيضًا ملاحظة ما إذا كان وضع الآلاف من الحيوانات المستنسخة الخاصة بزيك سعيدًا أم لا. ويسمى دليل العودية.

إن عملية التقاط الصور تعادل عملية إنشاء شهادات SNARK أو التزامات KZG، كما أن السلبيات المطبوعة تعادل شهادة STARK\SNARK نفسها، وزوار حديقة الحيوان تعادل معاملات المعاملات. التي تدخل واحدة تلو الأخرى، وفقط الحيوانات تلتقط الصور بسعادة عندها فقط سيتم إكمال الدليل وإنشاءه. أخيرًا، سيلتقط الزائر الصورة ويغادر حديقة الحيوان لترك الدليل قبل أن يتم تحميله على السلسلة وإنهائه.

هناك العديد من الحيوانات في حديقة الحيوان، ومن المستحيل أن تكون جميعها سعيدة في نفس الوقت وتعمل وفقًا لقواعد محددة مسبقًا، فهناك العديد من البوابات المنطقية، ولا مفر من وجودها انقطاع الاتصال وغيرها من الحالات. بهذه الطريقة، سيكون هناك بعض الازدحام والتأخير وتقارير الأخطاء، مما سيؤدي إلى انتقالات حالة غير صالحة، وغير مقيدة، ولن يجتاز التحقق النهائي.

أعلاه.