كاكاروت zkEVM: آلة الإيثريوم الافتراضية المبتكرة التي تم إنشاؤها بلغة كايرو
Kakarot zkEVM هو تنفيذ للآلة الافتراضية للإيثريوم (EVM) مكتوب بلغة كايرو. كايرو هي لغة برمجة كاملة تورينغ مرتبطة بـ CairoVM، بينما تستخدم CairoVM متعددة الحدود ونظام إثبات ZK-STARK لتحقيق الحسابات القابلة للإثبات.
كنوع من zkEVM، يمكن لكاراكوت توليد معاملات وكتل قابلة للإثبات. نظرًا لأنها مبنية على الآلة الافتراضية كايرو، فإن كل معاملة يتم تنفيذها على كاراكوت تتمتع بقابلية للإثبات. هذه الميزة تتيح للمطورين نشر تطبيقات EVM على كاراكوت، بينما تسمح للمستخدمين بالتفاعل مع هذه التطبيقات باستخدام الأدوات المألوفة.
بالإضافة إلى ذلك، يخطط Kakarot لتوفير التوافق مع بروتوكول Starknet، مما يجلب قابلية تركيب أعلى للبروتوكولات في مجالات مختلفة مثل DeFi و GameFi.
خطة التطوير
تم إطلاق مشروع Kakarot في أكتوبر 2022، ملتزماً بمبدأ المصدر المفتوح، وهدفه هو إنشاء zkEVM بأقل من 10,000 سطر من التعليمات البرمجية. تم تحقيق هذا الهدف الطموح في غضون ستة أشهر فقط، ويخطط لإطلاق شبكة الاختبار في نهاية صيف 2023.
تتكون مراحل تطوير Kakarot zkEVM من ثلاثة مراحل:
كاكاروت zkEVM على ستارك نت: إدخال EVM إلى نظام ستارك نت البيئي، مما يمكّن المطورين من نشر العقود الذكية المكتوبة بلغة سوليديتي (أو أي لغة متوافقة مع EVM) مباشرة على ستارك نت. يمكن للمستخدمين استخدام الأدوات المألوفة (مثل Metamask) للتفاعل مع هذه التطبيقات اللامركزية، وتجربة مماثلة لما هو موجود على بوليغون أو إيثريوم L1.
Kakarot x Madara - L3 zkEVMs: دمج Kakarot مع Madara لتحقيق L3 zkEVMs، وقد يمتد هذا حتى L4 و L5 والمستويات الأعلى. سيسمح ذلك للفريق بنشر سلسلة تطبيقات zkEVM الخاصة بهم، واستخدام إثبات الفعالية لتسوية المعاملات على Starknet. هذه الطريقة يمكن أن تفصل بين الأمان واللامركزية، مع الحفاظ على أمان إيثرم L1، من خلال تقليل عدد المدققين لزيادة الكفاءة.
كاكاوت x مادارا - نوع 1 zkEVM: من خلال كتابة قواعد إجماع إيثريوم باستخدام كايرو في عقد مادارا x كاكاوت الكامل، والانتقال من شجرة باتريشيا ميركل بيدرسن (MPT) إلى شجرة ميركل كيك، يأمل كاكاوت أن يصبح عميل zkEVM من النوع 1 القادر على إثبات كتل L1. إن تنفيذ هذه المرحلة مرتبط ارتباطًا وثيقًا بمسار تطوير إيثريوم في المستقبل، خاصةً التغييرات المحتملة في دالة التجزئة التي قد يتم اعتمادها بعد ترقية فيرج.
خلفية الفريق
تأسس الفريق الأساسي لكاكاروت من نشاط تطوير مكثف قصير المدى في لشبونة، حيث قام حوالي عشرة أشخاص ببناء نموذج أولي لـ zkEVM في غضون أسبوع. حالياً، بدعم من مؤسسة ستارك نت وOnlydust، يمتلك كاكاروت أكثر من 40 مساهمًا مستقلًا.
الأعضاء الرئيسيون يشملون:
إلياس تازارتس: المؤسس المشارك والرئيس التنفيذي، يركز على هندسة البلوكشين والتطوير الكامل.
كليمنت والتر: المؤسس المشارك والمدير التقني، لديه خلفية متعددة كعالم ومهندس ورجل أعمال.
حالة التمويل
أكمل Kakarot جولة التمويل ما قبل البذور، ولم يتم الكشف عن المبلغ المحدد. تشمل الجهات الاستثمارية ستارك وير ولامبدا وغيرها من المؤسسات، بالإضافة إلى المستثمرين الأفراد المعروفين مثل فيتاليك بوتيرين، ونicolas باكا المؤسس المشارك لليدجر، وراند هيندي المؤسس المشارك والرئيس التنفيذي لزاما.
آفاق المشروع
Kakarot كـ EVM مكتوبة بـ Cairo على Starknet، من المتوقع أن تصبح جسرًا مهمًا يربط بين Starknet و إثيريوم. إنها تخفض من عتبة دخول المطورين إلى Starknet، بينما تحافظ على التوافق مع نظام إثيريوم البيئي. مع تقدم المشروع إلى مراحل لاحقة، ستوفر Kakarot مستوى أعلى من القابلية للتجميع، ويمكن استخدامها مع مكونات وحدات مثل Celestia أو EigenDA.
تتعلق تطورات Kakarot ارتباطًا وثيقًا بنظام Starknet البيئي. ستحسن التحديثات المستمرة على Starknet وتجربة المستخدم بشكل مباشر الفائدة لـ Kakarot. في الوقت نفسه، ستساهم Kakarot أيضًا في ازدهار النظام البيئي لـ Starknet.
الحصول على دعم فيتاليك بوتيرين وStarkWare هو ميزة كبيرة لـ Kakarot، ليس فقط من حيث الاعتراف الروحي، ولكن أيضًا من حيث الدعم المالي.
ومع ذلك، مقارنةً بمشاريع ZK-EVM الأخرى، تواجه Kakarot أيضًا تحديات مثل حجم الفريق الصغير، والميزانية المحدودة، وانخفاض الوعي بالعلامة التجارية. هذه أيضًا واحدة من الأسباب التي تجعل Kakarot تركز حاليًا على بيئة Starknet بدلاً من نشرها كـ zkEVM L2 عام.
كأحد المشاريع في مرحلة مبكرة، ستصدر شبكة اختبار Kakarot قريبًا، ومن الجدير متابعة تطورها المستقبلي.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
Kakarot: الابتكار في Starknet zkEVM من تصميم لغة Cairo
كاكاروت zkEVM: آلة الإيثريوم الافتراضية المبتكرة التي تم إنشاؤها بلغة كايرو
Kakarot zkEVM هو تنفيذ للآلة الافتراضية للإيثريوم (EVM) مكتوب بلغة كايرو. كايرو هي لغة برمجة كاملة تورينغ مرتبطة بـ CairoVM، بينما تستخدم CairoVM متعددة الحدود ونظام إثبات ZK-STARK لتحقيق الحسابات القابلة للإثبات.
كنوع من zkEVM، يمكن لكاراكوت توليد معاملات وكتل قابلة للإثبات. نظرًا لأنها مبنية على الآلة الافتراضية كايرو، فإن كل معاملة يتم تنفيذها على كاراكوت تتمتع بقابلية للإثبات. هذه الميزة تتيح للمطورين نشر تطبيقات EVM على كاراكوت، بينما تسمح للمستخدمين بالتفاعل مع هذه التطبيقات باستخدام الأدوات المألوفة.
بالإضافة إلى ذلك، يخطط Kakarot لتوفير التوافق مع بروتوكول Starknet، مما يجلب قابلية تركيب أعلى للبروتوكولات في مجالات مختلفة مثل DeFi و GameFi.
خطة التطوير
تم إطلاق مشروع Kakarot في أكتوبر 2022، ملتزماً بمبدأ المصدر المفتوح، وهدفه هو إنشاء zkEVM بأقل من 10,000 سطر من التعليمات البرمجية. تم تحقيق هذا الهدف الطموح في غضون ستة أشهر فقط، ويخطط لإطلاق شبكة الاختبار في نهاية صيف 2023.
تتكون مراحل تطوير Kakarot zkEVM من ثلاثة مراحل:
كاكاروت zkEVM على ستارك نت: إدخال EVM إلى نظام ستارك نت البيئي، مما يمكّن المطورين من نشر العقود الذكية المكتوبة بلغة سوليديتي (أو أي لغة متوافقة مع EVM) مباشرة على ستارك نت. يمكن للمستخدمين استخدام الأدوات المألوفة (مثل Metamask) للتفاعل مع هذه التطبيقات اللامركزية، وتجربة مماثلة لما هو موجود على بوليغون أو إيثريوم L1.
Kakarot x Madara - L3 zkEVMs: دمج Kakarot مع Madara لتحقيق L3 zkEVMs، وقد يمتد هذا حتى L4 و L5 والمستويات الأعلى. سيسمح ذلك للفريق بنشر سلسلة تطبيقات zkEVM الخاصة بهم، واستخدام إثبات الفعالية لتسوية المعاملات على Starknet. هذه الطريقة يمكن أن تفصل بين الأمان واللامركزية، مع الحفاظ على أمان إيثرم L1، من خلال تقليل عدد المدققين لزيادة الكفاءة.
كاكاوت x مادارا - نوع 1 zkEVM: من خلال كتابة قواعد إجماع إيثريوم باستخدام كايرو في عقد مادارا x كاكاوت الكامل، والانتقال من شجرة باتريشيا ميركل بيدرسن (MPT) إلى شجرة ميركل كيك، يأمل كاكاوت أن يصبح عميل zkEVM من النوع 1 القادر على إثبات كتل L1. إن تنفيذ هذه المرحلة مرتبط ارتباطًا وثيقًا بمسار تطوير إيثريوم في المستقبل، خاصةً التغييرات المحتملة في دالة التجزئة التي قد يتم اعتمادها بعد ترقية فيرج.
خلفية الفريق
تأسس الفريق الأساسي لكاكاروت من نشاط تطوير مكثف قصير المدى في لشبونة، حيث قام حوالي عشرة أشخاص ببناء نموذج أولي لـ zkEVM في غضون أسبوع. حالياً، بدعم من مؤسسة ستارك نت وOnlydust، يمتلك كاكاروت أكثر من 40 مساهمًا مستقلًا.
الأعضاء الرئيسيون يشملون:
حالة التمويل
أكمل Kakarot جولة التمويل ما قبل البذور، ولم يتم الكشف عن المبلغ المحدد. تشمل الجهات الاستثمارية ستارك وير ولامبدا وغيرها من المؤسسات، بالإضافة إلى المستثمرين الأفراد المعروفين مثل فيتاليك بوتيرين، ونicolas باكا المؤسس المشارك لليدجر، وراند هيندي المؤسس المشارك والرئيس التنفيذي لزاما.
آفاق المشروع
Kakarot كـ EVM مكتوبة بـ Cairo على Starknet، من المتوقع أن تصبح جسرًا مهمًا يربط بين Starknet و إثيريوم. إنها تخفض من عتبة دخول المطورين إلى Starknet، بينما تحافظ على التوافق مع نظام إثيريوم البيئي. مع تقدم المشروع إلى مراحل لاحقة، ستوفر Kakarot مستوى أعلى من القابلية للتجميع، ويمكن استخدامها مع مكونات وحدات مثل Celestia أو EigenDA.
تتعلق تطورات Kakarot ارتباطًا وثيقًا بنظام Starknet البيئي. ستحسن التحديثات المستمرة على Starknet وتجربة المستخدم بشكل مباشر الفائدة لـ Kakarot. في الوقت نفسه، ستساهم Kakarot أيضًا في ازدهار النظام البيئي لـ Starknet.
الحصول على دعم فيتاليك بوتيرين وStarkWare هو ميزة كبيرة لـ Kakarot، ليس فقط من حيث الاعتراف الروحي، ولكن أيضًا من حيث الدعم المالي.
ومع ذلك، مقارنةً بمشاريع ZK-EVM الأخرى، تواجه Kakarot أيضًا تحديات مثل حجم الفريق الصغير، والميزانية المحدودة، وانخفاض الوعي بالعلامة التجارية. هذه أيضًا واحدة من الأسباب التي تجعل Kakarot تركز حاليًا على بيئة Starknet بدلاً من نشرها كـ zkEVM L2 عام.
كأحد المشاريع في مرحلة مبكرة، ستصدر شبكة اختبار Kakarot قريبًا، ومن الجدير متابعة تطورها المستقبلي.
! [Kakarot: Zk-EVM الذي يجده فيتاليك بوتيرين رائعا ويستثمر فيه](https://img-cdn.gateio.im/webp-social/moments-a6a5c52a2c64506706e63b437dc25c6f.webp20&userId= 983CB29F-1C52-4091-A69A-810373D1b0d1&cache=v2)