عندما أصدرنا كتاب ZK منذ أكثر من عام ، اتخذنا مساحة تعليم ZK خطوة كبيرة إلى الأمام. كان كتابنا رائدا في نهج "الرياضيات الكافية فقط" لتعلم ZK. اليوم نفعل ذلك مرة أخرى مع إضافة جديدة إلى ZK Book. "أنماط تصميم السيركوم والقيود" يركز هذا القسم الجديد على كيفية تصميم وإنشاء وتدقيق دوائر ZK غير التافهة. ربما تكون قد شاهدت الكثير من البرامج التعليمية حول كيفية إثبات معرفتك بتقييم كثيرة الحدود باستخدام Circom. ولكن كيف تنتقل من هناك إلى تصميم ZKVM أو إثبات أنك تعرف ذروة دالة التجزئة التقليدية (مثل MD5 أو Keccak256)؟ يأخذك الجزء الجديد من كتاب ZK الخاص بنا في رحلة من الضرب إلى الأرقام معا إلى: - بناء ZKVM من الصفر - قيود الترميز لوظيفة تجزئة MD5 - التعرف على أنماط التصميم المتكررة في تصميم القيود كان الجزء الأخير مثيرا للاهتمام لأن بعض "أنماط التصميم" الراسخة لا تحتوي حتى على أسماء لها. كان علينا أن نخترع بعض المصطلحات! كالعادة ، نحن مدروسون للغاية حول كيفية تعريف القارئ بأفكار جديدة لتجنب إرباك شخص جديد. نحن حريصون على التأكد من أننا نعلم المتطلبات الأساسية بترتيب معقول ومع الكثير من الأمثلة. يوضح كل فصل كيفية بناء دائرة لتطبيق متزايد التعقيد. مع كل فصل ، يمكنك مراجعة ما تعلمته سابقا وتعلم نمط تصميم جديد. بمجرد إنشاء مجموعة من أنماط التصميم هذه ، يمكنك تكوينها معا لإنشاء تطبيقات أكثر تعقيدا ، مثل ZKVM أو وظيفة تجزئة غير تافهة. لقد بذلنا جهدا كبيرا للتأكد من أن المادة سهلة الفهم والتصحيح دون أي إغفالات مهمة. نود أن نشكر @ChainLight_io و @VeridiseInc و @PrivacyScaling و @zksecurityXYZ على تخصيص الوقت لمراجعة هذا العمل وتقديم الاقتراحات. نحن ممتنون بشكل خاص ل @marcobesier من @zksecurityXYZ للعمل من خلال العديد من المراجعات للحصول على الفصول في حالة مصقولة حقا. صيحة خاصة @cal_nix للمشاركة في تأليف الفصول السبعة الأولى في هذا الجزء الجديد من الكتاب! الموضوعات التي نغطيها هنا أساسية للغاية. إذا كنت لا تفهم المواد هنا ، فسيكون تعلم الأجزاء الداخلية لعميل ZKVM أو ZK L2 الأكثر حداثة أمرا صعبا للغاية. حتى الآن ، أدى عدم وجود تفسيرات موجهة للوافدين الجدد لمثل هذه المفاهيم الأساسية إلى إعاقة مساحة ZK. هذه المجموعة الجديدة من العمل ليست مجرد "شرح أفضل" للمواد الموجودة ، ولكنها التفسير الأول على الإطلاق - خارج الأوراق الأكاديمية. نحن نستخدم Circom كلغة للتعليم لأننا نعتبرها الأكثر ملاءمة للمبتدئين. ومع ذلك ، فإن ما تتعلمه هنا يعمم على أطر عمل أخرى مثل Plonky3 و Halo2 و o1js و Gnark. تجعل المقالات الجديدة الآن كتاب ZK أطول بأكثر من 38,000 كلمة. ليس عليك معرفة كيفية عمل ZK-SNARK لقراءة هذا القسم من الكتاب ، ولكن هناك بعض المتطلبات الأساسية. هذه مدرجة في فصل "مقدمة في السيركوم". كالعادة ، المواد مجانية تماما دون الحاجة إلى تسجيل الدخول.