صفحة الدورة
أمان المعاملات المتقدم1 من 14
الدرس 1.1

عنوان الـproxy ليس العقد كله

UTXO ACADEMY / CONCEPT MODELPROXYRESOLVE IMPLEMENTATIONVISUAL AID · NOT A SECURITY VERDICT
فصل تقني

عنوان الـ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
إجراء التحقق

تحقق من الطلب بأدلة مستقلة قبل أي تفويض غير قابل للعكس.

  1. 01

    افحص حقول البروتوكول الدقيقة التي تنشئ صلاحية أو تغير التنفيذ.

  2. 02

    قارن هذه الحقول بنية المستخدم المعلنة وبحد الأمان المتوقع.

  3. 03

    تحقق من الطلب بأدلة مستقلة قبل أي تفويض غير قابل للعكس.

  4. 04

    سجل الحقائق والافتراضات والمجهولات والقرار بحيث يستطيع محلل آخر إعادة إنتاج المراجعة.

  5. 05

    صعّد الحالة عندما تكون الأدلة متناقضة أو ناقصة أو تتجاوز النتيجة السياسة الروتينية.

06
المخرج المطلوب من المحلل

سجل الحقائق والافتراضات والمجهولات والقرار بحيث يستطيع محلل آخر إعادة إنتاج المراجعة.

الخطر الأساسي: لا تتعامل مع عنوان الـproxy ليس العقد كله كتفصيل ثانوي. و الإجراء: تحقّق من الأدلة التقنية المتعلقة بـعنوان الـproxy ليس العقد كله قبل التفويض.

المخرج المطلوب من المحللعنوان الـproxy ليس العقد كله · معيار القرار
عنوان الـproxy ليس العقد كله
LESSON VISUALعنوان الـproxy ليس العقد كلهproxy upgradeability
عنوان الـproxy ليس العقد كله
سياق واقعي · بنية الوكيل وسياق التنفيذعنوان الـproxy ليس العقد كلهالمفهوم ← البيئة الواقعية ← القرار التشغيلي
VISUAL MODEL / STATE GRAPHproxy-upgradeability
N01N02N03N04N05N06STATE GRAPHعنوان الـproxy ليس العقد كله
CONCEPT → EVIDENCE → FAILURE MODE → VERIFICATION
دفتر عمل تقني

هدف المحلل

الخطر الأساسي: لا تتعامل مع عنوان الـproxy ليس العقد كله كتفصيل ثانوي.

الآلية
proxyuser-facing state address
implementationdelegated logic
adminupgrade authority
storageproxy state layout
upgrade pathlogic can change after review
إشارات الفشل
  1. 01

    proxy verified / implementation unknown

  2. 02

    admin untrusted

  3. 03

    recent implementation change

  4. 04

    initialization ambiguity

  5. 05

    upgradeable spender

إجراء التحقق
  1. 01

    identify proxy pattern

  2. 02

    read implementation slot / resolver

  3. 03

    verify implementation code

  4. 04

    identify admin / timelock

  5. 05

    record upgradeability as ongoing trust

سلسلة الاستدلال
  1. 01

    الحقائق ← الأدلة الجوهرية

  2. 02

    الأدلة ← الأثر / السلطة

  3. 03

    الأثر ← قرار واضح + الإجراء التالي

المخرج المطلوبproxy trust-boundary map
مسار البروتوكول

تتبّع مسار قرار الأمان

proxy / upgradeability
01راقب
  • 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-review
الحالة / proxy-upgradeability
proxyverified
implementation0xImplV7
implementation Verifiedyes
upgrade Adminsingle EOA
last Upgrade2 days ago
timelocknone
مهمة المحلل

قبل الإجابة حدّد الصلاحية التي يتم منحها وحد الثقة الذي قد يفشل والنتيجة التي تصبح غير قابلة للتراجع.

خريطة الأدلة

نظّم الأدلة قبل القرار

افصل الهوية والصلاحية والتنفيذ والسياق قبل اتخاذ القرار الأمني.

01
الهوية

من أو ما الذي يطلب أو يستقبل أو يمثل الصلاحية؟

02
الصلاحية

ما القدرة التي يمكن منحها أو الاحتفاظ بها أو ممارستها؟

upgrade Adminsingle EOA
03
التنفيذ

ماذا سيفعل الـ payload أو المسار أو النظام فعلياً؟

proxyverified
implementation0xImplV7
implementation Verifiedyes
04
السياق

ما الحقائق المحيطة التي قد تغيّر القرار مادياً؟

last Upgrade2 days ago
timelocknone
تمرين ميداني

أنشئ نتيجة جاهزة للمحلل

سجل محلل محلي فقط

لا تجب من الذاكرة. استخدم الحالة وحقول البروتوكول وإجراء التحقق أعلاه لكتابة نتيجة قابلة لإعادة الإنتاج.

التركيزproxy · implementation · admin
إشارة الفشلproxy verified / implementation unknown
تحقق أولاًidentify proxy pattern
المخرجproxy trust-boundary map
معايير الإكمال
  • يستشهد بأدلة جوهرية وليس بمظهر الواجهة.
  • يحدد الصلاحية أو انتقال الحالة أو النتيجة.
  • يوفر إجراءً تالياً أو قراراً قابلاً لإعادة الإنتاج.
ملاحظات أمنية
  1. 01

    الخطر الأساسي: لا تتعامل مع عنوان الـproxy ليس العقد كله كتفصيل ثانوي.

  2. 02

    الإجراء: تحقّق من الأدلة التقنية المتعلقة بـعنوان الـproxy ليس العقد كله قبل التفويض.

دفتر المحلل

أنشئ مذكرة الأدلة الخاصة بك

سجل تعلم محلي فقط

سجّل تحليلك قبل نقطة التحقق وأنهِه بقرار أو إجراء تالٍ واضح. تبقى الملاحظات على هذا الجهاز.

LOCAL STORAGE
تمرين ميداني

طوّر الأقسام الثلاثة قبل الإكمال.

تتعمق هذه الوحدة في العقود الوكيلة وسياق التنفيذ عبر نظرية تطبيقية ومختبر قرار مستقل.

الموضع في الدورة
1 من 14
بإنهائه يُفتح
delegatecall يشغّل كوداً خارجياً داخل حالة محلية
التقدم
0/21 · 0%

محتوى الدورة

الوحدة 01العقود الوكيلة وسياق التنفيذ
الوحدة 02المحاكاة وحدودها
الوحدة 03الثقة عبر السلاسل والتوجيه
الوحدة 04سياسات المعاملات
التقييمالتقييم