Kakarot zkEVM: آلة الإيثريوم الافتراضية المبنية بلغة كايرو

Kakarot zkEVM هو آلة الإيثريوم الافتراضية المكتوبة بلغة كايرو (EVM). كايرو هي لغة كاملة التورينغ، وترتبط بـ CairoVM. تستخدم CairoVM متعددات الحدود ونظام إثبات ZK-STARK لتحقيق حساب قابل للإثبات.

تتمثل ميزة zkEVM في أنها قادرة على توليد معاملات وكتل قابلة للإثبات. نظرًا لأن Kakarot مبنية على CairoVM، فإن كل معاملة تُنفذ عليها قابلة للإثبات.

بشكل عام، يوفر Kakarot zkEVM القدرة على الحساب القابل للإثبات باستخدام لغة Cairo ونظام إثبات ZK-STARK. إنه يمكّن المطورين من نشر تطبيقات EVM، ويمكّن المستخدمين من التفاعل مع هذه التطبيقات باستخدام الأدوات الشائعة.

بالإضافة إلى ذلك، سيقدم Kakarot التوافق مع بروتوكول Starknet، مما يوفر القابلية للتجميع لبروتوكولات مختلفة في مجالات مثل DeFi وGameFi.

خارطة الطريق

تم إطلاق المشروع في أكتوبر 2022، بهدف إنشاء zkEVM بأقل من 10,000 سطر من التعليمات البرمجية. تم تحقيق هذا الهدف في غضون ستة أشهر فقط. من المخطط إصدار الشبكة التجريبية في أواخر صيف 2023.

خريطة الطريق لـ Kakarot zkEVM تنقسم إلى ثلاث مراحل:

1. كاكاروت zkEVM على ستارك نت: إدخال EVM إلى ستارك نت

سيكون Kakarot zkEVM موجودًا أولاً كآلة EVM مدمجة في L2 الخاصة بـ Starknet. يمكن للمطورين نشر عقود ذكية بلغة Solidity مباشرة على Starknet، واستخدام الأدوات المألوفة. ستكون تجربة المستخدم مماثلة لتلك الموجودة على Polygon أو Scroll أو إثيريوم L1.

2. Kakarot x Madara: L3 zkEVMs

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

3. كاكا روت × مادارا: نوع 1 zkEVM

إذا كان من الممكن كتابة قواعد إجماع إيثريوم باستخدام كايرو، والتحويل من Pedersen MPT إلى Keccak MPT، فيمكن أن يصبح Kakarot عميل zkEVM من النوع 1، قادرًا على إثبات كتل L1. يعتمد ذلك على مسار تطور إيثريوم، خاصةً ترقية Verge.

الفريق

تأسس فريق كاكاروت الأساسي خلال ماراثون هاكاثون في لشبونة. يوجد حاليا أكثر من 40 مساهمًا.

الأعضاء الرئيسيون يشملون:

• إلياس تازارتس: المؤسس المشارك والرئيس التنفيذي، يركز على هندسة البلوكشين وتطوير البرمجيات الشاملة
• Clément Walter: المؤسس المشارك ومدير التكنولوجيا، عالم، مهندس ورجل أعمال

التمويل

أكمل Kakarot جولة التمويل الأولية، ولم يتم الكشف عن المبلغ المحدد. تشمل الجهات الاستثمارية Starkware و LambDa، بالإضافة إلى المستثمرين الملائكيين Vitalik Buterin و Nicolas Bacca، المؤسس المشارك لـ Ledger و Rand Hindi، المؤسس المشارك لـ ZAMA.

! [Kakarot: Zk-EVM الذي يجده فيتاليك بوتيرين رائعا ويستثمر فيه](https://img-cdn.gateio.im/webp-social/moments-a6a5c52a2c64506706e63b437dc25c6f.webp20&userId= 983CB29F-1C52-4091-A69A-810373D1b0d1&cache=v2)

ملخص

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

تطور Kakarot مرتبط ارتباطًا وثيقًا بإيكولوجيا Starknet. لقد حصلت على دعم من Vitalik Buterin و StarkWare، وهذه ميزة. لكن مقارنةً بمشاريع zkEVM الأخرى، فإن فريق Kakarot أصغر حجمًا، وميزانيته وشهرة علامته التجارية أقل، وهذا أيضًا أحد الأسباب التي أدت إلى عدم نشرها ك zkEVM L2 العامة حتى الآن.

لا يزال كاكاروت في مرحلة مبكرة، وسيتم إصدار شبكة الاختبار قريبًا. التطورات المستقبلية تستحق المتابعة.