سيتم إصدار شبكة الاختبار قريبًا، افهم Kakarot zkEVM في مقال واحد

المؤلف: إلياس تزارتس، المؤسس المشارك والرئيس التنفيذي لشركة Kakarot zkEVM؛ الترجمة: Golden Finance xiaozou

Kakarot zkEVM على وشك الدخول في إصدار الشبكة الاختبارية، ونود أن نكرر رؤيتنا: لماذا حقل القيمة التراكمية لا يزال يحتاج إلى zkEVM آخر؟

ستجيب هذه المقالة على هذا السؤال من خلال استكشاف ما الذي يجعل Kakarot مختلفًا، وكيف يوفر أبسط بنية وأكثرها مقاومة للمستقبل، وسبب أهمية Kakarot للمستخدمين النهائيين والمطورين.

يعمل منشئو EVM المبتكرون على توسيع مساحة تصميم تجربة المستخدم وسيرون بيئة دافئة وودية في Kakarot.

1، Kakarotمقدمة

Kakarot هو zkEVM تم تصميمه باستخدام لغة القاهرة، وهي لغة Starknet وجميع سلاسل StarknetOS (يمكن التحقق منه اللغة التي تدعمها سلسلةCairoVM أو سلسلة تطبيقات Starknet). Kakarot عبارة عن zkRollup متوافق مع Ethereum ويهدف إلى تحقيق التكافؤ الكامل دون التنازل مع مرور الوقت. بالإضافة إلى التوافق، تعمل Kakarot أيضًا على تحفيز المزيد من الابتكار في مساحة اللغة الثانية وإضافة ميزات جديدة إلى EVM مثل تجريد الحساب الأصلي. إن الروح الدافعة لشركة Kakarot هي الدليل والتوسع والابتكار.

2، رؤية كاكاروت

في هذه المقالة، سنقدم ما يجعل كاكاروت فريدًا وسبب أهميته بالنسبة إلى المستخدمون والبناة النهائيون مهمون. بعد سنوات من تطوير النظام البيئي للإثيريوم، قمنا بتكوين ثلاثة معتقدات راسخة: نأمل في حل المشكلات وتحقيق رؤيتنا من خلال كاكاروت.

• لا يهم إذا تجاوز TPS حدًا معينًا. يريد المستخدمون مستوى من الاستجابة يمكن مقارنته بتطبيقات web2 وتطبيقات web3 dApps السريعة. بمعنى آخر، يريد المستخدمون سرعات معاملات أقل من الثانية. وهذا يعني عادةً أن الأمر سيستغرق عدة سنوات للوصول إلى 10000 TPS (ما زلنا بحاجة إلى حل مشكلة نمو الولاية معًا).

• تمثل تكاليف المعاملات عائقًا رئيسيًا أمام التبني. وكما قال فيتاليك في منشور على مدونته: "أعتقد أن السبب وراء هذا التحول (قلة انفتاح الويب 3) هو ارتفاع رسوم المعاملات". وينبغي أن تنخفض تكاليف المعاملات في نهاية المطاف إلى ما دون سنت واحد لتحرير الناس للتجربة والابتكار.

• هناك عائق رئيسي آخر أمام التبني الجماعي وهو تجربة المستخدم. في Kakarot، نعتقد أن الوضع الحالي لتجربة مستخدم web3 بحاجة إلى التحسين بشكل كبير. على سبيل المثال، نهدف إلى توفير بديل لأولئك الذين لا يريدون إدارة عبارات التذكير، أو أولئك الذين يبحثون عن تجربة النقرة الواحدة (أي المكالمات المتعددة) المتوفرة في معظم التطبيقات اللامركزية.

بتلخيص هذه النقاط الثلاث، يمكن لـ Kakarot تشكيل التزامها تجاه المستخدمين وموقعها في المنافسة الحالية لمجموعة Ethereum:

مع توفير تكلفة منخفضة و المعاملات السريعة، يهدف Kakarot إلى قيادة الطريق من خلال التجريدات المستندة إلى الحساب (مكالمات متعددة، مُوقع المنطقة الآمنة، وما إلى ذلك) وإصدارات الميزات السريعة (على سبيل المثال، قبل عدد كبير من المستخدمين- الابتكار المتمركز مثل معظم EIP المشابهة).

3، كاكاروتالتصميم: الفصل الحتمي بين التشفير والهندسة

