المصدر: تحجيم الإيثريوم بكفاءة ؛ التجميع: مجتمع ستاركنت الصيني
ملخص
إثبات صحة التراكمية هي الطريقة الأكثر احتمالية لزيادة إنتاجية Ethereum بطريقة آمنة ولا مركزية ؛ zkEVM و Cairo VM (CVM) هما الجهازان الظاهريان (VM) المستخدمان في نوع Rollup of Validity Proof.
يركز zkEVM على توافق Ethereum على حساب الأداء وقابلية التوسع.
يعطي Cairo VM الذي تبنته Starknet الأولوية للأداء وقابلية التوسع على التوافق.
كانت التراكميات موضوعًا ساخنًا هذا العام حول توسيع نطاق Ethereum. من بين الأنواع المختلفة من التراكمية ، نعتقد أن مجموعة إثبات الصلاحية (المشار إليها فيما يلي باسم VR ، أو zk-rollup) هي الحل التوسعي الواعد لزيادة إنتاجية Ethereum بطريقة آمنة ولا مركزية. جوهر مخطط التوسع هذا هو استخدام براهين الصلاحية للحسابات التي يمكن التحقق منها. وإليك كيف يعمل:
على عكس معالجة كل معاملة على الشبكة الرئيسية لإيثريوم ، ينفذ المشغل المعاملة في بيئة خارج السلسلة. البيئة خارج السلسلة هي L2 ، طبقة التشغيل التي تعمل فوق Ethereum.
بعد اكتمال معالجة المعاملات المجمّعة ، يُرجع عامل التشغيل L2 النتيجة إلى حالة Ethereum ، جنبًا إلى جنب مع إثبات الصلاحية للتحقق من سلامة التنفيذ خارج السلسلة. يضمن هذا الدليل أن جميع المعاملات في نفس الدفعة صالحة ويتم التحقق منها بشكل مستقل بواسطة عقد التحقق على السلسلة. تسمح هذه العملية لـ Ethereum بتطبيق النتيجة على حالتها.
! [الميزات الفنية التفصيلية لـ Rollup و Cairo VM لإثبات الصلاحية] (https://img.gateio.im/social/moments-40baef27dd-5541fb57dd-dd1a6f-62a40f)
مجموعة إثبات الصلاحية
يرجى ملاحظة ما يلي: غالبًا ما يُطلق على مجموعات إثبات الصلاحية التراكمية عن طريق الخطأ مجموعات Zero-Knowledge Rollups (zkRollup) ، وهي ليست دقيقة. معظم مجموعة إثباتات الصلاحية لا تستخدم براهين صفرية المعرفة ، ولا يتم استخدامها لضمان الخصوصية. لذلك ، فإن المصطلح "Validity Proof Rollup" أكثر دقة.
آلة افتراضية خارج السلسلة
قبل أن نذهب إلى أبعد من ذلك ، نحتاج إلى الإجابة على السؤال الأول: ما هو الجهاز الظاهري (VM)؟ باختصار ، الجهاز الظاهري هو بيئة يمكن تشغيل البرامج فيها ، مثل نظام تشغيل Windows يعمل على جهاز Mac. ينتقل الجهاز الظاهري بين الحالات بعد إجراء الحسابات على بعض المدخلات. جهاز Ethereum Virtual Machine (EVM) هو الجهاز الظاهري الذي يدير عقود Ethereum الذكية.
الآلة الافتراضية التي لا تعرف صفرًا (zkVM) هي بيئة تنفيذ البرنامج التي تولد ، جنبًا إلى جنب مع إخراج البرنامج ، أدلة على الصلاحية يمكن التحقق منها بسهولة. يتم استخدام إثبات الصلاحية لإثبات أن البرنامج قد تم تنفيذه بشكل صحيح. عند استخدام المصطلح "zkEVM" ، فإنه يشير عادةً إلى مجموعة التحديثات التي تدير جهاز Ethereum Virtual Machine (EVM) ويمكن أن تشهد على تنفيذ EVM. يمكن أن تكون هذه المصطلحات مضللة لأن EVM نفسه لا يمكن أن يولد هذه البراهين ؛ بدلاً من ذلك ، يتم إنتاج البراهين بواسطة آلية مثقف منفصلة تأخذ نتيجة تنفيذ EVM كنقطة انطلاق لها. بالإضافة إلى ذلك ، جميع البراهين المذكورة أعلاه تتعلق بالصلاحية وليس لها علاقة بالخصوصية. لذلك ، لا يمكن أن يطلق عليه إثبات عدم المعرفة على وجه الدقة. من أجل الاتساق ، لا يزال المصطلح التقليدي "zkEVM" مستخدمًا في هذه المقالة.
بينما تهدف جميع مجموعات إثبات الصلاحية إلى توسيع نطاق Ethereum باستخدام إثبات الصلاحية ، فإن المخططات المختلفة تتخذ خيارات مختلفة حول كيفية تنفيذ VM للمعاملات خارج السلسلة. اختارت العديد من إثباتات الصلاحية Rollup تكرار تصميم EVM (ومن هنا جاء الاسم "zkEVM rollup") ، في محاولة لتكرار Ethereum على مجموعة L2. تستخدم Starknet جهاز Cairo VM (CVM) ، وهو جهاز افتراضي جديد مصمم لتحسين كفاءة إثبات الصلاحية.
الطريقتان المذكورتان أعلاه لها مزاياها وعيوبها ومقايضاتها ، لكن zkEVM تضحي بالأداء من أجل توافق Ethereum ، بينما يضع Cairo VM الأداء فوق التوافق ويعطي الأولوية لقابلية التوسع.
فهم كيفية عمل zkEVM
zkEVM عبارة عن مجموعة إثبات صحة مصممة لتقديم تجربة Ethereum بالكامل على L2 blockchain. الغرض من ذلك هو نسخ بيئة مطور Ethereum إلى Rollup. مع zkEVM ، لا يحتاج المطورون إلى تعديل الكود أو التخلي عن أدوات EVM الأصلية (والعقود الذكية) عند كتابة العقود الذكية أو تحويلها إلى حلول التوسع.
هذا النهج به عيب رئيسي ، مما يقلل من قابلية التوسع في براهين الصلاحية. نظرًا للتركيز على التوافق مع Ethereum ، فإن zkEVM أبطأ وأكثر كثافة للموارد. على عكس CVM ، لم يتم تصميم EVM مع وضع كفاءة الإثبات في الاعتبار. هذا يحد من استخدام التحسينات في تحسين الكفاءة وقابلية التوسع ، مما يؤثر في النهاية على الأداء العام للنظام.
إمكانية إثبات EVM
يكمن التحدي الأساسي لنهج zkEVM في المخطط الأصلي المتأصل لـ EVM ، والذي لم يتم تصميمه في الأصل للتشغيل في بيئة إثبات الصلاحية. لذلك ، إذا تم بذل كل الجهود لتحقيق وظائف Ethereum ، فلا يمكن إطلاق الإمكانات الكاملة لإثبات الصلاحية ، مما يؤدي إلى كفاءة غير مرضية. يؤدي عدم الكفاءة هذا في النهاية إلى انخفاض الأداء العام للنظام. يتم إعاقة توافق EVM مع براهين الصلاحية من خلال:
** تستخدم EVM نموذجًا قائمًا على المكدس ، بينما تثبت الصلاحية أنها أكثر كفاءة للنموذج القائم على التسجيل. ** تجعل الطبيعة القائمة على التكديس لـ EVM من الصعب بطبيعتها إثبات صحة تنفيذها وتوفر دعمًا مباشرًا لسلسلة أدواتها الأصلية.
** يعتمد تخطيط تخزين Ethereum بشكل كبير على Keccak وأشجار Merkle Patricia الكبيرة ، وكلاهما غير مناسب لإثبات الصلاحية ويحمل عبئ إثبات ضخم. ** على سبيل المثال ، Keccak سريع جدًا بالنسبة إلى معماريات x86 (تُستخدم عادةً لتشغيل EVM) ، ولكنها تستغرق 90 ألف خطوة لإثباتها (تتطلب عناصر مدمجة خاصة). في حين أن Pedersen (دالة تجزئة صديقة للصفر) تتطلب 32 خطوة فقط. حتى مع الضغط المتكرر ، لا يزال استخدام Keccak في zkEVM يستهلك الكثير من موارد المثقف ، ويتحمل المستخدم التكلفة في النهاية.
لذلك ، تم تصميم أنواع مختلفة من zkEVM لتوفير مستويات مختلفة من الدعم لأدوات Ethereum ، ولكن كلما زاد توافق zkEVM مع Ethereum ، انخفض الأداء. (انظر نهاية المقال لمزيد من أنواع zkEVM)
! [الميزات الفنية التفصيلية لـ Rollup و Cairo VM لإثبات الصلاحية] (https://img.gateio.im/social/moments-40baef27dd-1027d56940-dd1a6f-62a40f)
فهم كيفية عمل Cairo-VM
لقد استثمر حل zkEVM الكثير من وقت التطوير في "جعل EVM مناسبًا لمجموعة التحقق من الصحة" ، مع إعطاء الأولوية للتوافق على الأداء طويل المدى وقابلية التوسع. هناك خيار آخر: اعتماد آلة افتراضية مخصصة جديدة ، وإضافة طبقة إضافية لدعم أدوات Ethereum. هذه هي الخطوة التي تتخذها Starknet ، بإطلاق مجموعة إثبات صحة غير مصرح بها في تشرين الثاني (نوفمبر) 2021. Starknet هو أول مجموعة إثبات صحة تقوم بتنفيذ منصة عقد ذكية للأغراض العامة في شبكة قابلة للتكوين بالكامل.
Starknet تتبنى Cairo-VM (CVM) وتقوم بإنشاء لغة القاهرة التي تحمل نفس الاسم. تم تصميم Cairo-VM لتوليد فعال لإثبات صحة تنفيذ البرنامج.
مع Cairo (VM ولغة البرمجة) يمكن:
إثبات فعالية التحسين ، كل تعليمة لها تعبير جبري صالح
لغة حديثة شبيهة بالصدأ لكتابة برامج يمكن إثباتها
التعبيرات الوسيطة (سييرا) بين لغة القاهرة رفيعة المستوى وتجميع القاهرة (تعليمات VM) ، والتي يمكنها تنفيذ كود القاهرة بكفاءة
يمكن تطوير لغة جديدة تمامًا وفقًا لاحتياجات محددة ، ويمكن أن تتضمن ميزات لم تكن متوفرة من قبل ، وتلبية الاحتياجات الجديدة.
القاهرة والتعددية في الترميز
من أجل إنشاء دليل على صحة بعض الحسابات ، يجب أولاً التعبير عن هذا الحساب كسلسلة من القيود الرياضية التي تصف الحساب. العملية معقدة ، وتكمن الصعوبة في تحسين الحسابات من أجل الكفاءة ، وهناك حاجة إلى أدوات محددة.
تم تصميم لغة القاهرة لتبسيط هذه المهمة بحيث يمكن لـ StarkEx بسهولة إضافة وظائف ومنطق عمل معقد. يتم تجميع برامج القاهرة في كود آلة جبري ، تسلسل من الأرقام ، يتم تنفيذه بواسطة جهاز افتراضي واحد ثابت. في القاهرة ، يتم تلخيص العملية المعقدة لتوليد قيود رياضية تصف الحسابات (صعبة للغاية لإثباتات الصلاحية) ويتم التعبير عنها كمجموعة ثابتة من القيود (أقل من 50 قيدًا في المجموع). يسمح هذا للمطورين بتوسيع التطبيقات بإثباتات الصلاحية عن طريق كتابة التعليمات البرمجية بصيغة مألوفة دون فهم الرياضيات الأساسية والبنية التحتية.
يتضح التزام Starknet بالابتكار في نهجها لتعددية الكود. تعتمد القاهرة تقنية STARK لتحقيق وظائف الامتداد المثلى ، ولا تقتصر على كتابة العقود مع بيئة القاهرة المحلية. يمكن للمطورين أيضًا اختيار الطريقة الأنسب:
** الترميز المحلي في القاهرة: ** Cairo 1.0 مستوحى من Rust ، والذي يتماشى بشكل أكبر مع عادات استخدام المطورين وأكثر أمانًا. تصبح كتابة منطق البرنامج أسهل وأقل عرضة للخطأ.
** توافق Solidity: ** يمكن لمطوري Solidity كتابة كود يدعم Cairo VM. يوفر هذا النهج تجربة مطور مشابهة لـ Ethereum ويدعم ترحيل عقود Solidity الذكية إلى Starknet. هناك طريقتان لتنفيذ الترحيل:
** الترجمة: ** الترجمة هي عملية تحويل شفرة المصدر لإحدى لغات البرمجة إلى لغة أخرى. قام فريق Nethermind ببناء transpiler Warp لتحويل كود Solidity إلى القاهرة. تجعل Warp عقود Solidity الذكية محمولة على Starknet ، مما يجعلها نوعًا رابعًا من zkEVM. يتم استخدامه حاليًا لترجمة ونشر عقود Uniswap مع الحد الأدنى من التغييرات.
** zkEVM على Starknet: ** يمكن استخدام جهاز Cairo VM لإثبات تنفيذ جهاز افتراضي آخر. Kakarot هو zkEVM مكتوب في القاهرة ويمكن استخدامه لتشغيل عقود Ethereum الذكية على Starknet. Cairo VM و zkEVM ليسا في منافسة ، بدلاً من الاختيار بين الاثنين ، من الأفضل أن يكون لديك كلاهما!
على الرغم من أن القاهرة لم تكن موجودة منذ فترة طويلة ، وفقًا لتصنيفات TVL ، إلا أن القاهرة هي رابع أكثر لغات برمجة العقود الذكية شيوعًا ، حيث تقدر قيمتها بأكثر من 350 مليون دولار.
لخص
يهدف zkEVM إلى تكرار بيئة مطور Ethereum في Rollup والسماح للمطورين باستخدام أدوات Ethereum المألوفة. لكن هذا النهج يحد من إمكانات براهين الصلاحية ويستهلك موارد كثيرة.
لا يخضع جهاز Cairo VM المصمم لإثباتات الصلاحية لقيود جهاز EVM. يدعم Cairo VM Cairo 1.0. مستوحى من لغة Rust ، يعتبر Cairo 1.0 أكثر انسجامًا مع عادات المطورين وأكثر أمانًا ، ويشكل أداة قوية مصممة لاستخدام STARK لإثبات التوسع الفعال في Ethereum.
من المثير أن نرى كيف تتطور القاهرة كل أسبوع ، والخيارات للمطورين مثل Kakarot zkEVM و Warp آخذة في الازدياد. مع إنتاج Starknet dApps ، مما يدل على قوة القاهرة ، نعتقد اعتقادًا راسخًا أنه في المستقبل ، ستنتج القاهرة مشاريع رائعة لم يسبق لها مثيل من قبل.
تم تحديد ثلاثة مسارات لتوسيع SATRK أعلاه ، ولا شك في أنه سيكون هناك المزيد من الابتكارات القادمة في الأشهر المقبلة. يتمتع المطورون الآن بتحكم غير مسبوق في توسيع نطاق سلاسل الكتل.
نوع zkEVM
يقسم Vitalik zkEVM إلى أربعة أنواع رئيسية:
** المكافئ الكامل لـ Ethereum للفئة الأولى: ** لا يغير أي جزء من النظام البيئي Ethereum.
** النوع الثاني من EVM المكافئ تمامًا: ** يمكن أن يكون متوافقًا مع dApps الحالية ، وإجراء بعض التعديلات على تصميم Ethereum لتسريع إنشاء الدليل.
** الفئة الثالثة مكافئة تقريبًا لـ EVM: ** دعم معظم أكواد تشغيل EVM ، قم بإزالة بعض الوظائف التي يصعب تنفيذ zkEVM (مثل وظائف التجميع المسبق والتجزئة).
** النوع الرابع من اللغة عالية المستوى المكافئة: ** استخدم Solidity / Vyper لكتابة رمز عقد ذكي وترجمته إلى لغة صالحة ومناسبة للإثبات.
شاهد النسخة الأصلية
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
دليل مفصل على الصلاحية وخصائص Cairo VM الفنية
المصدر: تحجيم الإيثريوم بكفاءة ؛ التجميع: مجتمع ستاركنت الصيني
ملخص
كانت التراكميات موضوعًا ساخنًا هذا العام حول توسيع نطاق Ethereum. من بين الأنواع المختلفة من التراكمية ، نعتقد أن مجموعة إثبات الصلاحية (المشار إليها فيما يلي باسم VR ، أو zk-rollup) هي الحل التوسعي الواعد لزيادة إنتاجية Ethereum بطريقة آمنة ولا مركزية. جوهر مخطط التوسع هذا هو استخدام براهين الصلاحية للحسابات التي يمكن التحقق منها. وإليك كيف يعمل:
! [الميزات الفنية التفصيلية لـ Rollup و Cairo VM لإثبات الصلاحية] (https://img.gateio.im/social/moments-40baef27dd-5541fb57dd-dd1a6f-62a40f)
مجموعة إثبات الصلاحية
يرجى ملاحظة ما يلي: غالبًا ما يُطلق على مجموعات إثبات الصلاحية التراكمية عن طريق الخطأ مجموعات Zero-Knowledge Rollups (zkRollup) ، وهي ليست دقيقة. معظم مجموعة إثباتات الصلاحية لا تستخدم براهين صفرية المعرفة ، ولا يتم استخدامها لضمان الخصوصية. لذلك ، فإن المصطلح "Validity Proof Rollup" أكثر دقة.
آلة افتراضية خارج السلسلة
قبل أن نذهب إلى أبعد من ذلك ، نحتاج إلى الإجابة على السؤال الأول: ما هو الجهاز الظاهري (VM)؟ باختصار ، الجهاز الظاهري هو بيئة يمكن تشغيل البرامج فيها ، مثل نظام تشغيل Windows يعمل على جهاز Mac. ينتقل الجهاز الظاهري بين الحالات بعد إجراء الحسابات على بعض المدخلات. جهاز Ethereum Virtual Machine (EVM) هو الجهاز الظاهري الذي يدير عقود Ethereum الذكية.
الآلة الافتراضية التي لا تعرف صفرًا (zkVM) هي بيئة تنفيذ البرنامج التي تولد ، جنبًا إلى جنب مع إخراج البرنامج ، أدلة على الصلاحية يمكن التحقق منها بسهولة. يتم استخدام إثبات الصلاحية لإثبات أن البرنامج قد تم تنفيذه بشكل صحيح. عند استخدام المصطلح "zkEVM" ، فإنه يشير عادةً إلى مجموعة التحديثات التي تدير جهاز Ethereum Virtual Machine (EVM) ويمكن أن تشهد على تنفيذ EVM. يمكن أن تكون هذه المصطلحات مضللة لأن EVM نفسه لا يمكن أن يولد هذه البراهين ؛ بدلاً من ذلك ، يتم إنتاج البراهين بواسطة آلية مثقف منفصلة تأخذ نتيجة تنفيذ EVM كنقطة انطلاق لها. بالإضافة إلى ذلك ، جميع البراهين المذكورة أعلاه تتعلق بالصلاحية وليس لها علاقة بالخصوصية. لذلك ، لا يمكن أن يطلق عليه إثبات عدم المعرفة على وجه الدقة. من أجل الاتساق ، لا يزال المصطلح التقليدي "zkEVM" مستخدمًا في هذه المقالة.
بينما تهدف جميع مجموعات إثبات الصلاحية إلى توسيع نطاق Ethereum باستخدام إثبات الصلاحية ، فإن المخططات المختلفة تتخذ خيارات مختلفة حول كيفية تنفيذ VM للمعاملات خارج السلسلة. اختارت العديد من إثباتات الصلاحية Rollup تكرار تصميم EVM (ومن هنا جاء الاسم "zkEVM rollup") ، في محاولة لتكرار Ethereum على مجموعة L2. تستخدم Starknet جهاز Cairo VM (CVM) ، وهو جهاز افتراضي جديد مصمم لتحسين كفاءة إثبات الصلاحية.
الطريقتان المذكورتان أعلاه لها مزاياها وعيوبها ومقايضاتها ، لكن zkEVM تضحي بالأداء من أجل توافق Ethereum ، بينما يضع Cairo VM الأداء فوق التوافق ويعطي الأولوية لقابلية التوسع.
فهم كيفية عمل zkEVM
zkEVM عبارة عن مجموعة إثبات صحة مصممة لتقديم تجربة Ethereum بالكامل على L2 blockchain. الغرض من ذلك هو نسخ بيئة مطور Ethereum إلى Rollup. مع zkEVM ، لا يحتاج المطورون إلى تعديل الكود أو التخلي عن أدوات EVM الأصلية (والعقود الذكية) عند كتابة العقود الذكية أو تحويلها إلى حلول التوسع.
هذا النهج به عيب رئيسي ، مما يقلل من قابلية التوسع في براهين الصلاحية. نظرًا للتركيز على التوافق مع Ethereum ، فإن zkEVM أبطأ وأكثر كثافة للموارد. على عكس CVM ، لم يتم تصميم EVM مع وضع كفاءة الإثبات في الاعتبار. هذا يحد من استخدام التحسينات في تحسين الكفاءة وقابلية التوسع ، مما يؤثر في النهاية على الأداء العام للنظام.
إمكانية إثبات EVM
يكمن التحدي الأساسي لنهج zkEVM في المخطط الأصلي المتأصل لـ EVM ، والذي لم يتم تصميمه في الأصل للتشغيل في بيئة إثبات الصلاحية. لذلك ، إذا تم بذل كل الجهود لتحقيق وظائف Ethereum ، فلا يمكن إطلاق الإمكانات الكاملة لإثبات الصلاحية ، مما يؤدي إلى كفاءة غير مرضية. يؤدي عدم الكفاءة هذا في النهاية إلى انخفاض الأداء العام للنظام. يتم إعاقة توافق EVM مع براهين الصلاحية من خلال:
لذلك ، تم تصميم أنواع مختلفة من zkEVM لتوفير مستويات مختلفة من الدعم لأدوات Ethereum ، ولكن كلما زاد توافق zkEVM مع Ethereum ، انخفض الأداء. (انظر نهاية المقال لمزيد من أنواع zkEVM)
! [الميزات الفنية التفصيلية لـ Rollup و Cairo VM لإثبات الصلاحية] (https://img.gateio.im/social/moments-40baef27dd-1027d56940-dd1a6f-62a40f)
فهم كيفية عمل Cairo-VM
لقد استثمر حل zkEVM الكثير من وقت التطوير في "جعل EVM مناسبًا لمجموعة التحقق من الصحة" ، مع إعطاء الأولوية للتوافق على الأداء طويل المدى وقابلية التوسع. هناك خيار آخر: اعتماد آلة افتراضية مخصصة جديدة ، وإضافة طبقة إضافية لدعم أدوات Ethereum. هذه هي الخطوة التي تتخذها Starknet ، بإطلاق مجموعة إثبات صحة غير مصرح بها في تشرين الثاني (نوفمبر) 2021. Starknet هو أول مجموعة إثبات صحة تقوم بتنفيذ منصة عقد ذكية للأغراض العامة في شبكة قابلة للتكوين بالكامل.
Starknet تتبنى Cairo-VM (CVM) وتقوم بإنشاء لغة القاهرة التي تحمل نفس الاسم. تم تصميم Cairo-VM لتوليد فعال لإثبات صحة تنفيذ البرنامج.
مع Cairo (VM ولغة البرمجة) يمكن:
يمكن تطوير لغة جديدة تمامًا وفقًا لاحتياجات محددة ، ويمكن أن تتضمن ميزات لم تكن متوفرة من قبل ، وتلبية الاحتياجات الجديدة.
القاهرة والتعددية في الترميز
من أجل إنشاء دليل على صحة بعض الحسابات ، يجب أولاً التعبير عن هذا الحساب كسلسلة من القيود الرياضية التي تصف الحساب. العملية معقدة ، وتكمن الصعوبة في تحسين الحسابات من أجل الكفاءة ، وهناك حاجة إلى أدوات محددة.
تم تصميم لغة القاهرة لتبسيط هذه المهمة بحيث يمكن لـ StarkEx بسهولة إضافة وظائف ومنطق عمل معقد. يتم تجميع برامج القاهرة في كود آلة جبري ، تسلسل من الأرقام ، يتم تنفيذه بواسطة جهاز افتراضي واحد ثابت. في القاهرة ، يتم تلخيص العملية المعقدة لتوليد قيود رياضية تصف الحسابات (صعبة للغاية لإثباتات الصلاحية) ويتم التعبير عنها كمجموعة ثابتة من القيود (أقل من 50 قيدًا في المجموع). يسمح هذا للمطورين بتوسيع التطبيقات بإثباتات الصلاحية عن طريق كتابة التعليمات البرمجية بصيغة مألوفة دون فهم الرياضيات الأساسية والبنية التحتية.
يتضح التزام Starknet بالابتكار في نهجها لتعددية الكود. تعتمد القاهرة تقنية STARK لتحقيق وظائف الامتداد المثلى ، ولا تقتصر على كتابة العقود مع بيئة القاهرة المحلية. يمكن للمطورين أيضًا اختيار الطريقة الأنسب:
على الرغم من أن القاهرة لم تكن موجودة منذ فترة طويلة ، وفقًا لتصنيفات TVL ، إلا أن القاهرة هي رابع أكثر لغات برمجة العقود الذكية شيوعًا ، حيث تقدر قيمتها بأكثر من 350 مليون دولار.
لخص
يهدف zkEVM إلى تكرار بيئة مطور Ethereum في Rollup والسماح للمطورين باستخدام أدوات Ethereum المألوفة. لكن هذا النهج يحد من إمكانات براهين الصلاحية ويستهلك موارد كثيرة.
لا يخضع جهاز Cairo VM المصمم لإثباتات الصلاحية لقيود جهاز EVM. يدعم Cairo VM Cairo 1.0. مستوحى من لغة Rust ، يعتبر Cairo 1.0 أكثر انسجامًا مع عادات المطورين وأكثر أمانًا ، ويشكل أداة قوية مصممة لاستخدام STARK لإثبات التوسع الفعال في Ethereum.
من المثير أن نرى كيف تتطور القاهرة كل أسبوع ، والخيارات للمطورين مثل Kakarot zkEVM و Warp آخذة في الازدياد. مع إنتاج Starknet dApps ، مما يدل على قوة القاهرة ، نعتقد اعتقادًا راسخًا أنه في المستقبل ، ستنتج القاهرة مشاريع رائعة لم يسبق لها مثيل من قبل.
تم تحديد ثلاثة مسارات لتوسيع SATRK أعلاه ، ولا شك في أنه سيكون هناك المزيد من الابتكارات القادمة في الأشهر المقبلة. يتمتع المطورون الآن بتحكم غير مسبوق في توسيع نطاق سلاسل الكتل.
نوع zkEVM
يقسم Vitalik zkEVM إلى أربعة أنواع رئيسية: