اقترح فيتاليك بوتيرين نموذجًا أطول أجلاً لمعاملات إيثريوم، حيث يركز الفكرة الأساسية على فصل "الإجراءات" و"الاعتمادات" في المعاملات. تُعنى الأولى بتغيير الحالة على السلسلة، بينما تُستخدم الثانية لإثبات أن المعاملة استوفت شروط التوقيع وإثبات الحالة والصلاحية قبل التنفيذ. ووفقًا لهذا النهج، يمكن إنجاز جزء من أعمال التحقق قبل دخول المعاملات إلى الكتلة، مما يوسع مساحة المعالجة المتوازية.
سيتم معالجة التحقق من التداول والتنفيذ بشكل منفصل
في عملية التداول الحالية لإيثيريوم، يتم عادةً دمج التفويض ودفع رسوم المعاملة وتنفيذ العقد في نفس سلسلة المعالجة. يجب على العقد التحقق من صحة التوقيع، وما إذا كان المرسل قادرًا على دفع الرسوم، وما إذا كان تنفيذ المعاملة ناجحًا أم لا.
يعتقد بوتيرين أن جزءًا من هذه الفحوصات لا يعتمد على التغييرات في الحالة النهائية، ويمكن نظريًا معالجتها بشكل منفصل أولاً. على سبيل المثال، يمكن تصنيف التوقيعات الرقمية، وإثباتات الصفرية المعرفة، أو بعض إثباتات الصلاحية التي لا تعتمد على تغييرات الحالة على السلسلة، ضمن قسم "الاعتماد".
إذا تمكّن المعاملات من الإعلان بوضوح عن الحالات التي ستقوم بزيارتها، فإن خزانة الذاكرة ستتمكن بسهولة أكبر من تحديد الشروط التي ستتأثر بها المعاملات السابقة، والفحوصات التي يمكن إكمالها مسبقًا. هذا يعني أن المعاملات الأكثر قابلية للتنبؤ بها قد تحصل على كفاءة تحقق أعلى.
EIP-8141 لا يزال في مرحلة المسودة
المقابل لهذا المفهوم هو مسودة اقتراح تُسمى EIP-8141. يُقدّم هذا الاقتراح نوعًا جديدًا من المعاملات يُسمى Frame Transaction، والذي يقسم المعاملة إلى عدة إطارات استدعاء لمعالجة التفويض والتحقق، ودفع رسوم المعاملة، وتنفيذ إجراءات المستخدم بشكل منفصل.
وفقًا للتصميم المقترح، لم تعد صلاحية المعاملة ودفع الرسوم تعتمد بالكامل على التوقيع القياسي الخارجي. يمكن لرمز الحساب تعريف طرق التفويض وقواعد الدفع الخاصة به. تقوم إطار المصادقة بالتحقق من صحة الشروط، بينما يقوم إطار الإرسال بتعديل الحالة فعليًا.
يُنظر أيضًا إلى هذا الهيكل على أنه يساعد في تبني تنسيق معاملات أكثر توافقًا بين شبكات EVM المختلفة. ومع ذلك، لا يزال EIP-8141 حاليًا مشروعًا أساسيًا، ولم يتم تضمينه في ترقيات شبكة إيثريوم الرئيسية، ولا يوجد وقت نشر محدد حتى الآن.
كما تم طرح عدة قضايا تقنية خلال المناقشات بين المطورين، بما في ذلك مخاطر هجوم خدمة الرفض، وقواعد استبدال المعاملات، وتوافق的钱包 وبناء الكتل، وقيود المخزن المؤقت العام على عدد المعاملات المعلقة من نفس المرسل. لا تزال هذه القضايا بحاجة إلى مزيد من التقارب.
STARK متكرر أو تقليل التحقق المتكرر
الاتجاه طويل الأمد الذي اقترحه بوتيرين لا يقتصر على EIP-8141. كما أنه يتصور أنه بالنسبة للـ"اعتمادات النقيّة" التي لا تحتاج إلى الوصول إلى حالة السلسلة، يمكن إجراء فحص أولي على مستوى خزان الذاكرة، بدلاً من تكرار التنفيذ من قبل كل مدقق.
في هذا النموذج، يمكن للشبكة ضغط عدة مهام تحقق مكتملة في إثبات STARK تكراري، ثم يتحقق المُحقق من إثبات مجمّع واحد. الهدف من ذلك هو تقليل الحسابات المتكررة وضغط جزء من عبء التحقق.
كما أشار إلى أن هذا الأسلوب قد يساعد مستقبلاً إيثريوم على التكيف مع مخططات التشفير ما بعد الكمي. السبب هو أن التوقيعات المقاومة للكمية عادة ما تكون أكبر حجماً وأعلى تكلفة في التحقق. إذا تمكّن الحسابات من تخصيص طرق التفويض، مع دمجها مع تجميع البراهين التكرارية، فقد تنخفض تكاليف التحقق ذات الصلة.
ومع ذلك، فإن هذا الجزء من المحتوى لا يزال في مرحلة البحث ولا يُعد جزءًا من المواصفات الحالية لـ EIP-8141. لتحقيق التنفيذ الفعلي، لا يزال يتعين حل قضايا توليد الإثبات، والتنسيق مع مجموعة الذاكرة، وتوافر البيانات، وحماية التجميع الخاطئ.