بمعنى ما، تعتبر هندسة كاكاروت أمرًا مسلمًا به لأنه فهو مخلوق من المبادئ الأولى. تم بناء جوهر كاكاروت باستخدام لغة القاهرة عالية المستوى. وهذا يجعل Kakarot هو zkEVM الوحيد الذي يفصل حقًا بين التشفير والهندسة، حيث يتوافق التشفير والهندسة مع "zk" و"EVM" في zkEVM على التوالي (باستثناء zeth وSP1's Reth، وهما حاليًا في مرحلة البحث).

ماذا يعني هذا الانفصال لفريقنا؟ وهذا يعني تطويرًا أسرع، ورمزًا أقل (أقل بكثير مما تحتاج إلى كتابته لدائرة مخصصة)، وصيانة أسهل، وعرضًا لجميع ابتكارات القاهرة في مجال التحقق والبرمجيات مفتوحة المصدر.

فكرة ​​الانفصال ليس فقط أنيقًا، بل هو الطريقة الوحيدة لدعم التوسع المستقبلي. لقد ثبت أنه من الصعب جدًا على zkEVM إنشاء دوائر مخصصة لدعم الانقسامات الصلبة للشبكة الرئيسية والابتكار من خلال دمج EIPs الجديدة مسبقًا.

نعتقد أن المزيد من اللاعبين في هذا المجال سوف ينتقلون إلى الأجهزة الافتراضية الوسيطة. اليوم، هناك خياران لكتابة برامج يمكن إثباتها وقابلة للتكيف هما:

• استخدام لغات LLVM ​وإثبات ذلك، مثل Rust to LLVM، وRisc-V باستخدام براهين RISC-ZERO vkVM (مثل أن يصبح كود Rust الخاص بـ revm قابلاً للإثبات هو zeth).

• استخدام لغة القاهرة، وهي لغة برمجة "مصممة بشكل مثبت" تم تصميمها خصيصًا لـCairoVM.

نحن واثقون من أن أداء القاهرة سيكون دائمًا أفضل (بينما قد تكون أجهزة zkVMs الأخرى أكثر ملاءمة) لأنها مبنية على فلسفة إثبات المفهوم، على عكس zkVMs الأخرى. . وفي السنوات القادمة، سوف تثبت القاهرة أنها الأداة الأكثر عملية وكفاءة لكتابة البرمجيات التي يمكن إثباتها.

4 ، ملتزمون بالتركيز على المستخدم

من الجيد بالتأكيد تطوير برامج بسيطة وسهلة الاستخدام، لكن المستخدمين النهائيين لا يهتمون بها. إنهم لا يهتمون بما إذا كانت الواجهة الخلفية لتطبيق Whatsapp تعمل على AWS أو السحابة الخاصة به، أو لغة البرمجة التي تمت كتابة Telegram بها. يتوقع المستخدمون النهائيون قيمة مضافة واضحة.

التحدي الذي نواجهه في بناء Kakarot هو ترجمة هذه الميزة الهندسية الضخمة (لغة وسيطة عالية المستوى يمكن إثباتها) إلى قيمة مضافة لمجتمعنا.

نريد أن نظهر قدرتنا على التكيف بسرعة مع التغيرات في إيثريوم. أول ميزتين واضحتين نقدمهما للمجتمع هما:

• سيكون Kakarot zkEVM متاحًا الشوكة الصلبة المتكاملة لشبكة Dencun الرئيسية على الفور: سيتم دمج جميع أكواد التشغيل والتحديثات الجديدة (tstore، وما إلى ذلك).

• خارطة طريق تعاونية للمنتج، واختبار المستخدم، والبناء التكراري.

دعونا نتوقف لحظة لفهم النقطة الثانية. نحن أحرار ويمكننا تنفيذ الميزات المهمة بسرعة (لأن مجتمعنا يختار ذلك). خلال مرحلة شبكة الاختبار الخاصة بنا، سنصدر ميزات جديدة ونطلب من مجتمعنا اختيار الميزات الأكثر فائدة. نحن متحمسون لتجربة بعض أفكارنا على شبكتنا الاختبارية: المكالمات المتعددة الأصلية، وEOA مع معرف الوجه (أو موقع الأجهزة)، وتجريد الحساب الأصلي للجوال أولاً، والتكامل المبكر لـ EOF، والمزيد!

بينما نستكشف ميزات جديدة مع مجتمع البناة والمستخدمين النهائيين لدينا، يرجى تذكر أن القاهرة ونظامها البيئي يتم تطويرهما بشكل نشط خلف الكواليس! يعمل أكثر من 100 موظف في شركة Starkware بجد لإنشاء الجيل القادم من أجهزة القاهرة. وفي الوقت نفسه، يقوم أكثر من 500 مطور ومشارك في البنية التحتية في مجتمع مطوري القاهرة ببناء قواعد برمجية جديدة وتحقيق اختراقات ستتمكن Kakarot من دمجها في المستقبل (مثل التنفيذ الموازي).

من الأمثلة الجيدة التي تعكس ميزتنا التنافسية أحدث أبحاث تحسين المثبتات التي أطلقتها Starkware بالتعاون مع Polygon Labs: Circle STARK. القاهرة تزداد قوة وقوة!

كاكاروت لا يستطيع فقط استخدم ابتكارات النظام البيئي النابض بالحياة في القاهرة (تحسينات السرعة المؤكدة، ودعم مكتبات الأكواد مفتوحة المصدر مثل secp256r1)، والتطوير عالي السرعة مع مرونة قوية (استيعاب الهارد فورك وEIPs).

5 ، Kakarotآخر التحديثات

بروح الاتساق الخالص وشعار "إنه يعمل فقط"، تهدف Kakarot إلى اجتياز اختبار Ethereum بنسبة 100% (مؤسسة Ethereum الرسمية) اختبار EVM). سيؤكد هذا الإنجاز توافقنا الكامل مع Ethereum وسيحرر المطورين أيضًا من مخاوف تجزئة EVM.

