تتحول Linea إلى RISC-V بينما تعيد التفكير في مستقبل إثباتات Ethereum

لينيّا قالت إنها تنتقل إلى بنية جديدة لإثبات المعاملات مبنية حول RISC-V، مما يمثل تحولًا كبيرًا في كيفية تخطيط مشروع إيثيريوم الطبقة الثانية للتوسع والتحقق وتطوير تقنية التكنولوجيا الخاصة به. على مدى سنوات، كانت فريق التشفير في لينيّا يسلك الطريق الصعب: حيث قام بتحويل آلة إيثيريوم الافتراضية، أو EVM، مباشرة عن طريق ترجمة كل عملية تعليمية إلى قيود رياضية يمكن لمثبت التحقق منها.

ساعد هذا النهج المشروع في الوصول إلى الشبكة الرئيسية وأنتج مواصفة تزيد عن 1,000 صفحة أصبحت نقطة مرجعية للنظام البيئي الأوسع. كما منح الفريق فهمًا عميقًا وعمليًا لداخل EVM لا يمكن لمشاريع قليلة أن تضاهيه. لكن وفقًا للينيّا، فإن نفس التصميم الذي أوصلها حتى هنا أصبح أيضًا عبئًا.

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

تقول الشركة الآن إن RISC-V يقدم طريقة أنظف وأسرع لبناء طبقة الإثبات. مقارنةً بنموذج الحالة الأكثر تعقيدًا وديناميكية لـ EVM، فإن RISC-V هو مجموعة تعليمات أبسط بكثير، مع 32 سجلًا وحوالي 40 تعليمات. بالنسبة لنظام الإثبات، تجادل لينيّا بأن هذه الفروق مهمة على الفور.

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

اليوم، تستخدم لينيّا بوسيدون بدلاً من كيك، وتحافظ على تمثيل حالتها الخاص. كان تحقيق توافق إيثيريوم من النوع الأول بالطريقة القديمة سيتطلب بناء يدوي لـ كيك، وRLP، وشجرة ميركل باتريشيا في نظام القيود. مع RISC-V، تقول لينيّا إن عميل EVM القياسي يمكن تجميعه إلى ثنائي RISC-V، مما يترك للمجمع التعامل مع تلك التفاصيل وتمكين توافق النوع الأول من البداية.

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

تحول استراتيجي في الإثبات

تقول لينيّا إن التوقيت مناسب لأن الكثير من العمل الأصعب قد تم إنجازه بالفعل. لقد شحنت الفريق نظام إنتاج، ويفهم مجموعة التعليمات المستهدفة، ويعرف متطلبات الأمان والمعمارية للبيئة التي تبني من أجلها. مع انتقال النظام البيئي الأوسع نحو نفس الأساس، تعتقد لينيّا أن سنوات خبرتها في الإثبات تترجم الآن مباشرة إلى فرصة للتحرك بشكل أسرع والبناء بتوافق أكبر.

من المهم، يقول المشروع، إن التحول لا يتخلص مما أنشأته بالفعل. سيتم استخدام لغته الأصلية القيود، zkC، لكتابة آلة RISC-V الافتراضية. يتم وصف Vortex وArcane، كطبقات للإثبات والتجميع، بأنها مستقلة عن البنية، مما يعني أنها يمكن أن تستمر في خدمة المكدس تحت التصميم الجديد. تبني لينيّا أيضًا توافق التحقق الرسمي من البداية، مع قيود مصممة لتكون قابلة للتصدير إلى أدوات مثل Lean.

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

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

رسالة لينيّا واضحة: يعتقد المشروع أن RISC-V ليس مجرد ترقية في الأداء، بل هو أساس أكثر انفتاحًا واستدامة للمرحلة التالية من توسيع إيثيريوم. تجادل بأن البنية الجديدة أسهل في الصيانة، وأسهل في التدقيق، وأسهل على المجتمع الأوسع لفهمها والمساهمة فيها.

تقول الشركة إن الخطوة تتعلق بأكثر من السرعة. إنها تتعلق ببناء مكدس يمكن أن يعيش بعد أي فريق واحد. من المتوقع صدور مزيد من التفاصيل قريبًا، ولكن في الوقت الحالي، تشير لينيّا إلى أن فصلها التالي سيتم تعريفه أقل من خلال التعقيد وأكثر من خلال قابلية التجزئة، والتوافق، والتوافق مع الاتجاه الطويل الأمد لإيثيريوم.