تقدم Offchain Labs ردًا على دفع Vitalik Buterin لـ RISC-V مع حجة لصالح WASM على إثيريوم L1

تجادل Offchain Labs بأن إثيريوم يجب أن تفصل بين مجموعات التعليمات للتسليم والإثبات للحفاظ على المرونة على المدى الطويل.

تشير الفريق إلى أن التحولات السريعة في تصميمات ZK-VM تخلق حالة من عدم اليقين بشأن قفل إثيريوم في RISC-V.

يقدم WASM استقرارًا هيكليًا، وتوافقًا مع الأجهزة، وميزات تحقق قوية لتنفيذ العقود الذكية على السلسلة.

قدّم باحثو Offchain Labs تحديًا مفصلاً لاقتراح فيتاليك بوترين لتحويل طبقة تنفيذ إثيريوم نحو مجموعة تعليمات RISC-V. وقدمت وجهة نظرهم هيكلًا مختلفًا لتقييم كيفية تعامل إثيريوم مع كود العقود الذكية. قدم الباحثون نتائجهم في مناقشة في نوفمبر على Ethereum Research، حيث فحصوا كيف يمكن أن تعمل WebAssembly كصيغة تسليم طويلة الأمد لطبقة 1 من إثيريوم.

يؤكد الباحثون على الأدوار المميزة لأنظمة التسليم والإثبات

شرح الفريق كيف تعتمد أنظمة العقود الذكية على طبقتين مختلفتين. وصفوا مجموعة تعليمات التسليم التي تحدد كيف تظهر العقود على السلسلة. كما أوضحوا مجموعة تعليمات الإثبات المستخدمة من قبل الآلات الافتراضية ZK للتحقق من التنفيذ. ذكروا أن هذه الأدوار لا تحتاج إلى مشاركة نفس التصميم.

وصف منشورهم هذا الفصل كطريقة تحافظ على المرونة لأنظمة الإثبات المستقبلية. وأشاروا إلى العمل الجاري الذي يجمع عقود WASM في RISC-V قبل إثباتها. وأضافوا أن هذا النهج يعمل بالفعل داخل اختبارات Arbitrum التي تعالج بيانات الكتل الحية.

درس الباحثون التغيرات السريعة في تطوير ZK-VM. وأشاروا إلى أن تطبيقات RISC-V انتقلت مؤخرًا من تصميمات 32 بت إلى 64 بت. وذكروا أن هذا التغيير يخلق عدم يقين حول تحسين الأنظمة على المدى الطويل. وركزوا على خطر تضمين ISA موجهة نحو الأجهزة في الطبقة الأساسية لإثيريوم بينما تطور مشاريع ZK-VM الأخرى هياكل إثبات بديلة. وأشاروا إلى جهود الإثبات الموجهة نحو WASM مثل Ligero’s Ligetron كأمثلة على الاتجاهات الجديدة في هذا المجال.

تكاليف الإثبات تستمر في الانخفاض عبر النظام البيئي

وصف المنشور الانخفاض في تكاليف إثبات ZK. وذكر الباحثون أن التكاليف الحالية تقترب من 0.025 دولار لكل كتلة إثيريوم. وأضافوا أن التكاليف تستمر في الانخفاض مع تطور أنظمة الإثبات. وشرحوا أن هذه الأرقام تقلل من الحاجة إلى تصميم تنسيق التسليم حول كفاءة الإثبات فقط.

وأشاروا إلى أن المطورين لا يزال بإمكانهم جمع رسوم الغاز و MEV التي تفوق تكاليف الإثبات في ظل ظروف الكتل العادية. وأشار الباحثون إلى تنسيق WASM المنظم. وأوضحوا أن هذا الهيكل يجعل تحديثات الشيفرة أسهل دون كسر العقود الحالية. وأضافوا أن WASM يعمل بكفاءة على الأجهزة الشائعة المستخدمة من قبل معظم عقد إثيريوم.

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