← العودة إلى الأكاديمية
المستوى 4 · احترافي
أمان المعاملات المتقدم
ادرس proxies وحدود المحاكاة والجسور وضوابط السياسات.
8 دروس · 8 تمرين ميداني · 8 سيناريوهات عملية · 20 السؤال · 80% درجة النجاح
ابدأ التعلّم0% · 0/21
مسار احترافي. المنهج ظاهر؛ ويمكن لاحقاً ربط التحكم التجاري في الوصول بفوترة UTXO.
ما ستتمكن من فعله
✓
تتعمق هذه الوحدة في العقود الوكيلة وسياق التنفيذ عبر نظرية تطبيقية ومختبر قرار مستقل.
✓
تتعمق هذه الوحدة في المحاكاة وحدودها عبر نظرية تطبيقية ومختبر قرار مستقل.
✓
تتعمق هذه الوحدة في الثقة عبر السلاسل والتوجيه عبر نظرية تطبيقية ومختبر قرار مستقل.
✓
تتعمق هذه الوحدة في سياسات المعاملات عبر نظرية تطبيقية ومختبر قرار مستقل.
المنهج
▸1.1 · عنوان الـproxy ليس العقد كله26 د
▸1.2 · delegatecall يشغّل كوداً خارجياً داخل حالة محلية24 د
المختبر · حلّل الـproxy
تشمل هذه الدورة
- ·8 دروس · 20 ساعات موجَّهة
- ·4 المختبر · سيناريوهات عملية
- ·8 حالات تطبيقية · 8 اختبارات الفهم
- ·52 بنك الأسئلة · 80% درجة النجاح
- ·إثبات إكمال: UTXO Certified · Advanced Transaction Security
ما تتطلبه هذه الدورة منك
- ·راجع تنفيذات معقدة دون الاعتماد على إشارة واحدة.
- ·درجة النجاح: 80%
- ·افهم ما توقّعه
ملخص الدورة
عقد التدريب
راجع تنفيذات معقدة دون الاعتماد على إشارة واحدة.
المخرجات العملية
العقود الوكيلة وسياق التنفيذ
تتعمق هذه الوحدة في العقود الوكيلة وسياق التنفيذ عبر نظرية تطبيقية ومختبر قرار مستقل.
مذكرة الأدلة · PROXYالمحاكاة وحدودها
تتعمق هذه الوحدة في المحاكاة وحدودها عبر نظرية تطبيقية ومختبر قرار مستقل.
مذكرة الأدلة · SIMULATIONالثقة عبر السلاسل والتوجيه
تتعمق هذه الوحدة في الثقة عبر السلاسل والتوجيه عبر نظرية تطبيقية ومختبر قرار مستقل.
مذكرة الأدلة · BRIDGEسياسات المعاملات
تتعمق هذه الوحدة في سياسات المعاملات عبر نظرية تطبيقية ومختبر قرار مستقل.
مذكرة الأدلة · POLICYعقد التقييم
اختبارات الدروس8
مختبرات الوحدات4
الاختبار النهائي20
حد الإتقان80%
المنهج الكامل
أمان المعاملات المتقدم
راجع المنهج الكامل والمهارات ومسار التقييم قبل البدء.
عبء الدراسة الموجّه20h
وحدات4
دروس8
01
العقود الوكيلة وسياق التنفيذ
تتعمق هذه الوحدة في العقود الوكيلة وسياق التنفيذ عبر نظرية تطبيقية ومختبر قرار مستقل.
1.1
عنوان الـproxy ليس العقد كله45 د · درس تقني متعمق
1.2
delegatecall يشغّل كوداً خارجياً داخل حالة محلية45 د · درس تقني متعمق
مختبر عملي للوحدةحلّل الـproxy
02
المحاكاة وحدودها
تتعمق هذه الوحدة في المحاكاة وحدودها عبر نظرية تطبيقية ومختبر قرار مستقل.
2.1
المحاكاة تمثل تنفيذاً ممكناً واحداً45 د · درس تقني متعمق
2.2
التنفيذ الحقيقي قد يختلف عن المحاكاة45 د · درس تقني متعمق
مختبر عملي للوحدةاختبر حدود المحاكاة
03
الثقة عبر السلاسل والتوجيه
تتعمق هذه الوحدة في الثقة عبر السلاسل والتوجيه عبر نظرية تطبيقية ومختبر قرار مستقل.
3.1
الجسر يضيف نظام أمان إضافياً45 د · درس تقني متعمق
3.2
كل قفزة تضيف أنماط فشل مستقلة45 د · درس تقني متعمق
مختبر عملي للوحدةراجع المسار عبر السلاسل
04
سياسات المعاملات
تتعمق هذه الوحدة في سياسات المعاملات عبر نظرية تطبيقية ومختبر قرار مستقل.
4.1
السياسات تجعل المبادئ قابلة للتنفيذ45 د · درس تقني متعمق
4.2
يجب أن يتناسب التفويض مع العواقب45 د · درس تقني متعمق
مختبر عملي للوحدةطبّق سياسة الخزينة
- الخطر الأساسي: لا تتعامل مع عنوان الـproxy ليس العقد كله كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـعنوان الـproxy ليس العقد كله قبل التفويض.
- الخطر الأساسي: لا تتعامل مع delegatecall يشغّل كوداً خارجياً داخل حالة محلية كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـdelegatecall يشغّل كوداً خارجياً داخل حالة محلية قبل التفويض.
- الخطر الأساسي: لا تتعامل مع المحاكاة تمثل تنفيذاً ممكناً واحداً كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـالمحاكاة تمثل تنفيذاً ممكناً واحداً قبل التفويض.
- الخطر الأساسي: لا تتعامل مع التنفيذ الحقيقي قد يختلف عن المحاكاة كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـالتنفيذ الحقيقي قد يختلف عن المحاكاة قبل التفويض.
- الخطر الأساسي: لا تتعامل مع الجسر يضيف نظام أمان إضافياً كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـالجسر يضيف نظام أمان إضافياً قبل التفويض.
- الخطر الأساسي: لا تتعامل مع كل قفزة تضيف أنماط فشل مستقلة كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـكل قفزة تضيف أنماط فشل مستقلة قبل التفويض.
- تمرين ميداني كتابي × 8
- اختبارات الفهم × 8
- مختبر عملي للوحدة × 4
- اختبار نهائي محدد الوقت · 20 · ≥ 80%
- درس تقني متعمق · 360 min
- تمرين ميداني كتابي · 160 min
- مختبر عملي للوحدة · 140 min
- Specialist units · 105 min
- اختبار نهائي محدد الوقت · 40 min
دليل الدورة
20hالنطاق والنتائج ومعيار الدراسة
ادرس proxies وحدود المحاكاة والجسور وضوابط السياسات.
دراسة سابقة موصى بها
- أمان المحافظ والحفظ الذاتي
- افهم ما توقّعه
- الخطر الأساسي: لا تتعامل مع عنوان الـproxy ليس العقد كله كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـعنوان الـproxy ليس العقد كله قبل التفويض.
- الخطر الأساسي: لا تتعامل مع delegatecall يشغّل كوداً خارجياً داخل حالة محلية كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـdelegatecall يشغّل كوداً خارجياً داخل حالة محلية قبل التفويض.
- الخطر الأساسي: لا تتعامل مع المحاكاة تمثل تنفيذاً ممكناً واحداً كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـالمحاكاة تمثل تنفيذاً ممكناً واحداً قبل التفويض.
- الخطر الأساسي: لا تتعامل مع التنفيذ الحقيقي قد يختلف عن المحاكاة كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـالتنفيذ الحقيقي قد يختلف عن المحاكاة قبل التفويض.
- الخطر الأساسي: لا تتعامل مع الجسر يضيف نظام أمان إضافياً كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـالجسر يضيف نظام أمان إضافياً قبل التفويض.
- 01
اقرأ الفصل التقني المكون من ستة أجزاء
- 02
افحص الصورة الفريدة ونموذج البروتوكول
- 03
حلل ملف الحالة وخريطة الأدلة
- 04
قدّم التمرين الميداني الكتابي
- 05
اجتز اختبار المعرفة ومختبر الوحدة
- 06
أكمل التقييم النهائي المحدد بالوقت
يجب ربط كل ادعاء بحقول قابلة للملاحظة أو سلوك البروتوكول أو مصادر أولية أو افتراضات معلنة بوضوح. تبقى المجهولات صريحة.
يتطلب الإكمال العمل الكتابي واختبارات المعرفة وجميع المختبرات ونتيجة لا تقل عن 80% في الاختبار النهائي. ويتطلب المستوى المهني أيضاً capstone.
- عنوان الـproxy ليس العقد كله
- تحافظ الـupgradeable proxies على الحالة في عنوان واحد وتفوّض المنطق إلى implementation قابل للتغيير؛ تحقق من implementation ومن يملك upgrade authority.
- delegatecall يشغّل كوداً خارجياً داخل حالة محلية
- ينفذ delegatecall كود عقد آخر باستخدام storage وسياق المستدعي، لذلك قد يختلف العنوان الظاهر عن مسار الكود الفعلي.
- المحاكاة تمثل تنفيذاً ممكناً واحداً
- تشغّل المحاكاة payload على snapshot وبيئة محددين. هي دليل مفيد لكنها تعتمد على block state وRPC والاستدعاءات الخارجية.
- التنفيذ الحقيقي قد يختلف عن المحاكاة
- يمكن أن تتغير mutable storage وtimestamp وقيم البلوك والحالة الخارجية بين المحاكاة والإدراج؛ وقد يستغل الكود العدائي هذا الفرق.
- الجسر يضيف نظام أمان إضافياً
- يضيف التشغيل عبر السلاسل validators أو relayers أو light clients أو مزودي سيولة أو أصولاً مغلفة، وبالتالي نموذج ثقة إضافياً إلى جانبي السلسلتين.
- كل قفزة تضيف أنماط فشل مستقلة
- قد يمر المسار عبر aggregator وDEX وbridge وعقود الوجهة؛ هذا التركيب يضيف مخاطر approval وslippage والتوافر والثقة.
- السياسات تجعل المبادئ قابلة للتنفيذ
- يمكن للسياسة تصعيد الوجهات الجديدة وتقييد المبالغ ومنع unlimited approvals أو طلب موافق ثانٍ. يجب أن تكون القواعد حتمية وقابلة للتفسير.
- يجب أن يتناسب التفويض مع العواقب
- العمليات الروتينية وتحويلات الخزينة الكبيرة لا ينبغي أن تستخدم مسار الموافقة نفسه؛ المبلغ وحداثة الوجهة ونطاق الصلاحية يجب أن تشدد الضوابط.
توسعات متخصصة
بروتوكولات حديثة وموضوعات تشغيلية
توسع هذه الوحدات المنهج الأساسي بمعايير حديثة وحدود أمنية يجب على الممارس المحترف فهمها وتقييمها.
EXT / 01
صلاحيات تنفيذ المحفظة وERC-7715
يمكن لطلب permission منح حساب أو session أخرى سلطة ضمن قواعد صريحة. يجب فهم allowance وexpiry وtarget والسلوك المسموح قبل الموافقة.
التركيز الأمنيpermission type · rules · expiry · allowance · session authority
مهمة الدراسةاقرأ المادة الأولية وحدد حد الثقة واشرح كيف يغير هذا الميكانيزم نموذج التفويض أو التنفيذ.
المخرج المطلوبأنشئ مذكرة محلل مختصرة تتضمن الافتراضات والأدلة الجوهرية وشروط الفشل وقراراً أمنياً مبرراً.
مراجع أوليةERC-7715 ↗
EXT / 02
MEV وترتيب المعاملات والتعرض
تعتمد السلامة أيضاً على مكان وزمن دخول العملية إلى ordering pipeline. ادرس frontrunning وsandwich risk وprivate orderflow وكيف يغير الترتيب النتيجة دون تغيير payload.
التركيز الأمنيmempool · ordering · frontrunning · sandwiching · private submission
مهمة الدراسةاقرأ المادة الأولية وحدد حد الثقة واشرح كيف يغير هذا الميكانيزم نموذج التفويض أو التنفيذ.
المخرج المطلوبأنشئ مذكرة محلل مختصرة تتضمن الافتراضات والأدلة الجوهرية وشروط الفشل وقراراً أمنياً مبرراً.
مراجع أوليةEthereum MEV docs ↗
EXT / 03
Sequencers في L2 وdata availability والنهائية
تضيف rollups sequencing ونشر البيانات وsettlement. ميّز unsafe وsafe وfinalized وافهم افتراضات تعطل/رقابة sequencer وطبقة DA الفعلية.
التركيز الأمنيsequencer · unsafe/safe/finalized · DA · forced inclusion · L1 settlement
مهمة الدراسةاقرأ المادة الأولية وحدد حد الثقة واشرح كيف يغير هذا الميكانيزم نموذج التفويض أو التنفيذ.
المخرج المطلوبأنشئ مذكرة محلل مختصرة تتضمن الافتراضات والأدلة الجوهرية وشروط الفشل وقراراً أمنياً مبرراً.
الوحدة 01
العقود الوكيلة وسياق التنفيذ
تتعمق هذه الوحدة في العقود الوكيلة وسياق التنفيذ عبر نظرية تطبيقية ومختبر قرار مستقل.
الدرس 1.1
عنوان الـproxy ليس العقد كله
فصل تقني
درس تقني متعمقعنوان الـproxy ليس العقد كله
01
النموذج الذهني
تحافظ الـupgradeable proxies على الحالة في عنوان واحد وتفوّض المنطق إلى implementation قابل للتغيير؛ تحقق من implementation ومن يملك upgrade authority.
هذا المفهوم مهم لأن الخطر الأساسي: لا تتعامل مع عنوان الـproxy ليس العقد كله كتفصيل ثانوي.
افحص حقول البروتوكول الدقيقة التي تنشئ صلاحية أو تغير التنفيذ. قارن هذه الحقول بنية المستخدم المعلنة وبحد الأمان المتوقع.
02
ما الذي يحدث فعلياً
افحص حقول البروتوكول الدقيقة التي تنشئ صلاحية أو تغير التنفيذ.
على مستوى البروتوكول والتنفيذ يجب فحص proxy و implementation و admin و storage و upgrade path. لا تُترجم معرفات البروتوكول لأنها جزء من الـpayload التقني.
proxyنقاط الفحص التقنية
implementationنقاط الفحص التقنية
adminنقاط الفحص التقنية
storageنقاط الفحص التقنية
upgrade pathنقاط الفحص التقنية
03
سطح الفشل
اعتبر التناقضات والصلاحيات المفرطة والاعتماديات غير المفسرة إشارات فشل جوهرية.
النتيجة العملية هي أن الإجراء: تحقّق من الأدلة التقنية المتعلقة بـعنوان الـproxy ليس العقد كله قبل التفويض. المجهول لا يعني الآمن.
- الخطر الأساسي: لا تتعامل مع عنوان الـproxy ليس العقد كله كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـعنوان الـproxy ليس العقد كله قبل التفويض.
04
معيار القرار
اربط كل إشارة جوهرية بنتيجتها المحددة على الأصول أو الصلاحيات أو الثقة.
النتيجة العملية هي أن الإجراء: تحقّق من الأدلة التقنية المتعلقة بـعنوان الـproxy ليس العقد كله قبل التفويض.
صعّد الحالة عندما تكون الأدلة متناقضة أو ناقصة أو تتجاوز النتيجة السياسة الروتينية.
05
إجراء التحقق
تحقق من الطلب بأدلة مستقلة قبل أي تفويض غير قابل للعكس.
- 01
افحص حقول البروتوكول الدقيقة التي تنشئ صلاحية أو تغير التنفيذ.
- 02
قارن هذه الحقول بنية المستخدم المعلنة وبحد الأمان المتوقع.
- 03
تحقق من الطلب بأدلة مستقلة قبل أي تفويض غير قابل للعكس.
- 04
سجل الحقائق والافتراضات والمجهولات والقرار بحيث يستطيع محلل آخر إعادة إنتاج المراجعة.
- 05
صعّد الحالة عندما تكون الأدلة متناقضة أو ناقصة أو تتجاوز النتيجة السياسة الروتينية.
06
المخرج المطلوب من المحلل
سجل الحقائق والافتراضات والمجهولات والقرار بحيث يستطيع محلل آخر إعادة إنتاج المراجعة.
الخطر الأساسي: لا تتعامل مع عنوان الـproxy ليس العقد كله كتفصيل ثانوي. و الإجراء: تحقّق من الأدلة التقنية المتعلقة بـعنوان الـproxy ليس العقد كله قبل التفويض.
المخرج المطلوب من المحللعنوان الـproxy ليس العقد كله · معيار القرار
دفتر عمل تقني
هدف المحلل
الخطر الأساسي: لا تتعامل مع عنوان الـproxy ليس العقد كله كتفصيل ثانوي.
الآلية
proxy
user-facing state addressimplementation
delegated logicadmin
upgrade authoritystorage
proxy state layoutupgrade path
logic can change after reviewإشارات الفشل
- 01
proxy verified / implementation unknown
- 02
admin untrusted
- 03
recent implementation change
- 04
initialization ambiguity
- 05
upgradeable spender
إجراء التحقق
- 01
identify proxy pattern
- 02
read implementation slot / resolver
- 03
verify implementation code
- 04
identify admin / timelock
- 05
record upgradeability as ongoing trust
سلسلة الاستدلال
- 01
الحقائق ← الأدلة الجوهرية
- 02
الأدلة ← الأثر / السلطة
- 03
الأثر ← قرار واضح + الإجراء التالي
المخرج المطلوب
proxy trust-boundary mapمسار البروتوكول
تتبّع مسار قرار الأمان
proxy / upgradeability01راقب
- proxy: user-facing state address
- implementation: delegated logic
02تتبّع
- admin: upgrade authority
- storage: proxy state layout
- upgrade path: logic can change after review
03اختبر
- proxy verified / implementation unknown
- admin untrusted
- recent implementation change
04تحقق
- identify proxy pattern
- read implementation slot / resolver
- verify implementation code
05النتيجة
- proxy trust-boundary map
سطح الصلاحيةproxy · implementation · admin
شرط الفشلproxy verified / implementation unknown
حالة تطبيقية
proxy-reviewproxy
verifiedimplementation
0xImplV7implementation Verified
yesupgrade Admin
single EOAlast Upgrade
2 days agotimelock
noneمهمة المحلل
قبل الإجابة حدّد الصلاحية التي يتم منحها وحد الثقة الذي قد يفشل والنتيجة التي تصبح غير قابلة للتراجع.
خريطة الأدلة
نظّم الأدلة قبل القرار
افصل الهوية والصلاحية والتنفيذ والسياق قبل اتخاذ القرار الأمني.
01
الهوية
من أو ما الذي يطلب أو يستقبل أو يمثل الصلاحية؟
—
02
الصلاحية
ما القدرة التي يمكن منحها أو الاحتفاظ بها أو ممارستها؟
upgrade Admin
single EOA03
التنفيذ
ماذا سيفعل الـ payload أو المسار أو النظام فعلياً؟
proxy
verifiedimplementation
0xImplV7implementation Verified
yes04
السياق
ما الحقائق المحيطة التي قد تغيّر القرار مادياً؟
last Upgrade
2 days agotimelock
noneتمرين ميداني
سجل محلل محلي فقطأنشئ نتيجة جاهزة للمحلل
لا تجب من الذاكرة. استخدم الحالة وحقول البروتوكول وإجراء التحقق أعلاه لكتابة نتيجة قابلة لإعادة الإنتاج.
التركيزproxy · implementation · admin
إشارة الفشلproxy verified / implementation unknown
تحقق أولاًidentify proxy pattern
المخرجproxy trust-boundary map
معايير الإكمال
- يستشهد بأدلة جوهرية وليس بمظهر الواجهة.
- يحدد الصلاحية أو انتقال الحالة أو النتيجة.
- يوفر إجراءً تالياً أو قراراً قابلاً لإعادة الإنتاج.
ملاحظات أمنية
- 01
الخطر الأساسي: لا تتعامل مع عنوان الـproxy ليس العقد كله كتفصيل ثانوي.
- 02
الإجراء: تحقّق من الأدلة التقنية المتعلقة بـعنوان الـproxy ليس العقد كله قبل التفويض.
دفتر المحلل
سجل تعلم محلي فقطأنشئ مذكرة الأدلة الخاصة بك
سجّل تحليلك قبل نقطة التحقق وأنهِه بقرار أو إجراء تالٍ واضح. تبقى الملاحظات على هذا الجهاز.
LOCAL STORAGE
تمرين ميداني
طوّر الأقسام الثلاثة قبل الإكمال.
الدرس 1.2
delegatecall يشغّل كوداً خارجياً داخل حالة محلية
فصل تقني
درس تقني متعمقdelegatecall يشغّل كوداً خارجياً داخل حالة محلية
01
النموذج الذهني
ينفذ delegatecall كود عقد آخر باستخدام storage وسياق المستدعي، لذلك قد يختلف العنوان الظاهر عن مسار الكود الفعلي.
هذا المفهوم مهم لأن الخطر الأساسي: لا تتعامل مع delegatecall يشغّل كوداً خارجياً داخل حالة محلية كتفصيل ثانوي.
افحص حقول البروتوكول الدقيقة التي تنشئ صلاحية أو تغير التنفيذ. قارن هذه الحقول بنية المستخدم المعلنة وبحد الأمان المتوقع.
02
ما الذي يحدث فعلياً
افحص حقول البروتوكول الدقيقة التي تنشئ صلاحية أو تغير التنفيذ.
على مستوى البروتوكول والتنفيذ يجب فحص opcode و code source و storage context و msg.sender / value و risk. لا تُترجم معرفات البروتوكول لأنها جزء من الـpayload التقني.
opcodeنقاط الفحص التقنية
code sourceنقاط الفحص التقنية
storage contextنقاط الفحص التقنية
msg.sender / valueنقاط الفحص التقنية
riskنقاط الفحص التقنية
03
سطح الفشل
اعتبر التناقضات والصلاحيات المفرطة والاعتماديات غير المفسرة إشارات فشل جوهرية.
النتيجة العملية هي أن الإجراء: تحقّق من الأدلة التقنية المتعلقة بـdelegatecall يشغّل كوداً خارجياً داخل حالة محلية قبل التفويض. المجهول لا يعني الآمن.
- الخطر الأساسي: لا تتعامل مع delegatecall يشغّل كوداً خارجياً داخل حالة محلية كتفصيل ثانوي.
- الإجراء: تحقّق من الأدلة التقنية المتعلقة بـdelegatecall يشغّل كوداً خارجياً داخل حالة محلية قبل التفويض.
04
معيار القرار
اربط كل إشارة جوهرية بنتيجتها المحددة على الأصول أو الصلاحيات أو الثقة.
النتيجة العملية هي أن الإجراء: تحقّق من الأدلة التقنية المتعلقة بـdelegatecall يشغّل كوداً خارجياً داخل حالة محلية قبل التفويض.
صعّد الحالة عندما تكون الأدلة متناقضة أو ناقصة أو تتجاوز النتيجة السياسة الروتينية.
05
إجراء التحقق
تحقق من الطلب بأدلة مستقلة قبل أي تفويض غير قابل للعكس.
- 01
افحص حقول البروتوكول الدقيقة التي تنشئ صلاحية أو تغير التنفيذ.
- 02
قارن هذه الحقول بنية المستخدم المعلنة وبحد الأمان المتوقع.
- 03
تحقق من الطلب بأدلة مستقلة قبل أي تفويض غير قابل للعكس.
- 04
سجل الحقائق والافتراضات والمجهولات والقرار بحيث يستطيع محلل آخر إعادة إنتاج المراجعة.
- 05
صعّد الحالة عندما تكون الأدلة متناقضة أو ناقصة أو تتجاوز النتيجة السياسة الروتينية.
06
المخرج المطلوب من المحلل
سجل الحقائق والافتراضات والمجهولات والقرار بحيث يستطيع محلل آخر إعادة إنتاج المراجعة.
الخطر الأساسي: لا تتعامل مع delegatecall يشغّل كوداً خارجياً داخل حالة محلية كتفصيل ثانوي. و الإجراء: تحقّق من الأدلة التقنية المتعلقة بـdelegatecall يشغّل كوداً خارجياً داخل حالة محلية قبل التفويض.
المخرج المطلوب من المحللdelegatecall يشغّل كوداً خارجياً داخل حالة محلية · معيار القرار
دفتر عمل تقني
هدف المحلل
الخطر الأساسي: لا تتعامل مع delegatecall يشغّل كوداً خارجياً داخل حالة محلية كتفصيل ثانوي.
الآلية
opcode
DELEGATECALLcode source
callee implementationstorage context
caller storagemsg.sender / value
preserved call contextrisk
foreign code mutates local stateإشارات الفشل
- 01
unexpected delegatecall
- 02
implementation not verified
- 03
storage collision risk
- 04
privileged method reachable
- 05
dynamic implementation selection
إجراء التحقق
- 01
identify delegatecall edge
- 02
resolve callee code
- 03
map caller storage context
- 04
trace privileged effects
- 05
compare reachable authority to intent
سلسلة الاستدلال
- 01
الحقائق ← الأدلة الجوهرية
- 02
الأدلة ← الأثر / السلطة
- 03
الأثر ← قرار واضح + الإجراء التالي
المخرج المطلوب
delegatecall execution traceمسار البروتوكول
تتبّع مسار قرار الأمان
delegatecall / context01راقب
- opcode: DELEGATECALL
- code source: callee implementation
02تتبّع
- storage context: caller storage
- msg.sender / value: preserved call context
- risk: foreign code mutates local state
03اختبر
- unexpected delegatecall
- implementation not verified
- storage collision risk
04تحقق
- identify delegatecall edge
- resolve callee code
- map caller storage context
05النتيجة
- delegatecall execution trace
سطح الصلاحيةopcode · code source · storage context
شرط الفشلunexpected delegatecall
حالة تطبيقية
delegate-pathentry
proxymethod
execute(bytes)delegatecall
facet 0xF...storage
proxycaller
user walletfacet Verified
novalue
0 ETHمهمة المحلل
قبل الإجابة حدّد الصلاحية التي يتم منحها وحد الثقة الذي قد يفشل والنتيجة التي تصبح غير قابلة للتراجع.
خريطة الأدلة
نظّم الأدلة قبل القرار
افصل الهوية والصلاحية والتنفيذ والسياق قبل اتخاذ القرار الأمني.
01
الهوية
من أو ما الذي يطلب أو يستقبل أو يمثل الصلاحية؟
—
02
الصلاحية
ما القدرة التي يمكن منحها أو الاحتفاظ بها أو ممارستها؟
—
03
التنفيذ
ماذا سيفعل الـ payload أو المسار أو النظام فعلياً؟
method
execute(bytes)delegatecall
facet 0xF...storage
proxycaller
user walletvalue
0 ETH04
السياق
ما الحقائق المحيطة التي قد تغيّر القرار مادياً؟
entry
proxyfacet Verified
noتمرين ميداني
سجل محلل محلي فقطأنشئ نتيجة جاهزة للمحلل
لا تجب من الذاكرة. استخدم الحالة وحقول البروتوكول وإجراء التحقق أعلاه لكتابة نتيجة قابلة لإعادة الإنتاج.
التركيزopcode · code source · storage context
إشارة الفشلunexpected delegatecall
تحقق أولاًidentify delegatecall edge
المخرجdelegatecall execution trace
معايير الإكمال
- يستشهد بأدلة جوهرية وليس بمظهر الواجهة.
- يحدد الصلاحية أو انتقال الحالة أو النتيجة.
- يوفر إجراءً تالياً أو قراراً قابلاً لإعادة الإنتاج.
ملاحظات أمنية
- 01
الخطر الأساسي: لا تتعامل مع delegatecall يشغّل كوداً خارجياً داخل حالة محلية كتفصيل ثانوي.
- 02
الإجراء: تحقّق من الأدلة التقنية المتعلقة بـdelegatecall يشغّل كوداً خارجياً داخل حالة محلية قبل التفويض.
دفتر المحلل
سجل تعلم محلي فقطأنشئ مذكرة الأدلة الخاصة بك
سجّل تحليلك قبل نقطة التحقق وأنهِه بقرار أو إجراء تالٍ واضح. تبقى الملاحظات على هذا الجهاز.
LOCAL STORAGE
تمرين ميداني
طوّر الأقسام الثلاثة قبل الإكمال.
المختبر العملي مقفل
اجتز اختباري الفهم في هذه الوحدة قبل بدء المختبر.
الوحدة 02
المحاكاة وحدودها
تتعمق هذه الوحدة في المحاكاة وحدودها عبر نظرية تطبيقية ومختبر قرار مستقل.
الوحدة مقفلة
أكمل الوحدة السابقة بما في ذلك المختبر العملي قبل المتابعة.
الوحدة 03
الثقة عبر السلاسل والتوجيه
تتعمق هذه الوحدة في الثقة عبر السلاسل والتوجيه عبر نظرية تطبيقية ومختبر قرار مستقل.
الوحدة مقفلة
أكمل الوحدة السابقة بما في ذلك المختبر العملي قبل المتابعة.
الوحدة 04
سياسات المعاملات
تتعمق هذه الوحدة في سياسات المعاملات عبر نظرية تطبيقية ومختبر قرار مستقل.
الوحدة مقفلة
أكمل الوحدة السابقة بما في ذلك المختبر العملي قبل المتابعة.
الاختبار النهائي
الاختبار النهائي
تقييم تراكمي يُعاد بناؤه في كل محاولة من مفاهيم الدورة والحالات العملية.
يجب الحصول على 80٪ على الأقل. إكمال النظرية وحدها لا يصدر اعتماداً.
درجة النجاح80%
أفضل نتيجة0%
البنك52
المحاولة20
المحاولات0
الحد الزمني40 د
مقفلأكمل جميع اختبارات الدروس والمختبرات العملية قبل فتح الاختبار النهائي.