مختبرات أوف تشين تتحدى اقتراح فيتاليك لـ RISC-V، وتقول إن WASM أفضل لبلوكتشين الإيثريوم L1

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

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

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

"نحن ندعم هذه الأهداف ولكننا نشكك في افتراض فيتاليك الضمني بأن ISA واحدة يمكن أن تخدم بشكل مثالي كلاً من إثبات ZK وتسليم العقد الذكي،" كتب ماريو ألفاريز، ماتيو كامبانيلي، تساهي زيدنبرغ ودانيال لومي.

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

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

تقوم Offchain Labs بالفعل ببناء نموذج أولي يثبت هذا المفهوم: كتل Arbitrum، بما في ذلك العقود الذكية Stylus المستندة إلى WASM، يتم إثباتها بواسطة 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 يمكن أن يقيد الإيثريوم بتقنية إثبات معينة في الوقت الذي تظهر فيه بدائل أفضل، بينما تُظهر ZK-VMs المستندة إلى WASM مثل Ligetron من Ligero بالفعل مزايا قد لا تستطيع ISAs التي تركز على الأجهزة مطابقتها.

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

مزايا WASM

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

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

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