المحللون في هذه المقالة ، سوف نستكشف المراحل المختلفة لـ Kakarot ، ونقاط القوة والضعف فيها ، بالإضافة إلى التحديات والفرص التي تواجه المشروع.
المؤلفون
** التجميع: Deep Tide TechFlow **
Kakarot zkEVM هو نموذج EVM مطبق في القاهرة. من خلال تعزيز توافق EVM ، يوسع النظام البيئي لشركة Starknet ، ما الذي استخدمه لكسب دعم Vitalik و StarkWare؟ المحللون في هذا المقال ، سوف نستكشف المراحل المختلفة لـ Kakarot ونقاط القوة والضعف فيها ، فضلاً عن التحديات والفرص التي تواجه المشروع.
ما هو CairoVM؟
Kakarot مبني على الجهاز الظاهري (VM) CairoVM ، وهو البنية التحتية لشركة Starknet.
الميزات الرئيسية لبرنامج CairoVM:
تمثيل التنفيذ باعتباره كثير الحدود (معادلة) للتنفيذ الذي يمكن إثباته ؛
يسمح باستخدام STARK لإثبات جميع معاملات Starknet.
ما هي القاهرة؟
تورينج بنية وحدة معالجة مركزية صديقة لـ STARK كاملة:
التأكد من الاكتمال: يمكن للنظام حساب أي حساب / برنامج ممكن ؛
STARK FRIENDLY: نظام إثبات مقدم من StarkWare. تم إثبات النزاهة الحسابية خارج السلسلة من خلال المحققين والتحقق منها بواسطة المحققين على السلسلة.
كيف تعمل القاهرة
يمكن للمطورين استخدام القاهرة لكتابة برامج في CairoVM لوصف العبارات التي سيتم إثباتها بلغة عالية المستوى. يعمل هذا على تحسين تجربة المطور حيث يمكنهم الاستفادة من قابلية التوسع في براهين المعرفة الصفرية (ZKPs) دون الحاجة إلى تعلم كيفية كتابة الدوائر المعقدة.
العمارة كاكاروت
كاكاروت مبني على قمة CairoVM وهو:
مترجم الشفرة الثنائية EVM ؛
نشر SC على Starknet ؛
مكتوب بالقاهرة.
يسمح Kakarot بـ:
نشر EVM SC موجود.
كاكاروت ليس:
بلوكتشين ؛
المترجم: لا يقوم بتحويل كود Solidity للقاهرة.
اعتبارًا من مايو 2023:
100٪ بنية بايت كود (النوع 3 zkEVM) ؛
تم تنفيذ التجميع المسبق 8/9 EVM.
بعد تنفيذ التجميعات المسبقة 9/9 EVM ، سيصبح Kakarot من النوع 2.5 zkEVM.
النوع 1 zkEVM مكافئ تمامًا لـ Ethereum ، دون تغيير نظام Ethereum لإنشاء البراهين بسهولة أكبر ،
الايجابيات: الحل النهائي لتوسيع نطاق Ethereum.
العيوب: مكثف حسابيًا ، إثبات طويل (يتطلب ساعات).
على سبيل المثال: Scroll، Taiko.
النوع 2 zkEVM مكافئ تمامًا لـ EVM ، مع تعديلات طفيفة على نظام Ethereum (باستخدام وظيفة تجزئة مختلفة) من أجل:
تنمية أسهل.
جيل دليل أسرع.
الإيجابيات: متاح لمعظم تطبيقات Ethereum dApps.
العيوب: كفاءة EVM و ZK ليست ودية.
على سبيل المثال Scroll.
النوع 2.5 zkEVM مكافئ لـ EVM باستثناء تكلفة الغاز. يزيد من تكلفة الغاز لعمليات معينة في EVM يصعب إثباتها باستخدام ZK.
الإيجابيات: مخاطر أقل من EVM الأوسع
العيوب: انخفاض توافق أداة التطوير ، لن تكون بعض dApps متوافقة.
النوع 3 zkEVM مطابق تقريبًا لـ EVM ، تتم إزالة الميزات التي يصعب تنفيذها بشكل خاص (مثل التجميع المسبق).
الإيجابيات: أوقات إثبات أسرع ، تطوير أسهل للمعايير الإلكترونية.
السلبيات: يجب إعادة كتابة بعض dApps.
على سبيل المثال:
التمرير ؛
مضلع
اكتب 4 مكافئ لغوي عالي المستوى zkEVM ، وقم بتجميع كود مصدر SC (لغة عالية المستوى) إلى لغة صديقة لـ ZK-SNARK.
الإيجابيات: يتجنب الكثير من النفقات العامة.
السلبيات: قد لا يكون للعقود نفس العنوان مثل EVM ، وقد لا يتم دعم الرمز الثانوي EVM المكتوب بخط اليد ، ولا يمكن نقل البنية التحتية لأنها تعمل على رمز EVM الثانوي.
على سبيل المثال:
زكسينك
Nethermind.
خارطة طريق كاكاروت | المرحلة 1 | إحضار EVM إلى Starknet
سوف يتواجد Kakarot في البداية في Starknet باعتباره EVM Enshrined. ستكون تجربة المطور والمستخدم (UX) هي نفسها تمامًا مثل Polygon أو Scroll أو Ethereum.
المرحلة 2 | L3 zkEVMs
يتيح لهم نشر تطبيقات zkEVM عبر Kakarot حل txns على Starknet باستخدام إثبات الصلاحية. يتم تحقيق ذلك من خلال الجمع بين Kakarot و MadaraStarknet في مكدس موحد.
بنقرة واحدة فقط ، تحصل Rollups على:
تم نشر zkEVM الخاص بالتطبيقات على Starknet ؛
الوصول إلى بيئة EVM ؛
تنفيذ سريع.
الغاز المنخفض: استخدم حلول توفر البيانات.
أمان.
قم بتشغيل Solidity SC في CairoVM باستخدام Kakarot: أي Solidity SC منتشرة على EVM سيكون قادرًا على العمل على Starknet دون تغيير الكود.
مزايا القدرة على الحصول على كليهما:
كفاءة EVM.
تصبح العقود الذكية قابلة للإثبات.
المرحلة 3 | النوع 1 zkEVM
لتحقيق ذلك ، يجب على كاكاروت:
استخدم القاهرة لكتابة قواعد إجماع Ethereum في عقدة Madara x Kakarot الكاملة لإثبات إجماع L1 ؛
تم التبديل من Pedersen Merkle Patricia Trie (MPT) إلى Keccak MPT.
يعتمد ذلك على خارطة طريق Ethereum: Verge. حاليًا ، يعد تنفيذ Keccak MPT بطريقة رخيصة بشكل يمكن إثباته هو عائق التوافق الرئيسي لـ zkEVM. بعد Verge ، يمكن استبدال Keccak بـ Poseidon كوظيفة التجزئة المفضلة لدى Ethereum.
افكاري
هذه بالتأكيد خطوة كبيرة في تحقيق توافق EVM مع Starknet ، ولكن هناك بعض المخاوف بشأن نجاح Kakarot.
مواجهة المنافسة من المنافسين التاليين:
ZK-rollup مع أنظمة إثبات مختلفة (SNARK): Scroll و zksync و Polygon و Taiko و Linea ؛
التفاؤل التراكمي: التفاؤل ، القرار ، القاعدة ؛
zkVMs مختلفة: RISC Zero ، Hyper Oracle.
Product Market Fit (PMF)
بشكل عام ، يعد التراكم كخدمة حجة غير مختبرة تتطلب النظر في جانبين رئيسيين:
كم عدد التراكمية التي ستحتاج إلى هذه الخدمة؟
هل يفضل التراكمي الإنشاءات الداخلية للسيادة والقابلية للتخصيص؟
تكرار المنتجات باستمرار
يقوم Kakarot ببناء منتج معقد للغاية من الناحية الفنية والذي من المحتمل أن يتطلب تكرارًا مستمرًا لتحقيق النجاح. كما أنه يعتمد على عدة مكونات منها:
لبن؛
حل DA ؛
خارطة طريق Ethereum: The Verge.
شاهد النسخة الأصلية
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
يشارك فيتاليك في الاستثمار ، كيف يقدم كاكاروت EVM لشركة Starknet؟
المؤلفون
** التجميع: Deep Tide TechFlow **
Kakarot zkEVM هو نموذج EVM مطبق في القاهرة. من خلال تعزيز توافق EVM ، يوسع النظام البيئي لشركة Starknet ، ما الذي استخدمه لكسب دعم Vitalik و StarkWare؟ المحللون في هذا المقال ، سوف نستكشف المراحل المختلفة لـ Kakarot ونقاط القوة والضعف فيها ، فضلاً عن التحديات والفرص التي تواجه المشروع.
ما هو CairoVM؟
Kakarot مبني على الجهاز الظاهري (VM) CairoVM ، وهو البنية التحتية لشركة Starknet.
الميزات الرئيسية لبرنامج CairoVM:
ما هي القاهرة؟
تورينج بنية وحدة معالجة مركزية صديقة لـ STARK كاملة:
كيف تعمل القاهرة
يمكن للمطورين استخدام القاهرة لكتابة برامج في CairoVM لوصف العبارات التي سيتم إثباتها بلغة عالية المستوى. يعمل هذا على تحسين تجربة المطور حيث يمكنهم الاستفادة من قابلية التوسع في براهين المعرفة الصفرية (ZKPs) دون الحاجة إلى تعلم كيفية كتابة الدوائر المعقدة.
العمارة كاكاروت
كاكاروت مبني على قمة CairoVM وهو:
يسمح Kakarot بـ:
كاكاروت ليس:
اعتبارًا من مايو 2023:
بعد تنفيذ التجميعات المسبقة 9/9 EVM ، سيصبح Kakarot من النوع 2.5 zkEVM.
النوع 1 zkEVM مكافئ تمامًا لـ Ethereum ، دون تغيير نظام Ethereum لإنشاء البراهين بسهولة أكبر ،
الايجابيات: الحل النهائي لتوسيع نطاق Ethereum.
العيوب: مكثف حسابيًا ، إثبات طويل (يتطلب ساعات).
على سبيل المثال: Scroll، Taiko.
النوع 2 zkEVM مكافئ تمامًا لـ EVM ، مع تعديلات طفيفة على نظام Ethereum (باستخدام وظيفة تجزئة مختلفة) من أجل:
الإيجابيات: متاح لمعظم تطبيقات Ethereum dApps.
العيوب: كفاءة EVM و ZK ليست ودية.
على سبيل المثال Scroll.
النوع 2.5 zkEVM مكافئ لـ EVM باستثناء تكلفة الغاز. يزيد من تكلفة الغاز لعمليات معينة في EVM يصعب إثباتها باستخدام ZK.
الإيجابيات: مخاطر أقل من EVM الأوسع
العيوب: انخفاض توافق أداة التطوير ، لن تكون بعض dApps متوافقة.
النوع 3 zkEVM مطابق تقريبًا لـ EVM ، تتم إزالة الميزات التي يصعب تنفيذها بشكل خاص (مثل التجميع المسبق).
الإيجابيات: أوقات إثبات أسرع ، تطوير أسهل للمعايير الإلكترونية.
السلبيات: يجب إعادة كتابة بعض dApps.
على سبيل المثال:
اكتب 4 مكافئ لغوي عالي المستوى zkEVM ، وقم بتجميع كود مصدر SC (لغة عالية المستوى) إلى لغة صديقة لـ ZK-SNARK.
الإيجابيات: يتجنب الكثير من النفقات العامة.
السلبيات: قد لا يكون للعقود نفس العنوان مثل EVM ، وقد لا يتم دعم الرمز الثانوي EVM المكتوب بخط اليد ، ولا يمكن نقل البنية التحتية لأنها تعمل على رمز EVM الثانوي.
على سبيل المثال:
خارطة طريق كاكاروت | المرحلة 1 | إحضار EVM إلى Starknet
سوف يتواجد Kakarot في البداية في Starknet باعتباره EVM Enshrined. ستكون تجربة المطور والمستخدم (UX) هي نفسها تمامًا مثل Polygon أو Scroll أو Ethereum.
المرحلة 2 | L3 zkEVMs
يتيح لهم نشر تطبيقات zkEVM عبر Kakarot حل txns على Starknet باستخدام إثبات الصلاحية. يتم تحقيق ذلك من خلال الجمع بين Kakarot و MadaraStarknet في مكدس موحد.
بنقرة واحدة فقط ، تحصل Rollups على:
قم بتشغيل Solidity SC في CairoVM باستخدام Kakarot: أي Solidity SC منتشرة على EVM سيكون قادرًا على العمل على Starknet دون تغيير الكود.
مزايا القدرة على الحصول على كليهما:
المرحلة 3 | النوع 1 zkEVM
لتحقيق ذلك ، يجب على كاكاروت:
يعتمد ذلك على خارطة طريق Ethereum: Verge. حاليًا ، يعد تنفيذ Keccak MPT بطريقة رخيصة بشكل يمكن إثباته هو عائق التوافق الرئيسي لـ zkEVM. بعد Verge ، يمكن استبدال Keccak بـ Poseidon كوظيفة التجزئة المفضلة لدى Ethereum.
افكاري
هذه بالتأكيد خطوة كبيرة في تحقيق توافق EVM مع Starknet ، ولكن هناك بعض المخاوف بشأن نجاح Kakarot.
مواجهة المنافسة من المنافسين التاليين:
Product Market Fit (PMF)
بشكل عام ، يعد التراكم كخدمة حجة غير مختبرة تتطلب النظر في جانبين رئيسيين:
تكرار المنتجات باستمرار
يقوم Kakarot ببناء منتج معقد للغاية من الناحية الفنية والذي من المحتمل أن يتطلب تكرارًا مستمرًا لتحقيق النجاح. كما أنه يعتمد على عدة مكونات منها: