شارك فيتاليك بوتيرين، المؤسس المشارك لشبكة إيثيريوم، رؤيته لتطوّر محتمل وكبير في طريقة عمل معاملات إيثيريوم. وأشار إلى أن الأبحاث الحديثة في مجالات تجريد الحسابات، وتصميم الحالة، وتجميع الأدلة التشفيرية، تساهم في فصل أوضح بين وظيفة المعاملة وما يجب إثباته قبل تنفيذها.
وقال بوتيرين إن الأبحاث الأخيرة المتعلقة بمعيار EIP-8141، ونماذج الحالة البديلة، والمفاتيح المرقّمة، ومجمعات الذاكرة القائمة على تقنية STARK العودية، أنتجت نموذجًا مفاهيميًا أكثر وضوحًا للمعاملات. وتكمن الفكرة الأساسية في التمييز بين عنصرين رئيسيين هما: “الإجراءات” و”الاعتماديات”.
أوضح بوتيرين أن “الإجراء هو التأثير الذي تحدثه المعاملة على الشبكة”. قد يبدو هذا التمييز نظريًا في المقام الأول، لكن بوتيرين يرى أن الفصل الصريح بين المفهومين قد يمكّن مطوّري إيثيريوم من تحسين كل منهما بطرق مختلفة جذريًا.
لماذا هذا الأمر مهم؟
في النظام الحالي، تتشابك عمليات التحقق من صحة المعاملات مع تنفيذها بشكل وثيق. فالعُقد تتلقى المعاملات، وتتحقق من المعلومات المطلوبة، ثم تنفّذها في النهاية. لكن بوتيرين يرى أن الاعتماديات تمتلك خصائص تجعلها مناسبة بشكل خاص لعمليات التحسين.
على سبيل المثال، يمكن فحص العديد من الاعتماديات بشكل متوازٍ في وقت واحد. بعضها يمكن فحصه بواسطة مجمع الذاكرة (الميمبول) قبل وصول المعاملة إلى الكتلة. وهناك أنواع أخرى لا تتطلب الوصول إلى حالة إيثيريوم على الإطلاق. هذه الاعتماديات “النقية” كما يسميها، يمكن فحصها مرة واحدة فقط بواسطة الميمبول دون الحاجة إلى إعادة فحصها من قبل كل مُتحقق على حدة.
تحسين الأداء عبر الأدلة المجمعة
وفقًا لبوتيرين، يمكن استبدال المجموعات الكبيرة من هذه الفحوصات في النهاية بدليل STARK واحد يثبت أن جميعها تم تنفيذها بشكل صحيح. وكتب بوتيرين: “الاعتماديات يمكن معالجتها بشكل متوازٍ”، وهو ما قد يفتح الباب أمام تسريع كبير في أداء الشبكة وتقليل التكاليف التشغيلية.
الأسئلة الشائعة
س: ما الفرق بين “الإجراءات” و”الاعتماديات” في معاملات إيثيريوم؟
ج: الإجراءات هي التأثيرات الفعلية التي تحدثها المعاملة على الشبكة، مثل تحويل العملات أو تنفيذ عقد ذكي. أما الاعتماديات فهي الشروط التي يجب التحقق منها قبل تنفيذ الإجراء، مثل التأكد من وجود رصيد كافٍ أو صحة التوقيع.
س: كيف يمكن لهذا الفصل أن يحسّن أداء شبكة إيثيريوم؟
ج: من خلال فصل الاعتماديات عن الإجراءات، يمكن فحص العديد من الشروط بشكل متوازٍ، وبعضها يمكن التعامل معه قبل إدراج المعاملة في الكتلة. كما أن الاعتماديات “النقية” التي لا تحتاج لبيانات الشبكة يمكن فحصها مرة واحدة فقط بدلًا من فحصها من قبل كل مُتحقق.
س: ما هو دور تقنية STARK في هذا التطوير؟
ج: تقنية STARK هي نوع من الأدلة التشفيرية التي تسمح بإثبات صحة مجموعة كبيرة من الفحوصات في دليل واحد صغير. بدلًا من تحقق كل عقدة من كل شرط على حدة، يمكن إنشاء دليل واحد يثبت أن جميع الشروط تم التحقق منها بشكل صحيح، مما يقلل الجهد الحسابي المطلوب بشكل كبير.
