"ZK Track Active Project Sharing". 🙌 لقد كنت أفكر فيما يجب أن أكتبه لفترة طويلة ، وأصدقائي الذين يعرفونني يعرفون أنني كنت دائما مهتما ب zk. دعونا نلقي نظرة على مشاريع ZK التي كانت نشطة للغاية مؤخرا (مع أنشطة تحفيزية مستمرة) ونشطة تدريجيا (مع أنشطة الحوافز القادمة). تحلل هذه الورقة بشكل منهجي المشاريع الخمسة الأكثر نشاطا وشهرة في مسار ZK الحالي: @NexusLabs و @RiscZero @boundless_xyz و @SuccinctLabs و @zerobasezk و @Zypher_Network. سيتم تقاسمها من منظور مقدمة المشروع ، والهندسة الفنية (المنتجات الوظيفية الرئيسية) ، والأنشطة والحوافز الحديثة ، وتقاسم المؤلفين. يوفر الجدول أدناه ملخصا موجزا للمعلومات الأساسية لكل مشروع لسهولة المقارنة المرئية، وستقوم التغريدات المترابطة بتفصيل كل عنصر. دعنا نلقي نظرة سريعة على ZK و VM و zkVM zk (المعرفة الصفرية): يشير إلى "المعرفة الصفرية" ، وهو مفهوم واسع في التشفير ، مما يعني أن أحد الطرفين (الرائد) يمكنه إثبات صحة البيان للطرف الآخر (المدقق) دون الكشف عن أي معلومات إضافية أثناء التفاعل. الجهاز الظاهري (VM) هو نظام كمبيوتر يتم محاكاته بواسطة البرامج وقادر على تشغيل أنظمة التشغيل والتطبيقات مثل الكمبيوتر الفعلي الحقيقي. ببساطة ، يشبه الجهاز الافتراضي إنشاء "كمبيوتر افتراضي" على جهاز الكمبيوتر الخاص بك ، حيث يمكنك تثبيت أنظمة تشغيل مختلفة (مثل Windows و Linux وما إلى ذلك) وتشغيل البرامج دون التأثير على نظام المضيف الحقيقي الخاص بك. الخصائص الأساسية للأجهزة الافتراضية هي العزل والمحاكاة الافتراضية. لماذا تحتاج إلى أجهزة افتراضية (VMs) لتطوير blockchain؟ 1⃣️ بيئة التنفيذ الحتمية Blockchain هي شبكة لامركزية يتم صيانتها بشكل مشترك من قبل العديد من العقد. لضمان اتساق الشبكة ، يجب أن تتوصل جميع العقد إلى توافق في الآراء بشأن نتيجة تنفيذ العقد الذكي. توفر الأجهزة الظاهرية بيئة تنفيذ موحدة تضمن أن نفس التعليمات البرمجية والإدخال سينتج نفس الإخراج تماما على أي عقدة. هذا "اليقين" هو أساس تشغيل blockchain. 2⃣️ الأمن غالبا ما تتضمن العقود الذكية أصولا قيمة مثل العملات المشفرة أو الرموز المميزة ، لذا فإن الأمان أمر بالغ الأهمية. يستخدم الجهاز الظاهري تقنية وضع الحماية لعزل رمز العقد لمنع التعليمات البرمجية الضارة من إلحاق الضرر بالعقد أو الشبكات. على سبيل المثال، يستخدم الجهاز الظاهري في Ethereum آلية "الغاز" للحد من استهلاك موارد العقد وتجنب الحلقات أو الهجمات اللانهائية. 3⃣️ قابلية النقل تسمح الأجهزة الظاهرية للمطورين بكتابة رمز العقد الذكي مرة واحدة وتشغيله على أي عقدة تدعم الجهاز الظاهري ، دون القلق بشأن الاختلافات في الأجهزة أو نظام التشغيل الأساسي. هذا يبسط إلى حد كبير عملية التطوير والنشر. 4⃣️ التوحيد القياسي توفر الأجهزة الافتراضية مجموعة موحدة من مجموعات التعليمات ونماذج التنفيذ ، مما يسمح للمطورين بالاعتماد على نظام أساسي موحد لإنشاء عقود ذكية. يعزز هذا التوحيد القياسي التعاون في مجتمع المطورين والنظام البيئي المزدهر. 5⃣️ المرونة وقابلية التوسع تدعم الأجهزة الافتراضية مجموعة متنوعة من لغات وأدوات البرمجة ، مما يسمح للمطورين بكتابة التعليمات البرمجية بطريقة يعرفونها. في الوقت نفسه ، يمكن ترقية تصميم الأجهزة الافتراضية مع تقدم التكنولوجيا ، وإضافة ميزات جديدة أو تحسين الأداء. ببساطة ، توفر الأجهزة الافتراضية بيئة تشغيل آمنة ومتسقة ومحمولة لسلاسل الكتل ، وهي تقنيات رئيسية لتنفيذ العقود الذكية. على سبيل المثال ، EVM هو اختصار ل "Ethereum Virtual Machine" ، وهو أيضا البنية التحتية ل 90٪ من السلاسل العامة في هذه المرحلة. zkVM: إنه مزيج من VM و ZK: يمكنه تشغيل برنامج (مثل الجهاز الافتراضي) وإنشاء "دليل على المعرفة الصفرية" الذي يثبت أن البرنامج يعمل بشكل صحيح مع حماية الخصوصية. zkVM مفيد بشكل خاص في مساحة blockchain ، وتشمل مزاياه ما يلي: · حماية الخصوصية: في المعاملات المالية، يمكن ل zkVM إثبات أن المعاملة صالحة (على سبيل المثال، رصيد الحساب كاف)، ولكنه لا يكشف عن المبلغ المحدد أو معلومات الحساب. · قابلية التوسع: في الطبقة 2، يمكن ل zkVM التحقق من صحة آلاف المعاملات ثم تخزين دليل موجز فقط على السلسلة الرئيسية، بدلا من تفاصيل كل حركة. هذا يسمح ل blockchain بمعالجة المزيد من المعاملات ، مما يقلل من التكاليف والأعباء. تنتمي #Nexus و #RiscZero و #Succinct جميعها إلى مسار zkVM. ستكون الخطوة التالية هي تحليل كل تلو الآخر.