Validity Rollups: هل هي الخيار الأفضل لتوسيع إثيريوم؟
تعتبر الـ Validity Rollups (المعروفة أيضًا باسم zk-rollups) من بين أكثر الحلول الواعدة لزيادة سعة إيثريوم بطريقة آمنة ولامركزية. جوهر هذا الحل للتوسع هو استخدام إثباتات الفعالية لإجراء حسابات قابلة للتحقق. تعمل كما يلي:
سيقوم المشغل بتحميل تنفيذ المعاملات إلى بيئة خارج السلسلة (الطبقة الثانية). بعد معالجة عدد كبير من المعاملات، سيعيد المشغل في الطبقة الثانية النتائج لتطبيقها على حالة إثيريوم، مع تقديم إثبات صحة تكامل التنفيذ الخارجي. يضمن هذا الإثبات أن جميع المعاملات في الدفعة صالحة، ويتم التحقق منها تلقائيًا من قبل عقد المدققين على السلسلة. وهذا يمكّن إثيريوم من تطبيق النتائج على حالته.
من الجدير بالذكر أن تجميعات Validity غالبًا ما تُسمى بشكل خاطئ تجميعات المعرفة الصفرية، لكن هذا ليس دقيقًا. معظم تجميعات Validity لا تستخدم إثباتات المعرفة الصفرية، ولا تُستخدم لضمان الخصوصية. لذلك، فإن مصطلح "Validity Rollup" هو الأكثر ملاءمة.
في Validity Rollups، يعتبر zkEVM وCairo VM (CVM) نوعين شائعين من الآلات الافتراضية. يركز zkEVM على التوافق مع إثيريوم، لكنه يضحي بالأداء والقابلية للتوسع. بينما تضع Starknet المتمثلة في Cairo VM الأداء والقابلية للتوسع فوق التوافق.
آلة افتراضية ( VM ) هي بيئة يمكنها تشغيل البرامج، مشابهة لتشغيل نظام تشغيل Windows على Mac. إنها تتحول بين حالات مختلفة بعد معالجة بعض المدخلات. آلة افتراضية إثيريوم ( EVM ) هي VM لتشغيل عقود إثيريوم الذكية.
آلة الافتراضية المعرفة صفر(zkVM) هي بيئة تنفيذ البرامج التي يمكن أن تولد إثباتات صحة سهلة التحقق، لإثبات أن البرنامج قد تم تنفيذه بشكل صحيح. "zkEVM" يشير عادةً إلى استخدام آلة إثيريوم الافتراضية(EVM) القادرة على إثبات التجميعات الناتجة عن تنفيذ EVM. قد يكون هذا المصطلح مضللاً، حيث إن EVM نفسها لا تولد هذه الإثباتات؛ بل يتم توليد الإثباتات بواسطة آلية إثبات مستقلة تعتمد على نتائج تنفيذ EVM. علاوة على ذلك، تركز هذه الإثباتات بشكل أساسي على الصحة بدلاً من الخصوصية، لذا فهي ليست إثباتات معرفة صفر بالمعنى الدقيق.
يهدف zkEVM إلى إدخال تجربة إثيريوم بالكامل إلى سلسلة الكتل Layer-2. يحاول نسخ بيئة إثيريوم للمطورين، مما يمكنهم من كتابة أو نقل العقود الذكية إلى حلول أكثر قابلية للتوسع دون الحاجة لتغيير الشيفرة أو التخلي عن أدوات EVM. ومع ذلك، فإن العيب الرئيسي لهذه الطريقة هو تقليل إمكانات توسيع إثبات الفعالية. بسبب التزامه بالتوافق مع إثيريوم، فإن سرعة zkEVM أبطأ واستهلاك الموارد أعلى.
بالمقارنة، يعتمد Starknet على Cairo VM (CVM)، وهي نوع جديد من VMs مصممة خصيصًا لتحسين كفاءة إثبات الفعالية. يسمح Cairo VM للمطورين بتخصيصه وفقًا للاحتياجات المحددة، ويأتي مزودًا بميزات تلبي المتطلبات الجديدة.
تم تصميم لغة كايرو في الأصل لتبسيط عملية إنشاء إثباتات كفاءة الحساب. يتم تجميع برامج كايرو إلى كود آلة جبرية، يتم تنفيذه بواسطة VM ثابت. تتيح هذه الطريقة للمطورين الاستفادة من إثباتات الكفاءة لتوسيع تطبيقاتهم دون الحاجة إلى فهم الرياضيات والبنية التحتية الأساسية بعمق.
تقدم ستارك نت طرق تشفير متنوعة. يمكن للمطورين اختيار كتابة الشيفرة الأصلية في كايرو، أو الاستفادة من أدوات التوافق مع سوليدتي. على سبيل المثال، يمكن لمترجم وورب تحويل شيفرة سوليدتي إلى كايرو، بينما كاكاروت هو zkEVM مكتوب بكايرو، يمكنه تشغيل العقود الذكية لإيثيريوم على ستارك نت.
بشكل عام، يهدف zkEVM إلى نسخ بيئة إيثريوم، ولكن قد يحد من إمكانيات إثبات الفعالية. تم تصميم Cairo VM خصيصًا لأنظمة إثبات الفعالية، غير مقيد بـ EVM، مما يوفر كفاءة ومرونة أعلى. مع استمرار تطور نظام Starknet البيئي، أصبح لدى المطورين الآن قدرة غير مسبوقة على التحكم في توسيع البلوكشين.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 14
أعجبني
14
5
إعادة النشر
مشاركة
تعليق
0/400
BearMarketMonk
· منذ 13 س
تجميل النقاط هذه ليست مشكلة، الأمر يعتمد بشكل أساسي على ما إذا كان v胖 سيقوم بتجميل النقاط~
شاهد النسخة الأصليةرد0
digital_archaeologist
· 08-10 13:29
من يفهم؟ هناك الكثير من L2
شاهد النسخة الأصليةرد0
ApyWhisperer
· 08-10 13:26
التسمم عميق جدًا، يجب أن ننظر إلى الواقع الافتراضي
Validity Rollups و zkEVM: مناقشة مزايا وعيوب حلول توسيع إثيريوم
Validity Rollups: هل هي الخيار الأفضل لتوسيع إثيريوم؟
تعتبر الـ Validity Rollups (المعروفة أيضًا باسم zk-rollups) من بين أكثر الحلول الواعدة لزيادة سعة إيثريوم بطريقة آمنة ولامركزية. جوهر هذا الحل للتوسع هو استخدام إثباتات الفعالية لإجراء حسابات قابلة للتحقق. تعمل كما يلي:
سيقوم المشغل بتحميل تنفيذ المعاملات إلى بيئة خارج السلسلة (الطبقة الثانية). بعد معالجة عدد كبير من المعاملات، سيعيد المشغل في الطبقة الثانية النتائج لتطبيقها على حالة إثيريوم، مع تقديم إثبات صحة تكامل التنفيذ الخارجي. يضمن هذا الإثبات أن جميع المعاملات في الدفعة صالحة، ويتم التحقق منها تلقائيًا من قبل عقد المدققين على السلسلة. وهذا يمكّن إثيريوم من تطبيق النتائج على حالته.
من الجدير بالذكر أن تجميعات Validity غالبًا ما تُسمى بشكل خاطئ تجميعات المعرفة الصفرية، لكن هذا ليس دقيقًا. معظم تجميعات Validity لا تستخدم إثباتات المعرفة الصفرية، ولا تُستخدم لضمان الخصوصية. لذلك، فإن مصطلح "Validity Rollup" هو الأكثر ملاءمة.
في Validity Rollups، يعتبر zkEVM وCairo VM (CVM) نوعين شائعين من الآلات الافتراضية. يركز zkEVM على التوافق مع إثيريوم، لكنه يضحي بالأداء والقابلية للتوسع. بينما تضع Starknet المتمثلة في Cairo VM الأداء والقابلية للتوسع فوق التوافق.
آلة افتراضية ( VM ) هي بيئة يمكنها تشغيل البرامج، مشابهة لتشغيل نظام تشغيل Windows على Mac. إنها تتحول بين حالات مختلفة بعد معالجة بعض المدخلات. آلة افتراضية إثيريوم ( EVM ) هي VM لتشغيل عقود إثيريوم الذكية.
آلة الافتراضية المعرفة صفر(zkVM) هي بيئة تنفيذ البرامج التي يمكن أن تولد إثباتات صحة سهلة التحقق، لإثبات أن البرنامج قد تم تنفيذه بشكل صحيح. "zkEVM" يشير عادةً إلى استخدام آلة إثيريوم الافتراضية(EVM) القادرة على إثبات التجميعات الناتجة عن تنفيذ EVM. قد يكون هذا المصطلح مضللاً، حيث إن EVM نفسها لا تولد هذه الإثباتات؛ بل يتم توليد الإثباتات بواسطة آلية إثبات مستقلة تعتمد على نتائج تنفيذ EVM. علاوة على ذلك، تركز هذه الإثباتات بشكل أساسي على الصحة بدلاً من الخصوصية، لذا فهي ليست إثباتات معرفة صفر بالمعنى الدقيق.
يهدف zkEVM إلى إدخال تجربة إثيريوم بالكامل إلى سلسلة الكتل Layer-2. يحاول نسخ بيئة إثيريوم للمطورين، مما يمكنهم من كتابة أو نقل العقود الذكية إلى حلول أكثر قابلية للتوسع دون الحاجة لتغيير الشيفرة أو التخلي عن أدوات EVM. ومع ذلك، فإن العيب الرئيسي لهذه الطريقة هو تقليل إمكانات توسيع إثبات الفعالية. بسبب التزامه بالتوافق مع إثيريوم، فإن سرعة zkEVM أبطأ واستهلاك الموارد أعلى.
بالمقارنة، يعتمد Starknet على Cairo VM (CVM)، وهي نوع جديد من VMs مصممة خصيصًا لتحسين كفاءة إثبات الفعالية. يسمح Cairo VM للمطورين بتخصيصه وفقًا للاحتياجات المحددة، ويأتي مزودًا بميزات تلبي المتطلبات الجديدة.
تم تصميم لغة كايرو في الأصل لتبسيط عملية إنشاء إثباتات كفاءة الحساب. يتم تجميع برامج كايرو إلى كود آلة جبرية، يتم تنفيذه بواسطة VM ثابت. تتيح هذه الطريقة للمطورين الاستفادة من إثباتات الكفاءة لتوسيع تطبيقاتهم دون الحاجة إلى فهم الرياضيات والبنية التحتية الأساسية بعمق.
تقدم ستارك نت طرق تشفير متنوعة. يمكن للمطورين اختيار كتابة الشيفرة الأصلية في كايرو، أو الاستفادة من أدوات التوافق مع سوليدتي. على سبيل المثال، يمكن لمترجم وورب تحويل شيفرة سوليدتي إلى كايرو، بينما كاكاروت هو zkEVM مكتوب بكايرو، يمكنه تشغيل العقود الذكية لإيثيريوم على ستارك نت.
بشكل عام، يهدف zkEVM إلى نسخ بيئة إيثريوم، ولكن قد يحد من إمكانيات إثبات الفعالية. تم تصميم Cairo VM خصيصًا لأنظمة إثبات الفعالية، غير مقيد بـ EVM، مما يوفر كفاءة ومرونة أعلى. مع استمرار تطور نظام Starknet البيئي، أصبح لدى المطورين الآن قدرة غير مسبوقة على التحكم في توسيع البلوكشين.