تعتبر Rollups (VRs) من أكثر التقنيات الواعدة لتعزيز قدرة إثيريوم بطريقة آمنة ولامركزية. في هذا المجال، تُعد zkEVM و Cairo VM (CVM) من اثنتين من الحلول الرئيسية لتنفيذ الآلات الافتراضية.
تركز zkEVM على التوافق مع إثيريوم، لكن هذا الخيار يضحي إلى حد ما بالأداء وقابلية التوسع. بالمقابل، تضع Cairo VM التي تعتمدها Starknet الأداء وقابلية التوسع في المقدمة، بدلاً من التوافق التام.
تتمثل جوهر Validity Rollups في استخدام إثباتات الصلاحية لإجراء حسابات قابلة للتحقق. تعمل على تحويل معالجة المعاملات إلى بيئة خارج السلسلة، أي الطبقة الثانية. بعد معالجة عدد كبير من المعاملات، يقوم المشغل بإرسال النتائج والإثباتات مرة أخرى إلى شبكة إثيريوم الرئيسية، حيث تتحقق العقود الذكية من سلامة التنفيذ.
من الجدير بالذكر أن مصطلح "التجميع بدون معرفة" يُستخدم كثيرًا، ولكنه في الواقع غير دقيق. فإن معظم Validity Rollup لا تستخدم إثباتات بدون معرفة، ولا تم تصميمها لحماية الخصوصية.
آلة افتراضية هي بيئة يمكنها تنفيذ البرامج، مثل تشغيل نظام ويندوز على جهاز ماك. آلة إثيريوم (EVM) هي البيئة التي تشغل العقود الذكية لإثيريوم. أما آلة المعرفة الصفرية (zkVM) فهي نوع خاص من بيئات التنفيذ، حيث لا تقوم بتنفيذ البرامج فحسب، بل يمكنها أيضًا توليد إثباتات صحة سهلة التحقق.
تحاول zkEVM نسخ تجربة إثيريوم في الطبقة الثانية، مما يتيح للمطورين الاستمتاع بقدرة توسعية أعلى دون الحاجة إلى تغيير الشيفرة أو الأدوات. ومع ذلك، فإن هذه الطريقة تجلب بعض التحديات، ويرجع ذلك أساسًا إلى أن EVM لم يتم تصميمه مع أخذ كفاءة الإثبات في الاعتبار.
إن نموذج EVM القائم على المكدس، والاعتماد على تجزئة Keccak وشجرة Merkle Patricia الكبيرة، يجعل من الصعب والموارد كثيفة إنتاج إثباتات الصلاحية. لهذا السبب، قامت تطبيقات zkEVM المختلفة بإجراء توازنات مختلفة بين التوافق مع إثيريوم والأداء.
بالمقارنة، تم تصميم Cairo VM خصيصًا لتوليد إثباتات الفعالية بكفاءة. يستخدم لغة عالية جديدة تسمى Cairo، والتي تم تحسينها لتوليد الإثباتات. تشمل مزايا Cairo VM ما يلي:
كل أمر له تمثيل جبري عالي الكفاءة
لغات مشابهة لـ Rust تستخدم لكتابة برامج يمكن إثباتها
تم تحسين كفاءة التنفيذ من خلال تمثيل وسيط بين Cairo المتقدم وCairo Assembly.
كايــرو لا يبسط فقط عملية إثبات الحسابات المعقدة، بل يوفر أيضًا خيارات ترميز متعددة للمطورين. يمكن للمطورين كتابة التعليمات البرمجية مباشرة باستخدام كايــرو، أو استخدام سوليدتي من خلال مترجم أو تشغيلها على zkEVM في ستارك نت.
على الرغم من أن كايرو لا يزال صغيرًا ، إلا أنه أصبح اللغة الرابعة في تصنيف العقود الذكية من حيث القيمة الإجمالية المقفلة (TVL) ، مما جذب الكثير من الأموال للاستثمار.
بشكل عام، يمثل zkEVM و Cairo VM نوعين مختلفين من أفكار التوسع. يهدف zkEVM إلى تكرار بيئة إثيريوم، لكنه قد يقيد إمكانيات نظام الإثبات. بينما تم تصميم Cairo VM خصيصًا لنظام الإثبات، على الرغم من التضحية ببعض التوافق، إلا أن له مزايا واضحة من حيث الكفاءة وقابلية التوسع.
مع تطور التطبيقات على Starknet، يظهر Cairo إمكانيات قوية. في المستقبل، سيكون لدى المطورين المزيد من الخيارات لتوسيع البلوكشين، ولا شك أن Validity Rollups ستلعب دورًا مهمًا في مسار توسيع إثيريوم.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 12
أعجبني
12
2
إعادة النشر
مشاركة
تعليق
0/400
WalletDivorcer
· منذ 18 س
لقد لعبت لفترة طويلة وما زلت لا أفهم ماذا تعني layer2
Validity Rollups: zkEVM وCairo VM يقودان عصر جديد لتوسيع إثيريوم
Validity Rollups: إثيريوم توسعة الطريق الذهبي
تعتبر Rollups (VRs) من أكثر التقنيات الواعدة لتعزيز قدرة إثيريوم بطريقة آمنة ولامركزية. في هذا المجال، تُعد zkEVM و Cairo VM (CVM) من اثنتين من الحلول الرئيسية لتنفيذ الآلات الافتراضية.
تركز zkEVM على التوافق مع إثيريوم، لكن هذا الخيار يضحي إلى حد ما بالأداء وقابلية التوسع. بالمقابل، تضع Cairo VM التي تعتمدها Starknet الأداء وقابلية التوسع في المقدمة، بدلاً من التوافق التام.
تتمثل جوهر Validity Rollups في استخدام إثباتات الصلاحية لإجراء حسابات قابلة للتحقق. تعمل على تحويل معالجة المعاملات إلى بيئة خارج السلسلة، أي الطبقة الثانية. بعد معالجة عدد كبير من المعاملات، يقوم المشغل بإرسال النتائج والإثباتات مرة أخرى إلى شبكة إثيريوم الرئيسية، حيث تتحقق العقود الذكية من سلامة التنفيذ.
من الجدير بالذكر أن مصطلح "التجميع بدون معرفة" يُستخدم كثيرًا، ولكنه في الواقع غير دقيق. فإن معظم Validity Rollup لا تستخدم إثباتات بدون معرفة، ولا تم تصميمها لحماية الخصوصية.
آلة افتراضية هي بيئة يمكنها تنفيذ البرامج، مثل تشغيل نظام ويندوز على جهاز ماك. آلة إثيريوم (EVM) هي البيئة التي تشغل العقود الذكية لإثيريوم. أما آلة المعرفة الصفرية (zkVM) فهي نوع خاص من بيئات التنفيذ، حيث لا تقوم بتنفيذ البرامج فحسب، بل يمكنها أيضًا توليد إثباتات صحة سهلة التحقق.
تحاول zkEVM نسخ تجربة إثيريوم في الطبقة الثانية، مما يتيح للمطورين الاستمتاع بقدرة توسعية أعلى دون الحاجة إلى تغيير الشيفرة أو الأدوات. ومع ذلك، فإن هذه الطريقة تجلب بعض التحديات، ويرجع ذلك أساسًا إلى أن EVM لم يتم تصميمه مع أخذ كفاءة الإثبات في الاعتبار.
إن نموذج EVM القائم على المكدس، والاعتماد على تجزئة Keccak وشجرة Merkle Patricia الكبيرة، يجعل من الصعب والموارد كثيفة إنتاج إثباتات الصلاحية. لهذا السبب، قامت تطبيقات zkEVM المختلفة بإجراء توازنات مختلفة بين التوافق مع إثيريوم والأداء.
بالمقارنة، تم تصميم Cairo VM خصيصًا لتوليد إثباتات الفعالية بكفاءة. يستخدم لغة عالية جديدة تسمى Cairo، والتي تم تحسينها لتوليد الإثباتات. تشمل مزايا Cairo VM ما يلي:
كايــرو لا يبسط فقط عملية إثبات الحسابات المعقدة، بل يوفر أيضًا خيارات ترميز متعددة للمطورين. يمكن للمطورين كتابة التعليمات البرمجية مباشرة باستخدام كايــرو، أو استخدام سوليدتي من خلال مترجم أو تشغيلها على zkEVM في ستارك نت.
على الرغم من أن كايرو لا يزال صغيرًا ، إلا أنه أصبح اللغة الرابعة في تصنيف العقود الذكية من حيث القيمة الإجمالية المقفلة (TVL) ، مما جذب الكثير من الأموال للاستثمار.
بشكل عام، يمثل zkEVM و Cairo VM نوعين مختلفين من أفكار التوسع. يهدف zkEVM إلى تكرار بيئة إثيريوم، لكنه قد يقيد إمكانيات نظام الإثبات. بينما تم تصميم Cairo VM خصيصًا لنظام الإثبات، على الرغم من التضحية ببعض التوافق، إلا أن له مزايا واضحة من حيث الكفاءة وقابلية التوسع.
مع تطور التطبيقات على Starknet، يظهر Cairo إمكانيات قوية. في المستقبل، سيكون لدى المطورين المزيد من الخيارات لتوسيع البلوكشين، ولا شك أن Validity Rollups ستلعب دورًا مهمًا في مسار توسيع إثيريوم.