تتحدى Offchain Labs اقتراح Vitalik بشأن RISC-V، وتقول إن WASM أفضل لـ Ethereum L1

قامت Offchain Labs، المطور الأساسي لـ Ethereum Layer 2 Arbitrum، بتحدي اقتراح Vitalik Buterin للانتقال بطبقة التنفيذ في Ethereum إلى RISC-V، حيث نشرت منشورًا تقنيًا مفصلًا تجادل فيه بأن WebAssembly (WASM) يقدم مزايا طويلة الأمد أفضل.

في منشور بتاريخ 20 نوفمبر على Ethereum Research، يؤكد أربعة باحثين من Offchain Labs أنه على الرغم من أن RISC-V يتفوق حاليًا في توليد إثباتات ZK، إلا أن ذلك لا يجعله الخيار الصحيح لكيفية تسليم وتخزين العقود الذكية على Ethereum.

كان المؤسس المشارك لـ Ethereum، Buterin، قد طرح فكرة استبدال بايت كود Ethereum Virtual Machine بمجموعة تعليمات RISC-V مفتوحة المصدر (تُنطق "ريس-فايف") في منشور على Ethereum Magicians في أبريل، مجادلًا بأن هذا التغيير يمكن أن يقلل من تكاليف إثبات ZK على السلسلة بما يصل إلى 100 مرة في بعض الحالات. 

"نحن ندعم هذه الأهداف لكننا نشكك في الافتراض الضمني لـ Vitalik بأن مجموعة تعليمات واحدة يمكن أن تخدم بشكل أمثل كل من إثبات ZK وتسليم العقود الذكية"، كتب Mario Alvarez وMatteo Campanelli وTsahi Zidenberg وDaniel Lumi.

فصل التسليم عن الإثبات؟

يركز جوهر حجة الفريق على التمييز بين "مجموعة تعليمات التسليم" (dISA) — وهي الصيغة لتحميل العقود على السلسلة — و"مجموعة تعليمات الإثبات" (pISA) التي تستخدمها الآلات الافتراضية ZK. ويجادلون بأن هاتين لا تحتاجان أن تكونا متطابقتين.

تقوم Offchain Labs بالفعل ببناء نموذج أولي يثبت هذا المفهوم: حيث يتم إثبات كتل Arbitrum، بما في ذلك العقود الذكية المبنية على WASM Stylus، بواسطة ZK من خلال تجميع WASM أولاً إلى RISC-V ثم إثبات تنفيذ RISC-V.

"يمكننا إثبات ZK للكتل الواقعية اليوم في بلوكتشين يستخدم WASM كـ dISA، باستخدام ZK-VM قائم على RISC-V كخلفية"، كما جاء في المنشور.

قد لا يبقى RISC-V هو الأمثل

يشكك الفريق فيما إذا كان RISC-V يمثل نهاية تطور ZK-VM، مشيرين إلى أن مشهد الإثبات يتغير بسرعة. التحولات الأخيرة من تطبيقات RISC-V ذات 32 بت إلى 64 بت تبرز هذا الغموض.

يحذرون من أن تثبيت RISC-V على L1 قد يقيد Ethereum بتقنية إثبات معينة في الوقت الذي تظهر فيه بدائل أفضل، في حين أن ZK-VMs المبنية على WASM مثل Ligero's Ligetron تظهر بالفعل مزايا قد لا تستطيع مجموعات التعليمات التي تركز على العتاد مجاراتها.

في الوقت نفسه، انخفضت تكاليف إثبات ZK إلى حوالي 0.025 دولار لكل كتلة Ethereum ولا تزال في انخفاض، مما يجعل من غير الضروري التركيز فقط على كفاءة الإثبات، حسبما يجادل الباحثون. "حتى إذا تطلب L1 عدة إثباتات ZK لكل كتلة، فإن هذه التكلفة ستكون ضئيلة مقارنةً برسوم الغاز وMEV التي يمكن أن يحصل عليها منشئ الكتلة"، كتبوا. 

مزايا WASM

يسلط الفريق الضوء على التصميم المنظم لـ WASM، مما يسهل تعديل وتحسين الشيفرة دون كسر العقود الحالية. كما ينفذ WASM بكفاءة على العتاد الشائع، في حين أن معظم عقد Ethereum لا تعمل على معالجات RISC-V وسيتعين عليها محاكاتها.

تضمن قدرات التحقق في WASM أمان الأنواع وتمنع الثغرات، بينما تم اختبار بيئة أدواته الناضجة عبر مليارات من بيئات التنفيذ.

"نعتقد أن WASM يمكن أن يكون بمثابة بروتوكول الإنترنت للعقود الذكية، ليكون طبقة وسيطة مثالية بين لغات المصدر المتنوعة التي تُكتب بها العقود الذكية والخلفيات المتنوعة المستخدمة لتنفيذ وإثبات العقود الذكية"، كتب الباحثون.