وبهذه الطريقة، ستوفر Kakarot تجربة تطوير سلسة، ويمكن لمنشئي EVM أن يتوقعوا العمل بسلاسة دون أي خلل أو عدم توافق مع شبكة Ethereum الرئيسية. نريد أن يركز المطورون على ما يهمهم: البروتوكول أو التطبيق اللامركزي الخاص بهم.

والآن، اجتاز كاكاروت أكثر من 90% من الاختبارات (أي أكثر من 18000 اختبار). لقد بنينا الثقة في تنفيذ EVM، والآن حان الوقت لمواجهة العالم الحقيقي.

آخر الأخبار عن Kakarot هي أننا دخلنا مرحلة testnet! ولتحقيق ذلك، قمنا بالشراكة مع Karnot وStarkware، اللذين سيساعداننا في تشغيل مكدسنا. خلال الربعين المقبلين من عام 2024، سنقوم بالتحقق من صحة تقنيتنا معك (كما نأمل) ومع مجتمعنا. يمكنك الانتباه جيدًا لتحديثاتنا على تويتر للتعرف على تاريخ افتتاح شبكة الاختبار العامة! حاليًا، شبكة الاختبار ليست مفتوحة للجمهور.

في ما يلي رسم تخطيطي مبسط لكيفية عمل شبكة اختبار Kakarot:

6، الاستنتاج

آخر أخبار Kakarot: سيتم إطلاق الشبكة التجريبية في الربعين الثاني والثالث لعام 2024.

تكمن ميزة Kakarot الفريدة في تصميمها: الوقوف على أكتاف عمالقة التشفير والتركيز على الهندسة. استفد من هذا لتصبح فريقًا أكثر قدرة على التكيف وإصدار المنتجات بشكل أسرع (قام حوالي 6 أشخاص ومساهمين ببناء تطبيقين فريدين لـ zkEVM في أقل من عام).

هدف Kakarot هو أن تكون متوافقة بنسبة 100% مع شبكة Ethereum الرئيسية. لقد تم اختبارنا بالكامل من قبل مؤسسة Ethereum لتوفير الضمان لمجتمع البناة لدينا. اعتبارًا من اليوم، اجتزنا أكثر من 90% من اختبارات الإيثريوم. هدفنا هو عدم تحمل المطورين أي عبء عقلي عندما يتعلق الأمر بالتوافق والوظائف.

تتمثل مهمة Kakarot في جلب المزيد من الابتكار إلى مجال اللغة الثانية (المكالمات المتعددة، وتوقيعات المنطقة الآمنة، وصراف الرواتب، والتنفيذ الموازي، وما إلى ذلك) مع دعم التطوير طويل المدى (النوع 1 zkEVM، وإثبات الشبكة الرئيسية ، التكافؤ النقي انتظر).

من خلال الاستفادة من القاهرة، تتمتع Kakarot بالاستقرار والتطور السريع. اسمح لنا ببعض الغطرسة: كاكاروت قادم، من المفترض أن نكون كذلك.