Kakarot zkEVM هي آلة افتراضية Ethereum (EVM) مكتوبة في القاهرة. القاهرة هي لغة تورينج كاملة مرتبطة بـ CairoVM. يستخدم CairoVM أنظمة إثبات متعددة الحدود و ZK-STARK لتحقيق حساب يمكن إثباته.
تتمثل خاصية zkEVM في أنه يمكن إنشاء معاملات يمكن إثباتها ، لذلك يمكنه أيضًا إنشاء كتل قابلة للإثبات. Kakarot مبني على قمة CairoVM ، لذا فإن كل معاملة يتم تنفيذها على Kakarot يمكن إثباتها.
بشكل عام ، Kakarot zkEVM مكتوب بلغة القاهرة ويستخدم نظام إثبات ZK-STARK لتوفير قوة حوسبة يمكن إثباتها. إنه يمكّن المطورين من نشر تطبيقات EVM فوقه ، ويمكّن المستخدمين النهائيين من التفاعل مع هذه التطبيقات باستخدام سلسلة أدواتهم المعتادة.
أخيرًا ، سيوفر Kakarot أيضًا إمكانية التشغيل البيني مع بروتوكول Starknet ، مما يوفر إمكانية التركيب للبروتوكولات في مجالات مختلفة مثل DeFi و GameFi.
! [Kakarot: A Zk-EVM الذي اعتقد فيتاليك بوتيرين أنه رائع واستثمر فيه] (https://img.gateio.im/social/moments-69a80767fe-84870fc49c-dd1a6f-62a40f20&userId=983cb29f-1c52-4091-a69b29f-1c52-4091-a69a-8037 & cache = v2)
خريطة الطريق
بدأ المشروع في أكتوبر 2022 بعدة أهداف: المصدر المفتوح من اليوم الأول ، والأكثر طموحًا ، إنشاء zkEVM في أقل من 10000 سطر من التعليمات البرمجية. تم تحقيق ذلك في ستة أشهر فقط. وسيتم إطلاق testnet في أواخر صيف عام 2023.
** تنقسم خارطة طريق Kakarot zkEVM إلى ثلاث مراحل: **
** المرحلة 1: Kakarot zkEVM على Starknet - جلب EVM إلى Starknet **
سيتواجد Kakarot zkEVM لأول مرة في Starknet's L2 باعتباره EVM مدمجًا ، مما يتيح للمطورين نشر عقودهم الذكية Solidity (أو أي لغة متوافقة مع EVM) مباشرة على Starknet واستخدام أدواتهم المألوفة (مثل Foundry و Hardhat و Wagmi ، إلخ.) . سيتمكن المستخدمون النهائيون من التفاعل مع dApps باستخدام سلاسل أدواتهم المألوفة مثل Metamask و Wallet connect وما إلى ذلك. بشكل عام ، ستكون تجربة المطور والمستخدم على Kakarot هي نفسها تمامًا مثل Polygon أو Scroll أو Ethereum L1
** المرحلة 2: Kakarot x Madara - L3 zkEVMs **
سيتم دمج Kakarot و Madara في مكدس موحد لتمكين L3 zkEVMs وحيث يكون من المنطقي تمكين L4 و L5 وما إلى ذلك. ستكون الفرق قادرة على نشر سلسلة تطبيقات zkEVM الخاصة بهم والاستفادة من إثبات الصلاحية لتسوية المعاملات على Starknet. يتم إجراء الحسابات خارج السلسلة أو على طبقة أعلى ، والتحقق منها على السلسلة. هذه L3s لإثبات الصلاحية (مثل Kakarot) لها خاصية مثيرة للاهتمام ومُستخف بها: القدرة على فصل الأمان واللامركزية. يمكن للمستخدمين الاستفادة من أمان Ethereum L1 دون الحاجة إلى نفس المستوى من اللامركزية (أي آلاف المدققين). ومع ذلك ، بالنسبة إلى التراكمية ، تعتبر اللامركزية مفيدة لأنها تجلب الحيوية ومقاومة الرقابة ، وهما خاصيتان مهمتان للغاية. يمكن تحقيق ذلك عن طريق ضبط جهاز التسلسل بالمئات بدلاً من الآلاف. L2 لها تكلفة غاز أقل بكثير وأداء أعلى (TPS) من L2 بسبب الحساب الذي يتم في طبقة أخرى. لاحظ أن L2 أرخص بكثير من L1. التراكمية مكدسة ومضاعفة لقابلية التوسع. لتقليل تكاليف الغاز بشكل أكبر ، يمكن فصل التحقق من صحة البيانات وتوافر البيانات (DA). يمكن استخدام Starknet L2 فقط كطبقة إثبات إثبات ، بينما يمكن استخدام حلول توفر البيانات الجديدة ، مثل Celestia أو EigenDA ، لنشر بيانات المعاملات. سيكون لدى المستخدمين خيار الاشتراك في أي منهما ، اعتمادًا على احتياجاتهم الأمنية. يعد نشر البراهين وبيانات المعاملات على Starknet خيارًا أكثر أمانًا ، بينما يعد استخدام حلول DA لنشر بيانات المعاملات خيارًا أكثر اقتصادا
** المرحلة 3: Kakarot x Madara - النوع 1 zkEVM **
يمكن أيضًا دمج Kakarot و Madara لتنفيذ النوع 1 zkEVM. إذا استطعت:
اكتب قواعد إجماع Ethereum مع القاهرة في عقدة Madara x Kakarot الكاملة ، بحيث يمكن إثبات إجماع L1.
قم بالتبديل من Pedersen Merkle Patricia Trie (MPT) إلى Keccak MPT. بعد ذلك ، سيصبح Kakarot عميل zkEVM من النوع 1 قادر على التصديق على كتل L1. هذه حالة استخدام أكثر تقدمًا تعتمد على خارطة طريق Ethereum ، وخاصة Verge. بعد Verge ، يمكن استبدال keccak بـ poseidon كوظيفة التجزئة المختارة لـ Ethereum. سيساعد هذا فريق zkEVM على أن يكون من النوع 1 ، نظرًا لأن عقبة التوافق الرئيسية لـ zkEVM هي تخطيط التخزين ، أي تنفيذ Keccak MPT بتكلفة يمكن إثباتها ومعقولة.
فريق:
في منزل متسلل في لشبونة ، حوالي أسبوع من العمل المتفاني ، قام حوالي عشرة أشخاص ببناء zkEVM ، حتى الآن ، ولد فريق ** Kakarot ** الأساسي.
بمساعدة مؤسسة Starknet و Onlydust ، أصبح لدى Kakarot اليوم أكثر من 40 مساهمًا فريدًا.
** إلياس تازارتس: ** المؤسس المشارك والرئيس التنفيذي لشركة Kakarot ، وهو مطور مستقل متخصص في هندسة blockchain (Dapp و Ethereum و Algorand) والتطوير الكامل (Svelte / React و NodeJS و Rust و Python).
** كليمان والتر: ** عالمة ومهندس ورائدة أعمال وعامل بارع ولديها فضول حول كل شيء ، هذه هي مقدمة كليمان لنفسها. في الوقت نفسه ، هو المؤسس المشارك ورئيس قسم التكنولوجيا في Kakarot
! [Kakarot: Zk-EVM الذي اعتقد فيتاليك بوتيرين أنه رائع واستثمر فيه] (https://img.gateio.im/social/moments-69a80767fe-4eb80c9bde-dd1a6f-62a40f20&userId=983cb29f-1c52-401-a69b che = v2)
التمويل:
نفذت ** Kakarot ** حاليًا تمويلاً أوليًا للجولة. ولم يتم الإعلان عن مبلغ التمويل المحدد. والفرق والموظفون المشاركون في الاستثمار هم: ** Starkware، LambDa. ** يشمل المستثمرون الملاك ** فيتاليك ** ، ** نيكولاس باكا ** ، الشريك المؤسس لـ ** ليدجر ** ، و ** راند هندي ** ، الشريك المؤسس والرئيس التنفيذي لشركة ** ZAMA **.
! [Kakarot: Zk-EVM الذي اعتقد فيتاليك بوتيرين أنه رائع واستثمر فيه] (https://img.gateio.im/social/moments-69a80767fe-1cdb1ec938-dd1a6f-62a40f20&userId=983cb29f-1c52-401-a69b che = v2)
لخص:
في الوقت الحاضر ، التطور البيئي للسلاسل العامة غير المتوافقة مع EVM في مرحلة بطيئة. في الوقت الحاضر ، يتم تطوير معظم سلسلة البيئة العامة حول النظام البيئي Ethereum. Kakarot ، مثل Ethereum Virtual Machine (EVM) مكتوبة في القاهرة على Starknet ، يمكن بسرعة الربط الجيد بين بيئة Starknet وبيئة Ethereum ، على Starknet غير المتوافق مع EVM ، وتمكين بيئة Ethereum ليتم بناؤها جيدًا على Starknet ، ويقلل من حاجز الدخول للمطورين لتطوير ، والوصول إلى أمان Ethereum وخفض التكاليف. في المرحلتين الثانية والثالثة من Kakarot ، يمكن تحقيق المزيد من القابلية للتركيب ، ويمكن دمج الوحدات النمطية مثل Celestia أو EigenDA بشكل نمطي.
كما كتب ZK-EVM على Starknet ، فإن الاتصال ببيئة Starknet يشبه العلاقة بين الشفاه والأسنان ، وكلاهما مزدهر. في الوقت الحالي ، تعمل Starknet أيضًا بشكل متكرر على الترقية لتحسين تجربة المستخدم ، والاعتماد على ZK- EVM الذي بناه Kakarot ، يمكن أن يكون جيدًا للغاية.للمساهمة في الازدهار البيئي للمشروع ، على العكس من ذلك ، إذا كان تطوير Starknet غير مرضٍ ، فسوف تتأثر Kakarot أيضًا.
ميزة أخرى لـ Kakarot هي أنه يحظى بدعم V God و StarkWare ، ليس فقط روحيًا ولكن أيضًا ماليًا.
! [Kakarot: A Zk-EVM الذي اعتقد فيتاليك بوتيرين أنه رائع واستثمر فيه] (https://img.gateio.im/social/moments-69a80767fe-20a306c372-dd1a6f-62a40f20&userId=983cb29f-1c52-4091-a69b29f-1c52-401-a69b29f-1c52-4091-a69b & cache = v2)
بالمقارنة مع ZK-EVMs الأخرى ، فإن Kakarot في وضع غير مؤات - فريق من أقل من 10 أشخاص ، بميزانية وعلامة تجارية أصغر بكثير. هذا هو أحد أسباب عدم نشر Kakarot باعتباره zkEVM L2 للأغراض العامة.
في الوقت الحالي ، لا يزال Kakarot في المرحلة المبكرة ، وسيتم إطلاق testnet في المستقبل القريب ، يرجى متابعة أخبارنا.
شاهد النسخة الأصلية
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
كاكاروت: Zk-EVM الذي اعتقد فيتاليك بوتيرين أنه رائع واستثمر فيه
بقلم: ينان
مقدمة
Kakarot zkEVM هي آلة افتراضية Ethereum (EVM) مكتوبة في القاهرة. القاهرة هي لغة تورينج كاملة مرتبطة بـ CairoVM. يستخدم CairoVM أنظمة إثبات متعددة الحدود و ZK-STARK لتحقيق حساب يمكن إثباته.
تتمثل خاصية zkEVM في أنه يمكن إنشاء معاملات يمكن إثباتها ، لذلك يمكنه أيضًا إنشاء كتل قابلة للإثبات. Kakarot مبني على قمة CairoVM ، لذا فإن كل معاملة يتم تنفيذها على Kakarot يمكن إثباتها.
بشكل عام ، Kakarot zkEVM مكتوب بلغة القاهرة ويستخدم نظام إثبات ZK-STARK لتوفير قوة حوسبة يمكن إثباتها. إنه يمكّن المطورين من نشر تطبيقات EVM فوقه ، ويمكّن المستخدمين النهائيين من التفاعل مع هذه التطبيقات باستخدام سلسلة أدواتهم المعتادة.
أخيرًا ، سيوفر Kakarot أيضًا إمكانية التشغيل البيني مع بروتوكول Starknet ، مما يوفر إمكانية التركيب للبروتوكولات في مجالات مختلفة مثل DeFi و GameFi.
! [Kakarot: A Zk-EVM الذي اعتقد فيتاليك بوتيرين أنه رائع واستثمر فيه] (https://img.gateio.im/social/moments-69a80767fe-84870fc49c-dd1a6f-62a40f20&userId=983cb29f-1c52-4091-a69b29f-1c52-4091-a69a-8037 & cache = v2)
خريطة الطريق
بدأ المشروع في أكتوبر 2022 بعدة أهداف: المصدر المفتوح من اليوم الأول ، والأكثر طموحًا ، إنشاء zkEVM في أقل من 10000 سطر من التعليمات البرمجية. تم تحقيق ذلك في ستة أشهر فقط. وسيتم إطلاق testnet في أواخر صيف عام 2023.
** تنقسم خارطة طريق Kakarot zkEVM إلى ثلاث مراحل: **
سيتواجد Kakarot zkEVM لأول مرة في Starknet's L2 باعتباره EVM مدمجًا ، مما يتيح للمطورين نشر عقودهم الذكية Solidity (أو أي لغة متوافقة مع EVM) مباشرة على Starknet واستخدام أدواتهم المألوفة (مثل Foundry و Hardhat و Wagmi ، إلخ.) . سيتمكن المستخدمون النهائيون من التفاعل مع dApps باستخدام سلاسل أدواتهم المألوفة مثل Metamask و Wallet connect وما إلى ذلك. بشكل عام ، ستكون تجربة المطور والمستخدم على Kakarot هي نفسها تمامًا مثل Polygon أو Scroll أو Ethereum L1
سيتم دمج Kakarot و Madara في مكدس موحد لتمكين L3 zkEVMs وحيث يكون من المنطقي تمكين L4 و L5 وما إلى ذلك. ستكون الفرق قادرة على نشر سلسلة تطبيقات zkEVM الخاصة بهم والاستفادة من إثبات الصلاحية لتسوية المعاملات على Starknet. يتم إجراء الحسابات خارج السلسلة أو على طبقة أعلى ، والتحقق منها على السلسلة. هذه L3s لإثبات الصلاحية (مثل Kakarot) لها خاصية مثيرة للاهتمام ومُستخف بها: القدرة على فصل الأمان واللامركزية. يمكن للمستخدمين الاستفادة من أمان Ethereum L1 دون الحاجة إلى نفس المستوى من اللامركزية (أي آلاف المدققين). ومع ذلك ، بالنسبة إلى التراكمية ، تعتبر اللامركزية مفيدة لأنها تجلب الحيوية ومقاومة الرقابة ، وهما خاصيتان مهمتان للغاية. يمكن تحقيق ذلك عن طريق ضبط جهاز التسلسل بالمئات بدلاً من الآلاف. L2 لها تكلفة غاز أقل بكثير وأداء أعلى (TPS) من L2 بسبب الحساب الذي يتم في طبقة أخرى. لاحظ أن L2 أرخص بكثير من L1. التراكمية مكدسة ومضاعفة لقابلية التوسع. لتقليل تكاليف الغاز بشكل أكبر ، يمكن فصل التحقق من صحة البيانات وتوافر البيانات (DA). يمكن استخدام Starknet L2 فقط كطبقة إثبات إثبات ، بينما يمكن استخدام حلول توفر البيانات الجديدة ، مثل Celestia أو EigenDA ، لنشر بيانات المعاملات. سيكون لدى المستخدمين خيار الاشتراك في أي منهما ، اعتمادًا على احتياجاتهم الأمنية. يعد نشر البراهين وبيانات المعاملات على Starknet خيارًا أكثر أمانًا ، بينما يعد استخدام حلول DA لنشر بيانات المعاملات خيارًا أكثر اقتصادا
يمكن أيضًا دمج Kakarot و Madara لتنفيذ النوع 1 zkEVM. إذا استطعت:
فريق:
في منزل متسلل في لشبونة ، حوالي أسبوع من العمل المتفاني ، قام حوالي عشرة أشخاص ببناء zkEVM ، حتى الآن ، ولد فريق ** Kakarot ** الأساسي.
بمساعدة مؤسسة Starknet و Onlydust ، أصبح لدى Kakarot اليوم أكثر من 40 مساهمًا فريدًا.
** إلياس تازارتس: ** المؤسس المشارك والرئيس التنفيذي لشركة Kakarot ، وهو مطور مستقل متخصص في هندسة blockchain (Dapp و Ethereum و Algorand) والتطوير الكامل (Svelte / React و NodeJS و Rust و Python).
** كليمان والتر: ** عالمة ومهندس ورائدة أعمال وعامل بارع ولديها فضول حول كل شيء ، هذه هي مقدمة كليمان لنفسها. في الوقت نفسه ، هو المؤسس المشارك ورئيس قسم التكنولوجيا في Kakarot
! [Kakarot: Zk-EVM الذي اعتقد فيتاليك بوتيرين أنه رائع واستثمر فيه] (https://img.gateio.im/social/moments-69a80767fe-4eb80c9bde-dd1a6f-62a40f20&userId=983cb29f-1c52-401-a69b che = v2)
التمويل:
نفذت ** Kakarot ** حاليًا تمويلاً أوليًا للجولة. ولم يتم الإعلان عن مبلغ التمويل المحدد. والفرق والموظفون المشاركون في الاستثمار هم: ** Starkware، LambDa. ** يشمل المستثمرون الملاك ** فيتاليك ** ، ** نيكولاس باكا ** ، الشريك المؤسس لـ ** ليدجر ** ، و ** راند هندي ** ، الشريك المؤسس والرئيس التنفيذي لشركة ** ZAMA **.
! [Kakarot: Zk-EVM الذي اعتقد فيتاليك بوتيرين أنه رائع واستثمر فيه] (https://img.gateio.im/social/moments-69a80767fe-1cdb1ec938-dd1a6f-62a40f20&userId=983cb29f-1c52-401-a69b che = v2)
لخص:
في الوقت الحاضر ، التطور البيئي للسلاسل العامة غير المتوافقة مع EVM في مرحلة بطيئة. في الوقت الحاضر ، يتم تطوير معظم سلسلة البيئة العامة حول النظام البيئي Ethereum. Kakarot ، مثل Ethereum Virtual Machine (EVM) مكتوبة في القاهرة على Starknet ، يمكن بسرعة الربط الجيد بين بيئة Starknet وبيئة Ethereum ، على Starknet غير المتوافق مع EVM ، وتمكين بيئة Ethereum ليتم بناؤها جيدًا على Starknet ، ويقلل من حاجز الدخول للمطورين لتطوير ، والوصول إلى أمان Ethereum وخفض التكاليف. في المرحلتين الثانية والثالثة من Kakarot ، يمكن تحقيق المزيد من القابلية للتركيب ، ويمكن دمج الوحدات النمطية مثل Celestia أو EigenDA بشكل نمطي.
كما كتب ZK-EVM على Starknet ، فإن الاتصال ببيئة Starknet يشبه العلاقة بين الشفاه والأسنان ، وكلاهما مزدهر. في الوقت الحالي ، تعمل Starknet أيضًا بشكل متكرر على الترقية لتحسين تجربة المستخدم ، والاعتماد على ZK- EVM الذي بناه Kakarot ، يمكن أن يكون جيدًا للغاية.للمساهمة في الازدهار البيئي للمشروع ، على العكس من ذلك ، إذا كان تطوير Starknet غير مرضٍ ، فسوف تتأثر Kakarot أيضًا.
ميزة أخرى لـ Kakarot هي أنه يحظى بدعم V God و StarkWare ، ليس فقط روحيًا ولكن أيضًا ماليًا.
! [Kakarot: A Zk-EVM الذي اعتقد فيتاليك بوتيرين أنه رائع واستثمر فيه] (https://img.gateio.im/social/moments-69a80767fe-20a306c372-dd1a6f-62a40f20&userId=983cb29f-1c52-4091-a69b29f-1c52-401-a69b29f-1c52-4091-a69b & cache = v2)
بالمقارنة مع ZK-EVMs الأخرى ، فإن Kakarot في وضع غير مؤات - فريق من أقل من 10 أشخاص ، بميزانية وعلامة تجارية أصغر بكثير. هذا هو أحد أسباب عدم نشر Kakarot باعتباره zkEVM L2 للأغراض العامة.
في الوقت الحالي ، لا يزال Kakarot في المرحلة المبكرة ، وسيتم إطلاق testnet في المستقبل القريب ، يرجى متابعة أخبارنا.