P03-L04 · P03 · P03-M01
افحص المنفق والمبلغ وحدود الإلغاء
المتطلبات السابقة: P03-L03
أهداف التعلم
- افحص المنفق والمبلغ وحدود الإلغاء
- اقرأ مجموعات حقول المبلغ المسموح به وسياقاتها كاملة.
- حدد نطاق حالة صفرية واحدة دون ادعاء إعادة ضبط جميع التفويضات.
النسخة المصدرية EN · P03-L04 · needs_review
دراسة دون اتصال وللقراءة فقط. لا تقدم أبدًا أسرارًا أو كلمات مرور أو رموز مصادقة. لا اتصال بمحفظة أو موافقة حقيقية أو إلغاء مباشر أو توقيع معاملة أو تحويل أو أموال أو تداول. المرئيات مواصفات فقط.
أهمية الموضوع
الأذونات خاصة بالأصل/المنفق/السياق. قد يدعم مبلغ مسموح به صفري نتيجة مفيدة مع بقاء رموز أخرى وتفويضات موقعة غير محسومة.
الشرح
سمّ مجموعة الحقول كاملة
يصف ERC-20 دلالات allowance وapprove وtransferFrom [ERC20]. يحتاج صف الإذن الشبكة والرمز والمالك والمنفق وسياق الملاحظة. الرمز المختلف إذن مختلف حتى مع تطابق المنفق المعروض.
اقرأ الحالة لا تسميات الجلسة
تعرض R1/R3 مجموعة الحقول نفسها في سياقين مفترضين. تعرض R2 قطع اتصال الواجهة؛ ولا تصف تغير حالة عقد الرمز. طلب الإلغاء والإجراء المرسل والحالة الناتجة مراحل أدلة منفصلة. تُقدم R3 دون اتصال؛ يجب ألا يرسل المتعلم إلغاءً مباشرًا.
تخص R4 الرمز TOKEN-B ولا يمكن دمجها في صف TOKEN-A. الإبلاغ عن الصفر المطمئن وحده مع إغفال الصف الآخر يفقد نطاقًا جوهريًا. احفظ القيمتين واشرح السؤال الذي تجيب عنه كل منهما.
أبق التفويضات الموقعة غير محسومة حيث يلزم
لـ permit دلالات توقيع/nonce/deadline منفصلة وفق قواعد العقد المعني [PERMIT]. تغفل R5 عمدًا علاقتها بحالة nonce/الاستخدام الحالية. لا يثبت مبلغ مسموح به صفري واحد إبطال كل توقيع قائم. المتابعة المطلوبة القواعد المنطبقة والحالة المعنية، لا معاملة صفية مباشرة أخرى.
لا تعكس حالة المبلغ المسموح به تحويلًا سابقًا أو تثبت أن مالكًا لم يكشف مادة استرداد قط. حصر الأذونات وكشف قدرة التوقيع سؤالان بحثيان مختلفان.
اذكر نتائج ضيقة
OBSERVED: قيم التمرين وحالة الجلسة. INFERRED: تغير مجموعة الحقول المختارة من 100 إلى صفر. UNKNOWN: حصر الأذونات الكامل وقابلية استخدام R5. INSUFFICIENT EVIDENCE: «كل الأصول آمنة». تسمي نتيجة محددة النطاق مجموعة الحقول المختارة عند H12 وتبقي الصفوف المنفصلة غير محسومة.
المصطلحات الأساسية
- المبلغ المسموح به: قيمة إذن محددة النطاق.
- المنفق: دور تفويض حيث ينطبق.
- دليل الإلغاء: حالة الإذن الناتجة عند سياق محدد.
- التغطية: صفوف الأذونات المقدمة فعلًا.
مثال تاريخي
بطاقات ILLUSTRATIVE. R1 SIM-N/TOKEN-A/OWNER-X/SPENDER-Y عند SIM-H10، allowance مقداره 100 وحدة كاملة ضمن التمرين. R2 الواجهة مفصولة عند T1. R3 مجموعة الحقول نفسها عند H12، allowance مقداره 0. R4 TOKEN-B/المالك/المنفق نفسيهما عند H12، allowance مقداره 80. R5 ملخص permit لـ TOKEN-A مع علاقة nonce/الاستخدام الحالية UNKNOWN. لا موافقة أو توقيع أو معاملة حقيقية.
مواصفات العناصر البصرية
مصفوفة مجموعة الحقول/السياق. R1→R3 مقارنة مختارة؛ تبقى R4 بقيمة 80 وR5 مجهولة. ضع R2 في صف جلسة دون رابط تلقائي إلى حالة على السلسلة.
ما تثبته الأدلة
حالات التمرين المختارة والمقارنة محددة النطاق.
ما لا تثبته الأدلة
إلغاءً مباشرًا أو إعادة ضبط كل الأذونات أو إبطال كل permits أو عكس خسارة أو سلامة مضمونة.
الأخطاء الشائعة
- تسمية قطع الاتصال إلغاءً.
- تعميم صفر واحد على كل رمز.
- افتراض أن الحالة الصفرية تلغي كل توقيع.
تمرين عملي
أنشئ صفوف أذونات R1/R3/R4. اشرح حدود R2 وR5. أعد صياغة «قطع الاتصال والصفر يجعلان كل أصل آمنًا».
قدّم جدولًا ونتيجة محددة النطاق باستخدام المادة المقدمة دون اتصال وحدها. التوزيع الزمني التحريري: دراسة 12 دقيقة، تمرين 8 دقائق، تصحيح/اختبار 10 دقائق.
عرض التصحيح المشروح
مجموعة حقول TOKEN-A المختارة قيمتها 100 عند H10 وصفر عند H12. يبقى TOKEN-B بقيمة 80. تثبت R2 قطع اتصال الواجهة فقط. قابلية استخدام R5 هي UNKNOWN حتى توفر القواعد/الحالة. السلامة العامة INSUFFICIENT EVIDENCE. أبلغ عن النطاق الدقيق والتغطية المفقودة دون عمليات مباشرة.
معيار التقييم: النطاق الدقيق ومنشأ المصدر والتعليل والحدود الصريحة والتعامل الآمن دون اتصال، نقطة لكل منها. تتطلب الملاحظات المختلقة أو إسناد الهوية غير المسنود تصحيحًا مهما كانت الدرجة. تقييم تعليمي فقط.
قائمة التحقق
- مجموعة الحقول/السياق كاملان.
- الجلسة والحالة منفصلتان.
- الطلبات والنتائج منفصلة.
- الرموز المختلفة متميزة.
- ثغرات التوقيعات القائمة مسماة.
الملخص
نتيجة الإذن سياقية. لا يثبت قطع الاتصال ومبلغ مسموح به صفري واحد إعادة ضبط شاملة للتفويضات أو سلامة الأصول.
الملخص
- افحص المنفق والمبلغ وحدود الإلغاء
- اقرأ مجموعات حقول المبلغ المسموح به وسياقاتها كاملة.
- حدد نطاق حالة صفرية واحدة دون ادعاء إعادة ضبط جميع التفويضات.
الدرس التالي
P03-L05 بعد مراجعة المتطلبات السابقة والتصحيح.
الأدوات
NONE في الكتالوج المعتمد. تكفي البيانات المقدمة دون اتصال؛ لا شراء منتج أو عملية محفظة مطلوبة.
المصادر وحدود الادعاءات
- [ERC20] معيار الرموز ERC-20 — approve وallowance وtransferFrom للواجهات الممتثلة.
- [PERMIT] الموافقات الموقعة ERC-2612 — تفويض المبلغ المسموح به عبر Permit مع owner وspender وvalue وnonce وdeadline.
تشرح الوثائق الآليات. تحتفظ السجلات التاريخية بفئة مصدرها المعلنة. فحص المصدر ليس قبولًا تحريريًا مستقلًا.
مواصفات العناصر البصرية
P03-L04-V01
افحص المنفق والمبلغ وحدود الإلغاء
بطاقات ILLUSTRATIVE منقحة دون اتصال، لا شاشة مباشرة
مصفوفة مجموعة الحقول/السياق. R1→R3 مقارنة مختارة؛ تبقى R4 بقيمة 80 وR5 مجهولة. ضع R2 في صف جلسة دون رابط تلقائي إلى حالة على السلسلة.
مصفوفة مجموعة الحقول/السياق. R1→R3 مقارنة مختارة؛ تبقى R4 بقيمة 80 وR5 مجهولة. ضع R2 في صف جلسة دون رابط تلقائي إلى حالة على السلسلة.
390px: بطاقات متراصة ونص مكافئ؛ قبول العرض عند 768px/سطح المكتب قيد الانتظار
النص العربي RTL؛ المعرّفات معزولة LTR؛ اتجاهات الروابط الفعلية محفوظة
FIX-P03-L04
المصادر وحدود الادعاءات
ERC20 · PRIMARY_DOCUMENTATION
معيار الرموز ERC-20
- الادعاء المدعوم
- approve وallowance وtransferFrom للواجهات الممتثلة.
- حدود التحقق
- فُحص المصدر الأولي للآلية المرتبطة أو التصريح المنسوب؛ لا توثيق للبيانات التوضيحية.
- تاريخ التحقق
- 2026-10-01
https://eips.ethereum.org/EIPS/eip-20
PERMIT · PRIMARY_DOCUMENTATION
الموافقات الموقعة ERC-2612
- الادعاء المدعوم
- تفويض المبلغ المسموح به عبر Permit مع owner وspender وvalue وnonce وdeadline.
- حدود التحقق
- فُحص المصدر الأولي للآلية المرتبطة أو التصريح المنسوب؛ لا توثيق للبيانات التوضيحية.
- تاريخ التحقق
- 2026-10-01
https://eips.ethereum.org/EIPS/eip-2612
منشأ مجموعة البيانات
id: FIX-P03-L04
dataStatus: ILLUSTRATIVE
source: Original embedded offline cards; no real observations
observedAt: null
timeBasis: SIM/T markers are fictional order, not UTC timestamps