استكشاف ملخص الفعالية: تحليل مقارن بين zkEVM و Cairo VM
ملخص الفعالية ( تعتبر Rollups الصالحة ) الخيار الأمثل لزيادة سعة Ethereum بطريقة آمنة ومركزية. في ملخص الفعالية، zkEVM وCairo VM ( CVM ) هما نوعان رئيسيان من أنواع الآلات الافتراضية المستخدمة.
تركز zkEVM على التوافق مع إيثريوم، لكنها تضحي بالأداء وقابلية التوسع. بينما تضع Starknet الأداء وقابلية التوسع فوق التوافق باستخدام Cairo VM.
جوهر ملخص الفعالية هو استخدام إثبات الفعالية لإجراء حسابات يمكن التحقق منها. إنها تعمل عن طريق تفريغ تنفيذ المعاملات إلى بيئة خارج السلسلة ( الطبقة الثانية ). بعد أن تتعامل مشغلات الطبقة الثانية مع عدد كبير من المعاملات، يعيدون النتائج وإثبات الفعالية الذي يتحقق من سلامة التنفيذ خارج السلسلة إلى الشبكة الرئيسية لإيثريوم. يمكن أن يعزز هذا بشكل كبير قدرة إيثريوم على معالجة المعاملات.
آلة افتراضية ( VM ) هي بيئة يمكنها تشغيل البرامج. zkVM هي نوع خاص من VM، قادرة على توليد أدلة صحة يسهل التحقق منها لإثبات أن البرنامج قد تم تنفيذه بشكل صحيح. zkEVM عادة تشير إلى نظام تجميع يمكنه إثبات تنفيذ EVM.
على الرغم من أن zkEVM و CVM يهدفان إلى توسيع إيثريوم من خلال إثبات الفعالية، إلا أن هناك اختلافات في اختيار تنفيذ معاملات VM خارج السلسلة. يحاول zkEVM تكرار تجربة إيثريوم على L2، بينما تم تصميم CVM بشكل خاص لتحسين كفاءة إثبات الفعالية.
الهدف من zkEVM هو إدخال بيئة تطوير الإيثيريوم بالكامل إلى الشبكة من الطبقة الثانية. وهذا يمكّن المطورين من نقل العقود الذكية إلى حلول أكثر قابلية للتوسع دون الحاجة إلى تغيير الشيفرة أو التخلي عن أدوات EVM. ومع ذلك، فإن العيب الرئيسي لهذه الطريقة هو تقليل إمكانية توسيع إثبات الفعالية. نظرًا لأن EVM لم يأخذ في الاعتبار كفاءة الإثبات عند تصميمه، فإن ذلك يحد من مساحة تحسين الأداء الكلي للنظام.
تواجه القابلية لإثبات EVM بعض التحديات:
يعتمد EVM على نموذج قائم على المكدس، بينما تعد إثباتات الفعالية أكثر ملاءمة للنموذج القائم على السجل.
يعتمد تخزين الإيثيريوم بشكل كبير على Keccak وشجرة Merkle Patricia الكبيرة، وكلاهما لا يساهم في توليد أدلة الصلاحية.
لذلك، تختلف حلول zkEVM المختلفة في درجة دعم أدوات إيثريوم - كلما زادت التوافق مع إيثريوم، انخفض الأداء.
بالمقارنة، يعتمد Cairo VM تصميم آلة افتراضية مخصص جديد، ويضيف دعم أدوات Ethereum كطبقة إضافية. تم تصميم CVM لإثبات فعالية تنفيذ البرامج بكفاءة، وله المزايا التالية:
تم تحسين التمثيل الجبري الفعال لكل تعليمات ، مما يعزز من توليد إثباتات الفعالية.
توفير لغات عالية المستوى مشابهة لـ Rust لكتابة برامج قابلة للإثبات.
تمثل الترجمة الوسيطة بين Cairo المتقدمة وتجميع Cairo (Sierra) تنفيذًا فعالًا.
تبسط لغة كايرو تعقيد إنشاء القيود الرياضية التي تصف الحسابات، مما يسمح للمطورين باستخدام إثباتات الفعالية لتوسيع التطبيقات دون الحاجة لفهم الرياضيات الأساسية.
Starknet تدعم طرق ترميز متنوعة:
كتابة الكود مباشرة باستخدام كايرو.
تحويل كود Solidity إلى Cairo من خلال محول Warp.
تشغيل zkEVM( على Starknet مثل مشروع Kakarot)، لتحقيق توافق عقود Ethereum الذكية.
بشكل عام، يسعى zkEVM إلى نسخ بيئة إيثريوم، لكنه يحد من الإمكانات الكاملة لإثبات الفعالية. تم تصميم Cairo VM خصيصًا لأنظمة إثبات الفعالية، فهو غير مقيد بـ EVM، مما يتيح تحقيق كفاءة أعلى في توسيع إيثريوم. مع التطور السريع لنظام بيئة كايرو، أصبح لدى المطورين الآن خيارات متعددة لتوسيع تطبيقات blockchain.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 18
أعجبني
18
4
إعادة النشر
مشاركة
تعليق
0/400
APY追逐者
· 08-14 06:22
لماذا لا تذهب zk القوية إلى الشبكة الرئيسية؟
شاهد النسخة الأصليةرد0
LayerZeroHero
· 08-13 15:48
الأداء والتوافق هما حقًا مشكلة تقنية أزلية. لقد أجريت تجارب لمدة أسبوع وخلصت إلى هذا الاستنتاج.
شاهد النسخة الأصليةرد0
SerumSquirter
· 08-11 19:12
هو معدّن قديم يسعى لتحقيق أقصى سرعة في المعاملات (tps)
شاهد النسخة الأصليةرد0
DaoResearcher
· 08-11 19:07
تشير الورقة VB P267 إلى أن التوافق L2 ليس الخيار الأمثل.
zkEVM وCairo VM: مقارنة بين نوعين من الآلات الافتراضية في ملخص الفعالية
استكشاف ملخص الفعالية: تحليل مقارن بين zkEVM و Cairo VM
ملخص الفعالية ( تعتبر Rollups الصالحة ) الخيار الأمثل لزيادة سعة Ethereum بطريقة آمنة ومركزية. في ملخص الفعالية، zkEVM وCairo VM ( CVM ) هما نوعان رئيسيان من أنواع الآلات الافتراضية المستخدمة.
تركز zkEVM على التوافق مع إيثريوم، لكنها تضحي بالأداء وقابلية التوسع. بينما تضع Starknet الأداء وقابلية التوسع فوق التوافق باستخدام Cairo VM.
جوهر ملخص الفعالية هو استخدام إثبات الفعالية لإجراء حسابات يمكن التحقق منها. إنها تعمل عن طريق تفريغ تنفيذ المعاملات إلى بيئة خارج السلسلة ( الطبقة الثانية ). بعد أن تتعامل مشغلات الطبقة الثانية مع عدد كبير من المعاملات، يعيدون النتائج وإثبات الفعالية الذي يتحقق من سلامة التنفيذ خارج السلسلة إلى الشبكة الرئيسية لإيثريوم. يمكن أن يعزز هذا بشكل كبير قدرة إيثريوم على معالجة المعاملات.
آلة افتراضية ( VM ) هي بيئة يمكنها تشغيل البرامج. zkVM هي نوع خاص من VM، قادرة على توليد أدلة صحة يسهل التحقق منها لإثبات أن البرنامج قد تم تنفيذه بشكل صحيح. zkEVM عادة تشير إلى نظام تجميع يمكنه إثبات تنفيذ EVM.
على الرغم من أن zkEVM و CVM يهدفان إلى توسيع إيثريوم من خلال إثبات الفعالية، إلا أن هناك اختلافات في اختيار تنفيذ معاملات VM خارج السلسلة. يحاول zkEVM تكرار تجربة إيثريوم على L2، بينما تم تصميم CVM بشكل خاص لتحسين كفاءة إثبات الفعالية.
الهدف من zkEVM هو إدخال بيئة تطوير الإيثيريوم بالكامل إلى الشبكة من الطبقة الثانية. وهذا يمكّن المطورين من نقل العقود الذكية إلى حلول أكثر قابلية للتوسع دون الحاجة إلى تغيير الشيفرة أو التخلي عن أدوات EVM. ومع ذلك، فإن العيب الرئيسي لهذه الطريقة هو تقليل إمكانية توسيع إثبات الفعالية. نظرًا لأن EVM لم يأخذ في الاعتبار كفاءة الإثبات عند تصميمه، فإن ذلك يحد من مساحة تحسين الأداء الكلي للنظام.
تواجه القابلية لإثبات EVM بعض التحديات:
يعتمد EVM على نموذج قائم على المكدس، بينما تعد إثباتات الفعالية أكثر ملاءمة للنموذج القائم على السجل.
يعتمد تخزين الإيثيريوم بشكل كبير على Keccak وشجرة Merkle Patricia الكبيرة، وكلاهما لا يساهم في توليد أدلة الصلاحية.
لذلك، تختلف حلول zkEVM المختلفة في درجة دعم أدوات إيثريوم - كلما زادت التوافق مع إيثريوم، انخفض الأداء.
بالمقارنة، يعتمد Cairo VM تصميم آلة افتراضية مخصص جديد، ويضيف دعم أدوات Ethereum كطبقة إضافية. تم تصميم CVM لإثبات فعالية تنفيذ البرامج بكفاءة، وله المزايا التالية:
تم تحسين التمثيل الجبري الفعال لكل تعليمات ، مما يعزز من توليد إثباتات الفعالية.
توفير لغات عالية المستوى مشابهة لـ Rust لكتابة برامج قابلة للإثبات.
تمثل الترجمة الوسيطة بين Cairo المتقدمة وتجميع Cairo (Sierra) تنفيذًا فعالًا.
تبسط لغة كايرو تعقيد إنشاء القيود الرياضية التي تصف الحسابات، مما يسمح للمطورين باستخدام إثباتات الفعالية لتوسيع التطبيقات دون الحاجة لفهم الرياضيات الأساسية.
Starknet تدعم طرق ترميز متنوعة:
كتابة الكود مباشرة باستخدام كايرو.
تحويل كود Solidity إلى Cairo من خلال محول Warp.
تشغيل zkEVM( على Starknet مثل مشروع Kakarot)، لتحقيق توافق عقود Ethereum الذكية.
بشكل عام، يسعى zkEVM إلى نسخ بيئة إيثريوم، لكنه يحد من الإمكانات الكاملة لإثبات الفعالية. تم تصميم Cairo VM خصيصًا لأنظمة إثبات الفعالية، فهو غير مقيد بـ EVM، مما يتيح تحقيق كفاءة أعلى في توسيع إيثريوم. مع التطور السريع لنظام بيئة كايرو، أصبح لدى المطورين الآن خيارات متعددة لتوسيع تطبيقات blockchain.