كاكاروت: مشروع zkEVM المبتكر المطور بلغة كايرو

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

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

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

مسار التطوير

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

تتكون مراحل تطوير Kakarot zkEVM من ثلاثة مراحل:

المرحلة الأولى: بناء بيئة EVM على Starknet

سيكون Kakarot zkEVM موجودًا في البداية كـ EVM مضمن في Starknet L2، مما يتيح للمطورين نشر عقود ذكية بلغة Solidity( أو لغات متوافقة مع EVM) مباشرة على Starknet، واستخدام أدوات التطوير المألوفة. يمكن للمستخدمين التفاعل مع dApp باستخدام المحافظ الشائعة، وستكون التجربة مشابهة لتلك الموجودة على Polygon أو Scroll أو Ethereum L1.

المرحلة الثانية: دمج مع Madara، وتحقيق L3 zkEVM

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

يمكن لهذا الهيكل أن يقلل بشكل كبير من تكاليف الغاز ويزيد من الأداء. لمزيد من التحسين، يمكن فصل التحقق من الإثبات وتوافر البيانات (DA). يمكن أن تعمل Starknet L2 كطبقة للتحقق من الإثبات، بينما يمكن استخدام حلول DA الجديدة مثل Celestia أو EigenDA لنشر بيانات المعاملات.

المرحلة الثالثة: تحقيق type 1 zkEVM

من خلال كتابة قواعد إجماع إيثريوم باستخدام كايرو في عقد Madara x Kakarot الكامل، والتبديل من Pedersen Merkle Patricia Trie(MPT) إلى Keccak MPT، يأمل Kakarot أن يصبح عميل type 1 zkEVM، قادرًا على التحقق من كتل L1. يعتمد تحقيق هذا الهدف على مسار تطوير إيثريوم، وخاصة ترقية Verge. بعد ترقية Verge، قد يتم استبدال keccak بـ poseidon ليصبح خوارزمية التجزئة المفضلة لإيثريوم، مما سيساعد فريق zkEVM على تحقيق التوافق من النوع 1.

تكوين الفريق

تأسست فريق Kakarot الأساسي خلال هاكاثون في لشبونة، حيث قام حوالي 10 أشخاص ببناء نموذج أولي لـ zkEVM خلال أسبوع. حالياً، بدعم من مؤسسة Starknet وOnlydust، يمتلك Kakarot أكثر من 40 مساهمًا مستقلًا.

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

• إلياس تازارتس: المؤسس المشارك والرئيس التنفيذي، متخصص في هندسة البلوكشين وتطوير الواجهة الكاملة.
• كليمان والتر: المؤسس المشارك والرئيس التنفيذي للتكنولوجيا، يمتلك خلفية متعددة كعالم ومهندس ورائد أعمال.

حالة التمويل

تمت شركة Kakarot جولة التمويل الأولي (pre-seed) بنجاح، ولم يتم الكشف عن المبلغ المحدد. تشمل الجهات المستثمرة Starkware وLambDa. ومن بين المستثمرين الملائكة مؤسس إيثيريوم فيتاليك بوتيرين، والمؤسس المشارك لشركة Ledger نيكولاس باكا، والمؤسس المشارك والرئيس التنفيذي لشركة ZAMA راندي هندي.

آفاق المشروع

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

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

الحصول على دعم فيتاليك بوتيرين وStarkWare هو ميزة كبيرة لـ Kakarot، وهذا لا ينعكس فقط على المستوى النفسي، بل يشمل أيضًا الدعم المالي.

بالمقارنة مع مشاريع zkEVM الأخرى، تواجه Kakarot تحديات مثل حجم الفريق الصغير، والميزانية المنخفضة، وانخفاض الشهرة، وهو أحد الأسباب التي تجعلها لم تُنشر بعد كـ zkEVM L2 عام.

مشروع Kakarot لا يزال في مراحله الأولى، وسيتم إطلاق الشبكة التجريبية قريبًا، ويستحق متابعة تطوراته.