تدرس مؤسسة إيثيريوم تأكيدات للمعاملات تتيح للمستخدمين إرفاق شروط قابلة للإنفاذ بالنتيجة النهائية للمعاملة، بدلاً من الاعتماد فقط على الموافقة على الإجراء المطلوب. ويستهدف هذا البحث، الذي يندرج ضمن مبادرة «أمن تريليون دولار»، ثغرة في سلامة المعاملات: فالتوقيع الصحيح لا يضمن أن الأرصدة أو الأذونات أو ضوابط الحساب الناتجة تطابق ما قصده الموقّع.
أهم النقاط
- ستقيّم عمليات التحقق المقترحة نتائج المعاملات أثناء التنفيذ، وستعكس الإجراءات التي تخرق قاعدة موقّعة.
- تعتمد الحماية على قواعد تُعتمد بشكل مستقل عن مُنشئ معاملات قد يكون مخترقاً.
- قد يدعم البحث سياسات أمان المحافظ والوكلاء المفوّضين وآليات عمل جهات حلّ المعاملات، لكنه لا يمثل إعلاناً عن إطلاق.
جدول المحتويات
- لماذا قد تؤدي الموافقة على معاملة إلى خسارة رغم ذلك
- كيف ستتحقق تأكيدات المعاملات من النتيجة
- ما الذي سيتيحه التنفيذ المقترح
- ما التغييرات المطلوبة في المحافظ والبروتوكولات
- ما الذي قد تستفيده الوكلاء وآليات عمل جهات الحلّ
- الخلاصة
لماذا قد تؤدي الموافقة على معاملة إلى خسارة رغم ذلك
تنفذ إيثيريوم الطلب الذي يصرّح به المستخدم في ضوء الشيفرة والحالة المتاحتين عند التنفيذ. وقد تختلف هذه الظروف عما راجعه المستخدم. فعلى سبيل المثال، قد يتغير تنفيذ وكيل قبل التنفيذ، كما قد يؤدي ترتيب المعاملات إلى تغيير السعر الذي تواجهه عملية مبادلة.
تميز المؤسسة بين الطلبات المضللة والنتائج غير المرغوب فيها. ففي هجومي Bybit وBadgerDAO، عرضت واجهات أمامية مخترقة طلبات توقيع تختلف عما اعتقد المستخدمون أنهم يوافقون عليه. وعلى النقيض من ذلك، قد يسمح طلب معروض بدقة بنتيجة ضارة اقتصادياً.
وتورد المؤسسة مثالاً على مبادلة ضمانات بين Aave وCoW شملت نحو 50.4 مليون دولار من aEthUSDT. فقد أدت سيولة AAVE المحدودة وسقف الغاز لدى CoW إلى عرض سعر موثّق بلغ نحو 329 من aEthAAVE. وعلى الرغم من ظهور تحذير من تأثير سعري قدره 99.9% وتأكيد أن القيمة بأكملها قد تُفقد، وقّع المستخدم وحصل على رموز تبلغ قيمتها نحو 36,000 دولار.
يوضح هذا التمييز سبب عدم كفاية تحسين أوصاف المعاملات وحده. إذ يساعد التوقيع الواضح (Clear Signing) المستخدمين على فهم الإجراء المطلوب. وتحاكي المحاكاة الآثار استناداً إلى حالة محددة للسلسلة. لكن أياً منهما لا يفرض بمفرده شرطاً مستقلاً على النتيجة التي تتحقق فعلياً.
| العنصر | التفاصيل |
|---|---|
| TXTRACE | يسرد صافي تغييرات الحالة والأحداث الصادرة عن المعاملة. |
| TXDIFF | يسترجع القيم الابتدائية والنهائية لعناوين وخانات تخزين محددة. |
| EVENTDATACOPY | ينسخ بيانات حدث إلى الذاكرة لفحصها. |
| معلومات النشر | تتضمن بيانات تغييرات الحالة المقترحة العقود المنشأة حديثاً وبصمات شيفرتها. |
كيف ستتحقق تأكيدات المعاملات من النتيجة
سيقارن التأكيد الحالة الابتدائية والنهائية للمعاملة باستخدام منطق للقراءة فقط بعد تنفيذ إجراءاتها. وسيُدرج الشرط في المعاملة ويُوقّع مع الإجراءات. وإذا لم يتحقق، فستُعكس تلك الإجراءات.
قد تشمل القواعد المحتملة حداً أدنى للمبلغ المستلَم، أو سقفاً للإنفاق، أو قيوداً على الموافقات الجديدة للرموز، أو الحفاظ على منطق التحكم في الحساب. وتتجاوز إمكانات الفحص المقترحة الأرصدة لتشمل التخزين والشيفرة والعقود المنشأة حديثاً والأحداث الصادرة.
توفر فحوص العقود الحالية حماية لبعض النتائج المحددة. إذ يمكن لـUniswap رفض عمليات المبادلة التي تقل عن حد أدنى محدد للناتج، ويمكن لآلية حراسة Safe فحص حالة الحساب بعد التنفيذ. لكن القيد يكمن في نطاق الرؤية: إذ يتعين على هذه الفحوص أن تتوقع ما ينبغي فحصه، وتعتمد عموماً على الواجهات التي تتيحها العقود الأخرى. فعلى سبيل المثال، ليس ملزماً أن يوفر الوكيل دالة تكشف عن عنوان تنفيذه.
ستتيح التأكيدات الأصلية فحص الأثر الصافي الكامل للمعاملة، بما في ذلك التغييرات التي قد لا تعرف آلية الحراسة العادية ضرورة البحث عنها. لكن اتساع نطاق الرؤية لا يفيد إلا إذا كانت القاعدة موثوقة. فقد تزود واجهة أمامية خبيثة المستخدم بشرط يسمح بهجومها، ولذلك يجب أن تستند السياسة إلى نية معتمدة بشكل مستقل، أو سياسة للحساب، أو منطق بروتوكول محمي.
ما الذي سيتيحه التنفيذ المقترح
يصف إعلان المؤسسة بشأن تأكيدات المعاملات الأصلية EIP-7906 بأنه تنفيذ محتمل، لا تصميماً نهائياً. وهو يستند إلى معاملات الإطارات الواردة في EIP-8141، التي ترتب خطوات التحقق والإجراءات في تسلسل محدد. ومن المقرر إدراج EIP-8141 في Hegotá؛ أما EIP-7906 فقد بلغ مرحلة «قيد النظر للإدراج»، لكنه لم يتأكد لهذا التحديث.
وفق هذا النهج، سيفحص إطار POST_TX للقراءة فقط النتائج عند نهاية التنفيذ. وستعمل تعليمات الوصول إلى البيانات المقترحة ضمن ذلك الإطار فقط، لا في جميع أنحاء EVM.
ستصف المعلومات الآثار الصافية، لا سجلاً لكل عملية كتابة وسيطة. فإذا تغيرت خانة تخزين مراراً، فستظهر قيمتاها الابتدائية والنهائية؛ أما الخانة التي تعود إلى قيمتها الأصلية فلن تظهر. وهذا يجعل التمييز بين فرض الشروط على الحالة النهائية ومراقبة كل خطوة من خطوات التنفيذ أمراً مهماً.
إذا فشل الفحص، فسيُعكس جسم التنفيذ، لكن المعاملة ستظل موجودة في الكتلة باعتبارها فاشلة. وسيظل دافع رسوم الغاز يدفع مقابل الغاز المستهلك، لمنع المعاملات التي تُفشل عمداً من تحميل مُنشئي الكتل أعمال تنفيذ مجانية.
ما التغييرات المطلوبة في المحافظ والبروتوكولات
يقدم المقترح آلية للتحقق، لا إلزاماً تلقائياً باستخدامها. وبالنسبة إلى معاملات المستخدم، سيتعين على المحفظة إدراج سياسة السلامة ضمن إنشاء المعاملة، بدلاً من ترك المجال للمُنشئ لإغفالها. وقد تستند هذه السياسة إلى محاكاة المحفظة نفسها أو تُطبّق كقاعدة دائمة للحساب.
أما البروتوكولات، فسيتعين تضمين الحماية في شروط الوصول إلى الوظيفة المحمية. ولن يكفي تقديم معاملة تدعم التأكيدات؛ إذ يجب أن يتضمن الاستدعاء الفحص المحدد الذي يشترطه البروتوكول. وسيغيّر ذلك متطلبات التكامل للجهات المستدعية، في حين لا يمكن إضافة فحص القبول هذا بأثر رجعي إلى العقود الثابتة المنشورة بالفعل.
تفصل هذه الاعتماديات بين قدرة محتملة القوة في EVM وبين ضمان موجّه للمستخدم. إذ تتطلب الحماية الفعالة شرطاً سليماً وبرمجيات تجعل هذا الشرط حتمياً باستمرار.
ما الذي قد تستفيده الوكلاء وآليات عمل جهات الحلّ
يمكن تقييد الوكلاء المفوّضين من خلال النتائج إلى جانب الأذونات. إذ يمكن استكمال حدود العقود التي يجوز للوكيل استخدامها أو مقدار ما يمكنه إنفاقه بمتطلبات تحكم ما تتركه كل معاملة وراءها.
وفي التنفيذ القائم على جهات الحلّ، يمكن للبروتوكول تحديد نتيجة مقبولة مع السماح لجهة الحلّ باختيار المسار. وسيقتصر الضمان على معاملة ضمن شبكة واحدة، لا مسار يمتد عبر عدة سلاسل.
كما يمكن للتأكيدات فحص إتمام خطوات التنظيف في سير العمل، مثل إعادة الرموز غير المستخدمة وإلغاء الموافقات المتبقية. وتطلب المؤسسة ملاحظات فرق المحافظ والبروتوكولات مع استمرار تطوير التصميم، ما يجعل هذه التطبيقات المحتملة مسارات بحث لا ميزات منتجات معلنة.
الخلاصة
ستنقل تأكيدات المعاملات الأصلية جزءاً من سلامة معاملات إيثيريوم من تفسير الطلب إلى فرض نتيجته. وستعتمد قيمتها العملية على سياسات موثوقة وتبنّي المحافظ والبروتوكولات المسؤولة عن تطبيقها.
اقرأ المزيد من الأخبار
إخلاء المسؤولية
تقدم هذه المقالة من FinanceVelix معلومات عامة، وليست نصيحة مالية أو استثمارية أو قانونية أو ضريبية مخصصة. قد تتغير أسعار العملات المشفرة بسرعة، وقد تخسر جميع الأموال المستثمرة. وتعكس الحقائق المواد المتاحة وقت النشر وقد تتغير. تحقق بشكل مستقل من المعلومات المهمة واستشر متخصصاً مؤهلاً عند الحاجة. ولا يُعد ذكر أي أصل أو شركة أو خدمة تأييداً لها.
