انتقل للمحتوىBlockAssay

الموافقات والمبالغ المسموح بها والإلغاء

P03-L04 · P03 · P03-M01

افحص المنفق والمبلغ وحدود الإلغاء

ILLUSTRATIVE · needs_review

المتطلبات السابقة: 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 في الكتالوج المعتمد. تكفي البيانات المقدمة دون اتصال؛ لا شراء منتج أو عملية محفظة مطلوبة.

المصادر وحدود الادعاءات

تشرح الوثائق الآليات. تحتفظ السجلات التاريخية بفئة مصدرها المعلنة. فحص المصدر ليس قبولًا تحريريًا مستقلًا.

مواصفات العناصر البصرية

P03-L04-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

افحص المنفق والمبلغ وحدود الإلغاء

بطاقات 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

اختبر تعليلك

P03-L04-Q1 · هل تثبت R2 الإلغاء؟
P03-L04-Q2 · ما الذي تغطيه R3؟
P03-L04-Q3 · هل تناقض R4 صفر TOKEN-A؟
P03-L04-Q4 · ما قابلية استخدام R5؟
P03-L04-Q5 · ما التصريح المحدد النطاق؟