في EVM ترمز calldata إلى الدالة ومعاملاتها. قد تعرض الواجهة كلمة swap بينما يفوض payload شيئاً مختلفاً؛ فك الترميز وقارنه بالنية.
هذا المفهوم مهم لأن الخطر الأساسي: لا تتعامل مع الزر ليس المعاملة كتفصيل ثانوي.
افحص حقول البروتوكول الدقيقة التي تنشئ صلاحية أو تغير التنفيذ. قارن هذه الحقول بنية المستخدم المعلنة وبحد الأمان المتوقع.
02
ما الذي يحدث فعلياً
افحص حقول البروتوكول الدقيقة التي تنشئ صلاحية أو تغير التنفيذ.
على مستوى البروتوكول والتنفيذ يجب فحص selector و arguments و target و native value و nested execution. لا تُترجم معرفات البروتوكول لأنها جزء من الـpayload التقني.
selector
نقاط الفحص التقنية
arguments
نقاط الفحص التقنية
target
نقاط الفحص التقنية
native value
نقاط الفحص التقنية
nested execution
نقاط الفحص التقنية
03
سطح الفشل
اعتبر التناقضات والصلاحيات المفرطة والاعتماديات غير المفسرة إشارات فشل جوهرية.
النتيجة العملية هي أن الإجراء: تحقّق من الأدلة التقنية المتعلقة بـالزر ليس المعاملة قبل التفويض. المجهول لا يعني الآمن.
الخطر الأساسي: لا تتعامل مع الزر ليس المعاملة كتفصيل ثانوي.
الإجراء: تحقّق من الأدلة التقنية المتعلقة بـالزر ليس المعاملة قبل التفويض.
04
معيار القرار
اربط كل إشارة جوهرية بنتيجتها المحددة على الأصول أو الصلاحيات أو الثقة.
النتيجة العملية هي أن الإجراء: تحقّق من الأدلة التقنية المتعلقة بـالزر ليس المعاملة قبل التفويض.
صعّد الحالة عندما تكون الأدلة متناقضة أو ناقصة أو تتجاوز النتيجة السياسة الروتينية.
05
إجراء التحقق
تحقق من الطلب بأدلة مستقلة قبل أي تفويض غير قابل للعكس.
01
افحص حقول البروتوكول الدقيقة التي تنشئ صلاحية أو تغير التنفيذ.
02
قارن هذه الحقول بنية المستخدم المعلنة وبحد الأمان المتوقع.
03
تحقق من الطلب بأدلة مستقلة قبل أي تفويض غير قابل للعكس.
04
سجل الحقائق والافتراضات والمجهولات والقرار بحيث يستطيع محلل آخر إعادة إنتاج المراجعة.
05
صعّد الحالة عندما تكون الأدلة متناقضة أو ناقصة أو تتجاوز النتيجة السياسة الروتينية.
06
المخرج المطلوب من المحلل
سجل الحقائق والافتراضات والمجهولات والقرار بحيث يستطيع محلل آخر إعادة إنتاج المراجعة.
الخطر الأساسي: لا تتعامل مع الزر ليس المعاملة كتفصيل ثانوي. و الإجراء: تحقّق من الأدلة التقنية المتعلقة بـالزر ليس المعاملة قبل التفويض.
المخرج المطلوب من المحللالزر ليس المعاملة · معيار القرار
LESSON VISUALالزر ليس المعاملةcalldata intent
calldata / intent
سياق واقعي · بيئة مراجعة التوقيعالزر ليس المعاملةالمفهوم ← البيئة الواقعية ← القرار التشغيلي
VISUAL MODEL / REQUEST FLOWcalldata-intent
CONCEPT → EVIDENCE → FAILURE MODE → VERIFICATION
دفتر عمل تقني
هدف المحلل
الخطر الأساسي: لا تتعامل مع الزر ليس المعاملة كتفصيل ثانوي.
الآلية
selectorcalldata[0:4]
argumentsABI-decoded parameters
targettransaction.to
native valuetransaction.value
nested executionmulticall / router subcalls
إشارات الفشل
01
UI intent != decoded method
02
unknown selector
03
unexpected recipient
04
hidden native value
05
nested call changes authority
إجراء التحقق
01
capture exact payload
02
resolve selector / ABI
03
decode every material parameter
04
trace nested calls when present
05
compare decoded action with user intent
سلسلة الاستدلال
01
الحقائق ← الأدلة الجوهرية
02
الأدلة ← الأثر / السلطة
03
الأثر ← قرار واضح + الإجراء التالي
المخرج المطلوبdecoded-intent record + mismatch list
مسار البروتوكول
تتبّع مسار قرار الأمان
calldata / intent
01راقب
selector: calldata[0:4]
arguments: ABI-decoded parameters
02تتبّع
target: transaction.to
native value: transaction.value
nested execution: multicall / router subcalls
03اختبر
UI intent != decoded method
unknown selector
unexpected recipient
04تحقق
capture exact payload
resolve selector / ABI
decode every material parameter
05النتيجة
decoded-intent record + mismatch list
سطح الصلاحيةselector · arguments · target
شرط الفشلUI intent != decoded method
حالة تطبيقية
decode-calldata
الحالة / calldata-intent
ui ActionSwap 1 ETH
method Selector0x095ea7b3
decoded Methodapprove(address,uint256)
spender0xNew...
amountMAX_UINT256
native Value0
مهمة المحلل
قبل الإجابة حدّد الصلاحية التي يتم منحها وحد الثقة الذي قد يفشل والنتيجة التي تصبح غير قابلة للتراجع.
خريطة الأدلة
نظّم الأدلة قبل القرار
افصل الهوية والصلاحية والتنفيذ والسياق قبل اتخاذ القرار الأمني.
01
الهوية
من أو ما الذي يطلب أو يستقبل أو يمثل الصلاحية؟
—
02
الصلاحية
ما القدرة التي يمكن منحها أو الاحتفاظ بها أو ممارستها؟
spender0xNew...
03
التنفيذ
ماذا سيفعل الـ payload أو المسار أو النظام فعلياً؟
method Selector0x095ea7b3
decoded Methodapprove(address,uint256)
amountMAX_UINT256
native Value0
04
السياق
ما الحقائق المحيطة التي قد تغيّر القرار مادياً؟
ui ActionSwap 1 ETH
تمرين ميداني
أنشئ نتيجة جاهزة للمحلل
سجل محلل محلي فقط
لا تجب من الذاكرة. استخدم الحالة وحقول البروتوكول وإجراء التحقق أعلاه لكتابة نتيجة قابلة لإعادة الإنتاج.
التركيزselector · arguments · target
إشارة الفشلUI intent != decoded method
تحقق أولاًcapture exact payload
المخرجdecoded-intent record + mismatch list
معايير الإكمال
يستشهد بأدلة جوهرية وليس بمظهر الواجهة.
يحدد الصلاحية أو انتقال الحالة أو النتيجة.
يوفر إجراءً تالياً أو قراراً قابلاً لإعادة الإنتاج.
ملاحظات أمنية
01
الخطر الأساسي: لا تتعامل مع الزر ليس المعاملة كتفصيل ثانوي.
02
الإجراء: تحقّق من الأدلة التقنية المتعلقة بـالزر ليس المعاملة قبل التفويض.
دفتر المحلل
أنشئ مذكرة الأدلة الخاصة بك
سجل تعلم محلي فقط
سجّل تحليلك قبل نقطة التحقق وأنهِه بقرار أو إجراء تالٍ واضح. تبقى الملاحظات على هذا الجهاز.
LOCAL STORAGE
×
تمرين ميداني
طوّر الأقسام الثلاثة قبل الإكمال.
تتعمق هذه الوحدة في نية المعاملة وcalldata عبر نظرية تطبيقية ومختبر قرار مستقل.