كاكاوت 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 ينقسم إلى ثلاث مراحل:
المرحلة الأولى: تنفيذ Kakarot zkEVM على Starknet
ستكون Kakarot zkEVM موجودة أولاً كآلة افتراضية مدمجة في Starknet L2، مما يسمح للمطورين بنشر عقود ذكية بلغة Solidity (أو لغات متوافقة أخرى مع EVM) مباشرة على Starknet، واستخدام الأدوات المألوفة. يمكن للمستخدمين التفاعل مع dApps باستخدام الأدوات الشائعة. بشكل عام، ستكون تجربة التطوير والاستخدام على Kakarot متطابقة تمامًا مع Polygon وScroll أو إثيريوم L1.
المرحلة الثانية: دمج Kakarot و Madara --- L3 zkEVMs
Kakarot و Madara ستتجمعان لتشكيل حزمة موحدة، مما يمكّن من استخدام L3 zkEVMs، ودعم L4 و L5 عند الحاجة. يمكن للفرق نشر سلاسل تطبيقات zkEVM، مستفيدة من إثبات الفعالية لتسوية المعاملات على Starknet. يتم حساب العمليات خارج السلسلة أو في طبقات أعلى، مع التحقق على السلسلة. تتميز هذه L3 بميزة مثيرة للاهتمام: القدرة على فصل الأمان واللامركزية. يمكن للمستخدمين الاستمتاع بأمان إيثريوم L1 دون الحاجة إلى نفس مستوى اللامركزية. ومع ذلك، تظل اللامركزية مهمة بالنسبة للـ rollups، حيث إنها تجلب الحيوية ومقاومة الرقابة. يمكن تحقيق ذلك من خلال ضبط عدد المنظمين ليكون مئات بدلاً من الآلاف. نظرًا لأن الحساب يتم في طبقة أخرى، فإن تكاليف الغاز لـ L3 أقل من L2 وأدائها أفضل. لتقليل التكاليف بشكل أكبر، يمكن فصل التحقق من الإثبات وتوافر البيانات (DA). يمكن للمستخدمين اختيار خيارات مختلفة بناءً على احتياجات الأمان.
المرحلة الثالثة: دمج Kakarot مع Madara --- النوع 1 zkEVM
يمكن لكاروت ومدارا أيضًا دمجهما لتحقيق zkEVM من النوع 1. إذا كان بالإمكان:
كتابة قواعد توافق إيثريوم باستخدام كايرو في عقد مادارا x كاكاروت الكامل، لإثبات توافق L1.
الانتقال من شجرة باترسون ميركل باتريشيا (MPT) إلى Keccak MPT.
لذا يمكن أن يصبح Kakarot عميل type 1 zkEVM، قادرًا على إثبات كتل L1. هذه حالة استخدام أكثر تقدمًا، تعتمد على مسار تطوير إثيريوم، خاصةً في مرحلة Verge. بعد Verge، قد يتم استبدال keccak بـ poseidon كدالة التجزئة المفضلة في إثيريوم. سيساعد ذلك فريق zkEVM على تحقيق type 1، حيث أن العقبة الرئيسية لتوافق zkEVM هي تخطيط التخزين، أي تنفيذ Keccak MPT بطريقة قابلة للإثبات وبكلفة معقولة.
خلفية الفريق
تأسست فريق كاكاروت الرئيسي خلال هاكاثون في لشبونة، حيث قام حوالي 10 أشخاص ببناء zkEVM في غضون أسبوع.
بدعم من مؤسسة ستارك نت وOnlydust، يوجد لدى Kakarot أكثر من 40 مساهمًا مستقلًا.
إيلياس تازارتس: المؤسس المشارك والرئيس التنفيذي لكاكاروت، يركز على هندسة البلوكشين وتطوير البرمجيات الشاملة.
Clément Walter: مؤسس مشارك ومدير التكنولوجيا في Kakarot، يصف نفسه بأنه عالم ومهندس ورجل أعمال ومتعدد المهارات.
حالة التمويل
تمت عملية التمويل قبل جولة البذور لشركة Kakarot، ولم يتم الكشف عن المبلغ المحدد. تشمل الجهات المستثمرة Starkware وLambDa. ومن بين المستثمرين الملائكيين فيتاليك بوتيرين، ونيكولاس باكا، المؤسس المشارك لشركة Ledger، وران هيندي، المؤسس المشارك والرئيس التنفيذي لشركة ZAMA.
آفاق المشروع
حالياً، تطور بيئة السلاسل العامة غير المتوافقة مع EVM ببطء، حيث تتركز معظم بيئات السلاسل العامة حول إثيريوم. كاكاروت، باعتباره EVM مكتوباً بلغة كايرو على ستارك نت، يمكنه ربط بيئات ستارك نت وإثيريوم بشكل جيد، مما يتيح لمشاريع إثيريوم البناء على ستارك نت، ويخفض من عتبة التطوير، كما يستفيد من أمان إيثريوم وتكلفته المنخفضة. في المراحل اللاحقة، سيتم تحقيق المزيد من القابلية للتجميع، مثل التجميع مع Celestia أو EigenDA وغيرها من المكونات المودولارية.
باعتبارها ZK-EVM على Starknet، فإن Kakarot مرتبطة ارتباطًا وثيقًا بنظام Starknet البيئي. يستمر Starknet في التكرار والتحديث، مما يحسن تجربة المستخدم، بينما ستساهم ZK-EVM التي تم بناؤها بواسطة Kakarot في ازدهار النظام البيئي. ولكن إذا لم يتطور Starknet بشكل جيد، فسيتأثر Kakarot أيضًا.
كاكاروت حصلت على دعم فيتاليك بوتيرين و ستارك وير، مما منحها تعزيزاً كبيراً من الناحية الروحية والمالية، وهذا يعد ميزة كبيرة.
ومع ذلك، يواجه Kakarot تحديات مقارنةً بـ ZK-EVM الأخرى: حجم الفريق صغير، والميزانية وسمعة العلامة التجارية منخفضة. وهذا أيضًا أحد الأسباب التي تجعل Kakarot لم يتم نشره كـ zkEVM L2 عام.
كاكاروت لا يزال في مرحلة مبكرة، وسيتم إصدار شبكة الاختبار قريبًا، ويستحق متابعة تطوره.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 10
أعجبني
10
5
مشاركة
تعليق
0/400
EthMaximalist
· منذ 14 س
هناك شيء مميز، جيد!
شاهد النسخة الأصليةرد0
NFTArchaeologis
· منذ 14 س
أضافت أسطورة العالم الرقمي فصلًا جديدًا
شاهد النسخة الأصليةرد0
MrDecoder
· منذ 14 س
ربحنا بشكل كبير، فيتاليك بوتيرين تدخل
شاهد النسخة الأصليةرد0
RugPullAlarm
· منذ 15 س
هل يعني أن الأمور ستكون رائعة إذا كان هناك تأييد من vb؟ ما يسمى بالفريق الصغير هو على الأرجح خطة استثمار.
شاهد النسخة الأصليةرد0
GateUser-2fce706c
· منذ 15 س
لقد قلت من قبل إن حلبة zkEVM هي كلمة السر الحقيقية للثروة، وليس متأخراً بعد ثلاث سنوات!
Kakarot zkEVM: سلسلة تطبيقات EVM القابلة للإثبات التي تم إنشاؤها بواسطة Cairo
كاكاوت 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 ينقسم إلى ثلاث مراحل:
ستكون Kakarot zkEVM موجودة أولاً كآلة افتراضية مدمجة في Starknet L2، مما يسمح للمطورين بنشر عقود ذكية بلغة Solidity (أو لغات متوافقة أخرى مع EVM) مباشرة على Starknet، واستخدام الأدوات المألوفة. يمكن للمستخدمين التفاعل مع dApps باستخدام الأدوات الشائعة. بشكل عام، ستكون تجربة التطوير والاستخدام على Kakarot متطابقة تمامًا مع Polygon وScroll أو إثيريوم L1.
Kakarot و Madara ستتجمعان لتشكيل حزمة موحدة، مما يمكّن من استخدام L3 zkEVMs، ودعم L4 و L5 عند الحاجة. يمكن للفرق نشر سلاسل تطبيقات zkEVM، مستفيدة من إثبات الفعالية لتسوية المعاملات على Starknet. يتم حساب العمليات خارج السلسلة أو في طبقات أعلى، مع التحقق على السلسلة. تتميز هذه L3 بميزة مثيرة للاهتمام: القدرة على فصل الأمان واللامركزية. يمكن للمستخدمين الاستمتاع بأمان إيثريوم L1 دون الحاجة إلى نفس مستوى اللامركزية. ومع ذلك، تظل اللامركزية مهمة بالنسبة للـ rollups، حيث إنها تجلب الحيوية ومقاومة الرقابة. يمكن تحقيق ذلك من خلال ضبط عدد المنظمين ليكون مئات بدلاً من الآلاف. نظرًا لأن الحساب يتم في طبقة أخرى، فإن تكاليف الغاز لـ L3 أقل من L2 وأدائها أفضل. لتقليل التكاليف بشكل أكبر، يمكن فصل التحقق من الإثبات وتوافر البيانات (DA). يمكن للمستخدمين اختيار خيارات مختلفة بناءً على احتياجات الأمان.
يمكن لكاروت ومدارا أيضًا دمجهما لتحقيق zkEVM من النوع 1. إذا كان بالإمكان:
لذا يمكن أن يصبح Kakarot عميل type 1 zkEVM، قادرًا على إثبات كتل L1. هذه حالة استخدام أكثر تقدمًا، تعتمد على مسار تطوير إثيريوم، خاصةً في مرحلة Verge. بعد Verge، قد يتم استبدال keccak بـ poseidon كدالة التجزئة المفضلة في إثيريوم. سيساعد ذلك فريق zkEVM على تحقيق type 1، حيث أن العقبة الرئيسية لتوافق zkEVM هي تخطيط التخزين، أي تنفيذ Keccak MPT بطريقة قابلة للإثبات وبكلفة معقولة.
خلفية الفريق
تأسست فريق كاكاروت الرئيسي خلال هاكاثون في لشبونة، حيث قام حوالي 10 أشخاص ببناء zkEVM في غضون أسبوع.
بدعم من مؤسسة ستارك نت وOnlydust، يوجد لدى Kakarot أكثر من 40 مساهمًا مستقلًا.
إيلياس تازارتس: المؤسس المشارك والرئيس التنفيذي لكاكاروت، يركز على هندسة البلوكشين وتطوير البرمجيات الشاملة.
Clément Walter: مؤسس مشارك ومدير التكنولوجيا في Kakarot، يصف نفسه بأنه عالم ومهندس ورجل أعمال ومتعدد المهارات.
حالة التمويل
تمت عملية التمويل قبل جولة البذور لشركة Kakarot، ولم يتم الكشف عن المبلغ المحدد. تشمل الجهات المستثمرة Starkware وLambDa. ومن بين المستثمرين الملائكيين فيتاليك بوتيرين، ونيكولاس باكا، المؤسس المشارك لشركة Ledger، وران هيندي، المؤسس المشارك والرئيس التنفيذي لشركة ZAMA.
آفاق المشروع
حالياً، تطور بيئة السلاسل العامة غير المتوافقة مع EVM ببطء، حيث تتركز معظم بيئات السلاسل العامة حول إثيريوم. كاكاروت، باعتباره EVM مكتوباً بلغة كايرو على ستارك نت، يمكنه ربط بيئات ستارك نت وإثيريوم بشكل جيد، مما يتيح لمشاريع إثيريوم البناء على ستارك نت، ويخفض من عتبة التطوير، كما يستفيد من أمان إيثريوم وتكلفته المنخفضة. في المراحل اللاحقة، سيتم تحقيق المزيد من القابلية للتجميع، مثل التجميع مع Celestia أو EigenDA وغيرها من المكونات المودولارية.
باعتبارها ZK-EVM على Starknet، فإن Kakarot مرتبطة ارتباطًا وثيقًا بنظام Starknet البيئي. يستمر Starknet في التكرار والتحديث، مما يحسن تجربة المستخدم، بينما ستساهم ZK-EVM التي تم بناؤها بواسطة Kakarot في ازدهار النظام البيئي. ولكن إذا لم يتطور Starknet بشكل جيد، فسيتأثر Kakarot أيضًا.
كاكاروت حصلت على دعم فيتاليك بوتيرين و ستارك وير، مما منحها تعزيزاً كبيراً من الناحية الروحية والمالية، وهذا يعد ميزة كبيرة.
ومع ذلك، يواجه Kakarot تحديات مقارنةً بـ ZK-EVM الأخرى: حجم الفريق صغير، والميزانية وسمعة العلامة التجارية منخفضة. وهذا أيضًا أحد الأسباب التي تجعل Kakarot لم يتم نشره كـ zkEVM L2 عام.
كاكاروت لا يزال في مرحلة مبكرة، وسيتم إصدار شبكة الاختبار قريبًا، ويستحق متابعة تطوره.