فيتاليك يقترح إطاراً لإعادة هيكلة معاملات إيثريوم وفصل التحقق عن التنفيذ

أفاد موقع CoinMarketCap أن فيتاليك بوتيرين طرح نموذجاً طويل الأجل لمعالجة معاملات إيثريوم يقوم على فصل "الإجراءات" عن "الاعتماديات" داخل المعاملة. وبموجب هذا التصور، تتولى الإجراءات تعديل حالة السلسلة (on-chain state)، بينما تختص الاعتماديات بالتحقق مسبقاً من استيفاء متطلبات التوقيع وإثباتات الحالة ومتطلبات الصلاحية قبل التنفيذ. ويتيح ذلك إنجاز جزء من أعمال التحقق قبل إدراج المعاملات في الكتل، ما يفتح مجالاً أكبر للمعالجة المتوازية عبر فصل مساري التحقق والتنفيذ. في الآلية الحالية لإيثريوم تُدمج عادةً عملية التفويض ودفع الرسوم وتنفيذ العقود ضمن خط معالجة واحد، ما يُلزم العُقد بالتحقق في الوقت نفسه من صحة التوقيع وقدرة المُرسل على دفع الرسوم وما إذا كان تنفيذ المعاملة سينجح. ويرى بوتيرين أن بعض هذه الفحوص لا يعتمد على التغييرات النهائية في الحالة، ويمكن نظرياً عزله. ومن الأمثلة على ذلك التواقيع الرقمية وإثباتات عدم المعرفة (zeroknowledge proofs) أو بعض براهين الصلاحية التي لا ترتبط بتغييرات حالة السلسلة، والتي يمكن تصنيفها ضمن "الاعتماديات". وإذا صرّحت المعاملات بوضوح عن الحالات التي ستصل إليها، يصبح بإمكان الميمبول (mempool) تحديد الشروط المتأثرة بمعاملات سابقة وما يمكن إنجازه مسبقاً، بما يرفع كفاءة التحقق للمعاملات الأكثر قابلية للتنبؤ. ويترجم هذا التوجه إلى مسودة اقتراح باسم EIP8141، لا تزال في مرحلة المسودة. وتقدم المسودة نوعاً جديداً من المعاملات باسم "Frame Transaction"، يقسم المعاملة إلى عدة "call frames" للتعامل بشكل منفصل مع التحقق من التفويض ودفع الرسوم وتنفيذ عمليات المستخدم. ووفقاً للتصميم المقترح، لا تعود صلاحية المعاملة ودفع الرسوم معتمدتين بالكامل على التواقيع القياسية في الطبقة الخارجية، إذ يمكن لشفرة الحساب (account code) تعريف أساليب التفويض وقواعد الدفع الخاصة بها. ويتولى "إطار التحقق" التأكد من استيفاء الشروط، بينما يكون "إطار الإرسال" مسؤولاً عن تعديل الحالة فعلياً. كما يُنظر إلى هذا الهيكل على أنه قد يساعد في توحيد تنسيق المعاملات الأساسية عبر شبكات EVM المختلفة. رغم ذلك، يبقى EIP8141 مقترحاً جوهرياً في مرحلة المسودة ولم يُدرج بعد ضمن أي ترقية لشبكة إيثريوم الرئيسية (mainnet)، كما لا يوجد جدول نشر محدد. وخلال نقاشات المطورين طُرحت عدة قضايا تقنية، من بينها مخاطر حجب الخدمة (denial-of-service)، وقواعد استبدال المعاملات، وتوافق المحافظ وبُنّاة الكتل، وحدود عدد المعاملات المعلّقة من المُرسل نفسه في الميمبول العام. وما زالت هذه النقاط قيد البحث. ويتجاوز تصور بوتيرين EIP8141، إذ يقترح كذلك أنه بالنسبة لما يسميه "اعتماديات خالصة" لا تحتاج إلى الوصول لحالة السلسلة، يمكن إجراء فحص أولي على مستوى الميمبول بدلاً من إعادة تنفيذه مراراً لدى كل مُصدّق (validator). وضمن هذا النموذج يمكن للشبكة ضغط عدة مهام تحقق مكتملة داخل برهان STARK تراجعي (recursive STARK)، ثم التحقق منه بشكل جماعي، بهدف تقليص الحسابات المكررة وتخفيف جزء من عبء التحقق. وأشار أيضاً إلى أن هذا النهج قد يساعد إيثريوم على التكيف مستقبلاً مع مخططات التشفير المقاومة للكمّ (post-quantum cryptographic schemes)، نظراً لأن التواقيع المقاومة للكمّ تكون عادةً أكبر حجماً وأكثر كلفة في التحقق. وإذا تمكنت الحسابات من تخصيص أساليب التفويض لديها مع تجميع البراهين التراجعية، فقد تنخفض تكاليف التحقق المرتبطة بذلك. غير أن هذه الأفكار ما تزال في مرحلة البحث وليست جزءاً من مواصفات EIP8141 الحالية، كما أن تطبيقها الكامل يتطلب معالجة تحديات تشمل توليد البراهين، وتنسيق الميمبول، وتوافر البيانات، والحماية من تجميع الأخطاء.