المؤلف: s ، محلل رأس المال الاستثماري ؛ الترجمة: Jinse Finance xiaozou
ما هو Kakarot zkEVM؟ لماذا يتم دعمه من قبل Vitalik و StarkWare؟ Kakarot يجلب EVM إلى Starknet ، مما يسهل توسيع تطبيقات EVM dApps. دعونا نلقي نظرة أعمق!
دعونا نتطلع إلى رؤية التنمية ، ونوضح الموقف الحالي ، ونتطلع إلى مستقبل مشرق.
ستقدم هذه المقالة بشكل رئيسي ما يلي: 1. ما هو CairoVM؟ 2. ما هي القاهرة؟ 3. هندسة EVM ؛ 4. هندسة Kakarot ؛ 5. تصنيف نوع zkEVM ؛ 6. خارطة طريق Kakarot ؛ 7. الأفكار الشخصية.
Kakarot zkEVM هو نموذج EVM تم نشره باستخدام لغة Cario ، مما يزيد من موثوقية نظام Starknet البيئي من خلال تحسين توافق EVM. دعونا نفهم خطوة بخطوة.
** 1. **** ما هو **** CairoVM ****؟ **
يعمل Kakarot على الجهاز الافتراضي CairoVM ، وهو البنية التحتية لشركة Starknet. الميزات الرئيسية لـ CairoVM هي كما يلي:
· تمثيل التنفيذ كمعادلة متعددة الحدود للتنفيذ الذي يمكن إثباته.
السماح لجميع معاملات Starknet باستخدام التحقق من STARK.
Cario هي بنية وحدة المعالجة المركزية (CPU) الصديقة لـ Turing-Complete.
· Turing Complete: النظام قادر على حساب أي حساب / برنامج ممكن.
ودية ستارك: نظام التوثيق StarkWare. تم إثبات النزاهة الحسابية خارج السلسلة بواسطة المحققين والتحقق منها بواسطة المحققين على السلسلة.
إذن ، كيف يعمل Cario؟ يمكن للمطورين استخدام القاهرة لكتابة البرامج في CaroVM ووصف عبارات البيان بلغة عالية المستوى (سيتم إثباتها). يعمل هذا على تحسين تجربة التطوير حيث يمكن للمطورين الاستفادة من قابلية التوسع في ZK Proofs (ZKPs) دون الحاجة إلى تعلم كيفية كتابة الدوائر المعقدة.
** 3. معمارية **** EVM **
بنية EVM هي بنية VM (آلة افتراضية) ناضجة ومحددة جيدًا مع:
142 كود تشغيل: التعليمات التي يستخدمها جهاز EVM لتنفيذ المعاملات والعقود الذكية (SC). مطلوب رسوم غاز للتنفيذ.
9 مجموعات مسبقة: عقود ذكية مدمجة في Ethereum للتعامل مع العمليات المشتركة. يمكن الاستدعاء برسوم غاز قياسية.
** 4. كاكاروت **** الهيكل **
تم تطوير Kakarot على أساس CairoVM ، وهو:
· مترجم الشفرة الثانوية EVM
· نشر العقود الذكية على Starknet
· استخدم لغة Cario
يدعم Kakarot:
· نشر عقد EVM الذكي كما هو
كاكاروت ليس:
· بلوكتشين
المترجم: لا يحول كود Solidity للقاهرة
اعتبارًا من مايو 2023:
تم تحقيق بنية تشفير ثنائية بنسبة 100٪ (النوع 3 zkEVM)
تم تجميع 9 EVM مسبقًا لتحقيق 8
بعد تنفيذ جميع التجميعات المسبقة 9 EVM ، سيصبح Kakarot من النوع 2.5 zkEVM.
· استخدم القاهرة لكتابة قواعد إجماع Ethereum داخل العقد الكاملة لـ Madara و Kakarot لإثبات إجماع L1.
تحولت من Pedersen Merkle Patricia Trie (MPT) إلى Keccak MPT.
ومع ذلك ، فإن المرحلة 3 غير مؤكدة. يعتمد ذلك على خارطة طريق Ethereum: Verge. حاليًا ، يعد تنفيذ Keccak MPT بطريقة يمكن إثباتها ومنخفضة التكلفة هو العائق الرئيسي لتوافق zkEVM. بعد Verge ، يمكن استبدال Keccak بـ Poseidon كوظيفة التجزئة المختارة لـ Ethereum.
** 7 **** 、 أفكار شخصية **
من المؤكد أن تقديم توافق EVM مع Starknet هو خطوة كبيرة إلى الأمام ، ولكن لا تزال هناك بعض المخاوف بشأن نجاح Kakarot.
** (1) مجال ZK عالي التنافسية **
المنافسون هم:
· ZK-rollup مع أنظمة إثبات مختلفة (SNARK): Scroll و zkSync و Polygon و Taiko و Linea.
· تفاؤل تراكمي · تفاؤل · قرار · قاعدة
zkVM مختلفة: RISC Zero ، Hyper Oracle
** (2) ملاءمة السوق للمنتج (PMF) **
بشكل عام ، يعد التراكم كخدمة موضوعًا مفتوحًا ، مع جانبين رئيسيين يجب مراعاتهما:
· كم عدد المجموعات التي تحتاج إلى هذه الخدمة؟
هل يفضل التراكمي بناء السيادة والتخصيص داخليًا؟
** (3) التكرار المستمر للمنتج **
تعمل Kakarot على تطوير وبناء منتج معقد للغاية من الناحية الفنية وسيتطلب على الأرجح تكرارات مستمرة حتى يكون ناجحًا.
كما أنه يعتمد على عدة مكونات ديناميكية منها:
·لبن
· حل توافر البيانات
خارطة طريق Ethereum: Verge
شاهد النسخة الأصلية
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
ما هو Kakarot zkEVM؟ لماذا شارك فيتاليك في التصويت
المؤلف: s ، محلل رأس المال الاستثماري ؛ الترجمة: Jinse Finance xiaozou
ما هو Kakarot zkEVM؟ لماذا يتم دعمه من قبل Vitalik و StarkWare؟ Kakarot يجلب EVM إلى Starknet ، مما يسهل توسيع تطبيقات EVM dApps. دعونا نلقي نظرة أعمق!
! [hfwKDyHeDzCOtpi2f7ONo0HwjzCrKqUEscdhA4fd.png] (https://img.gateio.im/social/moments-40baef27dd-4e3d07c6f7-dd1a6f-62a40f "7046922")
لقد قمنا بالتمهيد ودخلنا في وضع Super Saiyan. تم إنشاء Kakarot Labs رسميًا واستكمال التمويل المبكر الأولي مع كبار المستثمرين.
! [JbmhbcKlEPKPG2pqf8wMLLXlG7oG1M1chmGs5P2p.png] (https://img.gateio.im/social/moments-40baef27dd-963d1c10d8-dd1a6f-62a40f "7046924")
دعونا نتطلع إلى رؤية التنمية ، ونوضح الموقف الحالي ، ونتطلع إلى مستقبل مشرق.
ستقدم هذه المقالة بشكل رئيسي ما يلي: 1. ما هو CairoVM؟ 2. ما هي القاهرة؟ 3. هندسة EVM ؛ 4. هندسة Kakarot ؛ 5. تصنيف نوع zkEVM ؛ 6. خارطة طريق Kakarot ؛ 7. الأفكار الشخصية.
Kakarot zkEVM هو نموذج EVM تم نشره باستخدام لغة Cario ، مما يزيد من موثوقية نظام Starknet البيئي من خلال تحسين توافق EVM. دعونا نفهم خطوة بخطوة.
** 1. **** ما هو **** CairoVM ****؟ **
يعمل Kakarot على الجهاز الافتراضي CairoVM ، وهو البنية التحتية لشركة Starknet. الميزات الرئيسية لـ CairoVM هي كما يلي:
· تمثيل التنفيذ كمعادلة متعددة الحدود للتنفيذ الذي يمكن إثباته.
السماح لجميع معاملات Starknet باستخدام التحقق من STARK.
! [iQ9DV8EFT4wJauDGrvRqLOuBRDOvKvrp9yXjWBIb.png] (https://img.gateio.im/social/moments-40baef27dd-a076a9e440-dd1a6f-62a40f "7046925")
** 2. ما هو Cario؟ **
Cario هي بنية وحدة المعالجة المركزية (CPU) الصديقة لـ Turing-Complete.
· Turing Complete: النظام قادر على حساب أي حساب / برنامج ممكن.
ودية ستارك: نظام التوثيق StarkWare. تم إثبات النزاهة الحسابية خارج السلسلة بواسطة المحققين والتحقق منها بواسطة المحققين على السلسلة.
إذن ، كيف يعمل Cario؟ يمكن للمطورين استخدام القاهرة لكتابة البرامج في CaroVM ووصف عبارات البيان بلغة عالية المستوى (سيتم إثباتها). يعمل هذا على تحسين تجربة التطوير حيث يمكن للمطورين الاستفادة من قابلية التوسع في ZK Proofs (ZKPs) دون الحاجة إلى تعلم كيفية كتابة الدوائر المعقدة.
** 3. معمارية **** EVM **
بنية EVM هي بنية VM (آلة افتراضية) ناضجة ومحددة جيدًا مع:
142 كود تشغيل: التعليمات التي يستخدمها جهاز EVM لتنفيذ المعاملات والعقود الذكية (SC). مطلوب رسوم غاز للتنفيذ.
9 مجموعات مسبقة: عقود ذكية مدمجة في Ethereum للتعامل مع العمليات المشتركة. يمكن الاستدعاء برسوم غاز قياسية.
** 4. كاكاروت **** الهيكل **
تم تطوير Kakarot على أساس CairoVM ، وهو:
· مترجم الشفرة الثانوية EVM
· نشر العقود الذكية على Starknet
· استخدم لغة Cario
يدعم Kakarot:
· نشر عقد EVM الذكي كما هو
كاكاروت ليس:
· بلوكتشين
المترجم: لا يحول كود Solidity للقاهرة
اعتبارًا من مايو 2023:
تم تحقيق بنية تشفير ثنائية بنسبة 100٪ (النوع 3 zkEVM)
تم تجميع 9 EVM مسبقًا لتحقيق 8
بعد تنفيذ جميع التجميعات المسبقة 9 EVM ، سيصبح Kakarot من النوع 2.5 zkEVM.
! [hPYhuUBeoeThNFXPchm2ayMRrtCjcNsNEhA8W3QW.png] (https://img.gateio.im/social/moments-40baef27dd-47b3cf9078-dd1a6f-62a40f "7046926")
** 5 ، zkEVM ******** النوع **** النوع **
** (1) النوع 1 zkEVM | مكافئ تمامًا لـ Ethereum **
لا توجد تغييرات على نظام Ethereum لدعم إنشاء دليل أسهل.
ميزة:
الحل النهائي لتوسيع Ethereum
عيب:
· الحوسبة المكثفة
وقت الإثبات طويل (يستغرق ساعات)
مثال:
· التمرير
· تايكو
** (2) النوع 2 zkEVM | مكافئ تمامًا لـ EVM **
تعديلات طفيفة على نظام Ethereum (وظائف التجزئة المختلفة) تجعل التطوير أسهل وإثبات التوليد بشكل أسرع.
ميزة:
دعم معظم تطبيقات Ethereum dApps
عيب:
لا يزال عدم كفاءة وعدم صداقة جهاز EVM موجودًا
مثال:
· التمرير
** (3) النوع 2.5 zkEVM | مكافئ لـ EVM (باستثناء رسوم الغاز) **
تكاليف الغاز المضافة لعمليات محددة في EVM يصعب إثباتها باستخدام ZK.
ميزة:
أقل خطورة من تغييرات EVM الأوسع
عيب:
انخفاض توافق أدوات التطوير
· بعض dApps غير متوافقة
** (4) النوع 3 zkEVM | مكافئ تقريبًا لـ EVM **
تمت إزالة الميزات التي كان من الصعب تنفيذها (مثل التجميع المسبق).
ميزة:
· أوقات إثبات أسرع
· تطوير أسهل EVM
عيب:
· تحتاج بعض dApps إلى إعادة كتابتها
مثال:
· التمرير
· مضلع
** (5) Tpye **** 4 **** zkEVM | **** مكافئة للغة عالية المستوى **
يتم تجميع كود مصدر العقد الذكي (لغة عالية المستوى) إلى لغة صديقة لـ ZK-SNARK.
ميزة:
· تجنب الكثير من النفقات العامة
عيب:
قد يكون عنوان العقد مختلفًا عن العنوان الموجود في نموذج EVM
قد لا يدعم الرمز الثنائي EVM المكتوب بخط اليد
· لا يمكن توريث البنية التحتية لتصحيح الأخطاء لأنها تعمل على الرمز الثانوي EVM.
مثال:
· zkSync
· Nethermind
** 6 **** 、 خريطة طريق كاكاروت **
** (1) المرحلة 1 | إحضار EVM إلى Starknet **
سوف يتواجد Kakarot في البداية في Starknet باعتباره جهاز EVM مضمّن. ستكون تجربة التطوير وتجربة المستخدم (UX) مماثلة لـ Polygon أو Scroll أو Ethereum.
! [wurUEDSGr1IpJZNwDXX30LzoxIIS1YDimkHO3MDP.png] (https://img.gateio.im/social/moments-40baef27dd-2305d74327-dd1a6f-62a40f "7046927")
** (2) المرحلة 2 | L3 zkEVM **
يسمح نشر سلاسل تطبيقات zkEVM عبر Kakarot بتسوية المعاملات على Starknet باستخدام إثبات الصلاحية.
من خلال دمج Kakarot و Madara Starknet Sequencer (مُسلسِل Starknet المستند إلى الركيزة) في مكدس موحد.
** (3) المرحلة 2 | zkEVM-Rollup as a-Service **
بنقرة واحدة فقط ، يتلقى التراكمي:
نشر zkEVM الخاصة بالتطبيقات على Starknet
· الوصول إلى بيئة EVM
سرعة التنفيذ
رسوم الغاز المنخفضة: استخدام حلول توفر البيانات (Celestia و EigenLayer)
· أمن التشفير
مزايا zkEVM-Rollup-as-a-Service:
قم بتشغيل عقود Solidity الذكية في CairoVM باستخدام Kakarot
يمكن تشغيل أي عقد ذكي من Solidity يتم نشره على EVM على Starknet دون تغيير الكود
أفضل ما في العالمين:
الكفاءة مع EVM
· تصبح العقود الذكية قابلة للإثبات
! [CIGvELn5WNQzzYGURF8IKhIUzQFNwpeM9j8L7NR0.png] (https://img.gateio.im/social/moments-40baef27dd-20b13bed9a-dd1a6f-62a40f "7046928")
** (**** 4 ****) المرحلة 3 | النوع 1 zkEVM **
لدخول هذه المرحلة ، يجب على كاكاروت:
· استخدم القاهرة لكتابة قواعد إجماع Ethereum داخل العقد الكاملة لـ Madara و Kakarot لإثبات إجماع L1.
تحولت من Pedersen Merkle Patricia Trie (MPT) إلى Keccak MPT.
ومع ذلك ، فإن المرحلة 3 غير مؤكدة. يعتمد ذلك على خارطة طريق Ethereum: Verge. حاليًا ، يعد تنفيذ Keccak MPT بطريقة يمكن إثباتها ومنخفضة التكلفة هو العائق الرئيسي لتوافق zkEVM. بعد Verge ، يمكن استبدال Keccak بـ Poseidon كوظيفة التجزئة المختارة لـ Ethereum.
** 7 **** 、 أفكار شخصية **
من المؤكد أن تقديم توافق EVM مع Starknet هو خطوة كبيرة إلى الأمام ، ولكن لا تزال هناك بعض المخاوف بشأن نجاح Kakarot.
** (1) مجال ZK عالي التنافسية **
المنافسون هم:
· ZK-rollup مع أنظمة إثبات مختلفة (SNARK): Scroll و zkSync و Polygon و Taiko و Linea.
· تفاؤل تراكمي · تفاؤل · قرار · قاعدة
zkVM مختلفة: RISC Zero ، Hyper Oracle
** (2) ملاءمة السوق للمنتج (PMF) **
بشكل عام ، يعد التراكم كخدمة موضوعًا مفتوحًا ، مع جانبين رئيسيين يجب مراعاتهما:
· كم عدد المجموعات التي تحتاج إلى هذه الخدمة؟
هل يفضل التراكمي بناء السيادة والتخصيص داخليًا؟
** (3) التكرار المستمر للمنتج **
تعمل Kakarot على تطوير وبناء منتج معقد للغاية من الناحية الفنية وسيتطلب على الأرجح تكرارات مستمرة حتى يكون ناجحًا.
كما أنه يعتمد على عدة مكونات ديناميكية منها:
·لبن
· حل توافر البيانات
خارطة طريق Ethereum: Verge