لماذا يتم ترقية ZKEVM المشاريع الأساسية لـ ZKVM تستحق الاهتمام بها؟

المؤلف: 0xnatalie المصدر: ChainFeeds

في العثور على حل قابلية التوسع وحساب كفاءة blockchain ، تعتبر تقنية الشهادة ذات المعرفة (ZKP) مهمة بشكل خاص.ZKVM (الجهاز الظاهري الصفري) هو أحد التطبيقات المحددة لهذه التكنولوجيا.يمكن لـ ZKVM ، كمنصة حوسبة عالمية تعتمد على ZKP ، التحقق من صحة الحساب دون تسرب تفاصيل تفاصيل التنفيذ.كما يدعم مهمة حساب الحساب الكبير خارج السلسلة.في الوقت الحاضر ، تقوم العديد من المشاريع مثل A16Z و Taiko و ZKM والمشاريع الأخرى بتطوير حلول ZKVM.

ZKVM مقدمة

ZKVM عبارة عن منصة حوسبة عالمية تعتمد على دليل على صفر -معرّفة يمكن أن تؤدي مهام الحوسبة المختلفة ، بما في ذلك تنفيذ العقود الذكية ومعالجة البيانات وعمليات الخوارزمية المعقدة.تتمثل وظيفتها الأساسية في إنشاء دليل على صفر.من خلال تقنية Snarks ، يمكن التحقق من هذه الأدلة تحت السلسلة.

بالإضافة إلى ذلك ، لا يقتصر تصميم ZKVM على معاملات العملة المشفرة في نفس الوقت ، تحقق من صحة معالجة منطق.

يقارن ZKVM الأجهزة الافتراضية الأخرى

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

Zero -المعرفة Virtual Machine (ZKVM) تستخدم تقنية إثبات صفر لضمان صحة عملية تنفيذ البرنامج.يركز تصميم ZKVM على توفير منصة للتحقق من الحوسبة العامة ، ومناسبة لسيناريوهات التطبيق المختلفة ، ويدعم مجموعة متنوعة من لغات البرمجة ، مثل Rust و C/C ++ و GO.غالبًا ما تكون عملية الحوسبة والتحقق أكثر زمنية أكثر من VM التقليدية ، لأن إثبات المعرفة الصفري هو عملية كثيفة الحوسبة ، والتي تتطلب عددًا كبيرًا من موارد الحوسبة ، والتي تحد إلى حد كبير من سرعة معالجة المعاملات (TPS) إلى حد كبير .على الرغم من أن تقنية ZK الحالية أحرزت تقدمًا كبيرًا في جيل دليل واحد ، في ظل ظروف الحمل العالية ، لا تزال القدرة على التعامل مع المعاملات الكبيرة ذات النطاق المحدود.قد يستغرق توليد كل دليل بضع ثوانٍ إلى بضع دقائق ، مما يشكل قيودًا على التطبيقات التي تتطلب إنتاجية عالية (مثل أنظمة معالجة الدفع الكبيرة).

ZKEVM هو تطبيق محدد لـ ZKVM.إنه متوافق تمامًا مع عقود Ethereum الذكية وأدوات التطوير ، مثل الصلابة و Vyper.لذلك ، يشبه ZKEVM نسخة محسّنة محددة من Ethereum.

مشروع ZKVM المتعلق

على الرغم من تحديات تقنية ZK ، لا تزال بعض أطراف المشروع تظهر قوتها التقنية في تطوير حلول ZKVM.

Jolt: أداء ممتاز

في 9 أبريل ، أصدرت A16Z التنفيذ الأولي لمحلول ZKVM.

على عكس ZKVM الأخرى استنادًا إلى إطار عمل Stark ، تستخدم Jolt Lasso للعثور على المعلمات والتكنولوجيا القائمة على السووم.لا تعمل طريقة الابتكار هذه على تبسيط تنفيذ تعليمات الجهاز الظاهري الجديد فحسب ، بل تعمل أيضًا على تحسين السرعة الكلية للنظام.يؤكد تصميم Jolt على سهولة الاستخدام والكفاءة.بالإضافة إلى ذلك ، يعد أداء Jolt جيدًا أيضًا في اختبار القياس الأولي ، فإن سرعة المعرفة الأسرع أكثر من 5 مرات من RISC Zero ، والتي هي أسرع مرتين من SP1.

RISC Zero: حسابات معقدة معالجة فعالة

RISC Zero هو بنية snark متكررة ZKVM ، والتي تتميز بطريقة متكررة تدعم المتداخلة المتبادلة.في تقنية Snarks ، يمكن تقسيم الدليل المتكرر إلى أدلة إدارة أصغر وأسهل.يمكن التحقق من هذه الأدلة الصغيرة بشكل مستقل وفي النهاية تم دمجها في دليل كبير كامل ، لن تؤثر هذه العملية على فعالية الدليل.يفرز تفرد RISC Zero في طريقته العودية الحالية. خطوات حساب متعددة في خطوات حساب متعددة.

هناك تفرد آخر لـ RISC Zero وهو أنه يستخدم مجموعة تعليمات RISC-V ، وهي عبارة عن ISA معيار مفتوح (بنية مجموعة التعليمات) ، والتي تهدف إلى تحقيق قابلية التوسع وقابلية التوسع.يضمن هذا الاختيار أن RISC Zero يمكنه استخدام أدوات شاملة ودعم النظم الإيكولوجية لتسهيل الوصول والتكامل إلى الأنظمة الحالية مقارنة مع ZKVMs الأخرى التي قد تستخدم بنية خاصة أو عالمية.

في العام الماضي أكملوا بنجاح تمويلًا قدره 40 مليون دولار.此轮融资由 blockchain Capital 领投，其他知名投资者包括 bain Capital Crypto 、 Galaxy Digital 、 IOSG Ventures 、 Rockawayx 、 Maven 11 、 Fenbushi Capital 、 Delphi Digital 等参与其中。

مستقيمة: مطور ودود

تم تطوير ZKVM SP1.يدعم SP1 الهندسة المعمارية ، مما يسمح للمطورين بتخصيص وظائفهم وتوسيعها من خلال “التجميع قبل”.تشير النقل المسبق إلى الوحدات التي يمكن إضافتها أو تعديلها من قبل المطورين.

بالإضافة إلى ذلك ، قام SP1 ببناء شبكة دليل لا مركزية ، وبسيط نشر وتنفيذ الإثبات ، مما يقلل من عتبة استخدام طرق التشفير المتقدمة.تمكن الشبكة المطورين من إنشاء أدلة وكفاءة ، وتوفير طريقة مبسطة.

في شهر مارس ، أكملت Secrinct تمويلًا بقيمة 55 مليون دولار.كان التمويل يقوده النموذج.في 13 مايو ، أعلنت Secrinct عن إطلاق شبكة اختبار SP1.

Taiko: نظام متعدد المقاوم

بدأت Taiko في التحول من Zkevm إلى استخدام ZKVM.يقترح Vitalik مفهوم Proof من قبل Vitalik أن Taiko يوضح أنه أول مشروع لتنفيذ هذا المفهوم.يسمح هذا النظام ZKVM من Taiko بإنشاء أنواع متعددة من الإثبات ، وبالتالي تحسين أمن النظام وقوة النظام.حتى لو كانت هناك مشكلة مع نوع واحد من الإثبات ، يمكن أن تستمر أنواع البراهين الأخرى في ضمان التشغيل العادي للنظام والاكتشاف أي تحويل خاطئ في الوقت المناسب.بالإضافة إلى ذلك ، يتم استخدام نظام إثبات HALO2-KZG ، بحيث يمكن أن تحافظ الحوسبة المعقدة والمعاملات على نطاق واسع على الكفاءة والتكلفة المنخفضة.

في مارس ، أكملت Taiko تمويلًا بقيمة 15 مليون دولار ، والذي تم استثماره من قبل فصائل Lightspeed و HARDER و GENERANTERS و TOKEN BAY Capital.

ZKM: MIPS Architecture بسيط ومستقر

ZKM هو مشروع ZKVM الذي يفقسه مؤسسة Metis.يجعل هذا التصميم ZKP أكثر توافقًا مع طريقة معالجة الحوسبة الداخلية للنظام ، وتسريع سرعة التشغيل وتقليل حساب الحساب المتعلق بتنفيذ بروتوكول ZKP وحده.ويستخدم معظم ZKVM الحالي لغة الصدأ ، ويوفر ZKM دعم Golang الأصلي.

MIPS (المعالجات الدقيقة بدون مراحل خط أنابيب متشابكة) هو الجيل الأول من الإرشادات المبسطة لهندسة الكمبيوتر.مجموعة تعليمات MIPs بسيطة نسبيا ومستقرة ، ويمكن استخدامها على نطاق واسع في أجهزة الحوسبة والأنظمة المضمنة.

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

أطلقت ZKM مؤخرًا صندوقًا جديدًا لتقليل عمليات التشغيل المتشابكة للبنية التحتية متعددة المناطق ، باستخدام ZKMIPS لإنشاء إطار عمل متعدد العمليات للتشغيل لا يحتاج إلى الوثوق به ، غير مركزي.على عكس جسر ZK الثالث ، يمكنه التحقق من نقل الأصول فقط من خلال المتعة ، ولكن يمكن التحقق من جميع العمليات الحسابية ، لذلك فهي آمنة للغاية.مفتاح هذا التشغيل البيني هو أن هناك آلية إثبات عامة يمكنها إنشاء دليل على blockchain ، ثم التحقق من blockchain آخر.أحد الاختلافات بين ZKM وغيرها من ZKVM هو أن تلك التي يمكن إنشاؤها لجميع الدليل على الصفر التشغيلي.تقوم ZKM بتضمين الأمان في الجزء السفلي من بنية وحدة المعالجة المركزية/MIPS ، بحيث يمكن لجميع البرامج في هذه البنية الاستمتاع بنفس الأمان دون مطالبة كل برنامج بإجراء شهادة صفرية بشكل منفصل.

بالإضافة إلى ذلك ، فإن خصائص ZKM هي:

متوافق مع جميع الأجهزة الافتراضية: ZKM تقع تحت كل جهاز افتراضي ، مما يجعله متوافقًا مع العديد من محركات العقود الذكية blockchain ، مثل MoveVM (ZKMVM) ، WASM (ZKWASM) ، و RustVM (ZKRVM).
سد: يمكن للمطورين استخدام ZKM دون تغيير مكتبة التعليمات البرمجية الحالية.يوفر تبنيًا منخفضًا للتكلفة ويسمح لغات العقد الذكية المختلفة وحتى لغات البرمجة التقليدية.
الاستقرار طويل المدى: مجموعة تعليمات MIPS مستقرة.

توقعات ZKVM المستقبلية

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