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

مراجعة أدلة DeFi

P11-L08 · P11 · P11-M02

راجع ادعاء بروتوكول تاريخيًا مع تبعيات غير محسومة

HISTORICAL · needs_review

المتطلبات السابقة: P11-L07

أهداف التعلم

  • راجع ادعاء بروتوكول تاريخيًا مع تبعيات غير محسومة
  • اكتب مراجعة تركز على الادعاء لإفصاح تاريخي رسمي.
  • احفظ حدود التنفيذ والإسناد غير المحسومة.

النسخة المصدرية EN · P11-L08 · مدة تقديرية 30 دقيقة · needs_review

دراسة تكوينية دون اتصال. لا اتصال بمحفظة أو أموال أو مفاتيح أو توقيعات أو تداول مباشر أو مدخلات محفظة شخصية. المرئيات مواصفات؛ لا محتوى وقت تشغيل أو شهادة.

أهمية الموضوع

يثبت تصريح حادثة رسمي بقوة ما يبلغه المساهم، لكنه لا يثبت كل ادعاء سلامة كامن.

الشرح

الحزمة التاريخية أولًا

تحتوي P11-L08-AAVE-DISCLOSURE-20231104-v1 المثبتة في التزام منفصل سجلَي منتدى رسميين [INC, DEP]، جُلبا 2026-10-01. إعادة صياغة انتقائية، لا أرشيف مطابق بايتًا لبايت. إفصاح Aave v2/v3 في نوفمبر4،2023، لا استغلال مختلق.

حدد نطاق ادعاء الآلية

R1: خلل BGD حرج/قيد stable-rate. R2: قيد إنشاء stable-debt لاحق/مقترح إيقاف تدريجي. الاستغلال الدقيق والشفرة المنشورة غائبان. يحفظ R3 عدم اتساق الاتجاه في المواصفات اللاحقة؛ لا تخمّن التنفيذ. يختبر الدرس جودة الإفصاح، لا إعادة إنتاج شفرة معرضة للخطر.

افصل الوقت

لتقرير نوفمبر ومقترح يناير31،2024 حدّا معلومات مختلفان. قد يحتوي النقاش الحالي مراجعات/تحديثات؛ لم تُوثق شاشة نوفمبر4 الدقيقة. خلفية يناير ليست دليلًا متاحًا سابقًا. المقترح ليس تنفيذًا متحققًا منه بصورة مستقلة.

ادعاءات ضيقة

يمكن تقييم «يحتوي R1 تأكيدًا بعدم الاستغلال» من التصريح المحفوظ؛ لا يمكن بذلك توثيق «لا استغلال في أي مكان». لغة السلامة منسوبة إلى مصدرها، لا حكم Academy. لا يلزم بحث أصلي لمراجعة المنشور؛ تحتاج ادعاءات المعاملات إيصالات/شبكة/منشأ حالة لم تُجمع. لا كمية أو عنوان أو خسارة أو وقت تنفيذ مختلق.

نتيجة محددة النطاق

ادعاء مع سجل ومسار وقت وحالة وافتراضات ومادة مفقودة. استنتاج تعليمي: اختبر نطاق تنفيذ القيود قبل حكم سلامة أقوى. أولوية مراجعة، لا تدقيق مثبت. تبقى الحدود المعتمدة لـ P02-L08/P03-L07 دون تغيير.

المصطلحات الأساسية

  • منشور رسمي: تصريح مساهم مؤرخ، لا دليل حدث تلقائيًا.
  • الإسناد: إبقاء التقرير منسوبًا إلى المتحدث/المصدر.
  • ثغرة التنفيذ: شفرة/حالة مثبتة مفقودة.
  • مسار حد المعلومات: ادعاءات داخل سجل مؤرخ.

مثال تاريخي

HISTORICAL R1 (إفصاح Nov4)، R2 (مقترح/تعليل Jan31)، R3 (عدم اتساق لاحق). راجع docs/academy-2/datasets/P11-L08-AAVE-DISCLOSURE-20231104-v1.json. لا معاملة سلسلة؛ مراجعة إفصاح فقط.

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

لوحة أدلة تاريخية: مساران مؤرخان R1/R2 وعلامة تعارض غير محسوم R3؛ أعمدة ادعاء منشور مقابل دليل حدث مستقل. لا خط زمني للسلسلة أو إيصالات أو رسم خسارة أو تصنيف سلامة مختلق.

ما تثبته الأدلة

ما تبلغه المنشورات الرسمية المحفوظة ضمن حدود العرض/الجلب.

ما لا تثبته الأدلة

عدم استغلال مستقلًا أو صحة التخفيف المنشور أو حالة المعاملة أو حساب الاستغلال الدقيق أو الخسائر أو الأشخاص أو السلامة الشاملة.

تصنيفات الأدلة

  • OBSERVED: يحتوي R1 المحفوظ تصريحًا منسوبًا؛ محتوى منشور.
  • INFERRED: يجعل القيد المبلغ عنه مراجعة التنفيذ سؤال متابعة مفيدًا إن كان التقرير ذا صلة.
  • UNKNOWN: الحساب الدقيق للثغرة وحالة العقد المنفذة.
  • INSUFFICIENT EVIDENCE: تثبت المنشورات بصورة مستقلة سلامة جميع المجمعات أو غياب الاستغلال.

الأخطاء الشائعة

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

تمرين عملي

أربعة صفوف ادعاءات: المنشور وأولوية المراجعة والتنفيذ وعدم الاستغلال العالمي. الحالة والمصدر/السجل والوقت والدليل المفقود. اشرح R3؛ نتيجة بجملتين دون معاملات/خسائر.

قدّم الحسابات/الشروح وجدول الادعاء/المصدر والحدود. دراسة 12 دقيقة، تمرين 8، تصحيح/اختبار 10؛ تقدير يحتاج معايرة.

عرض التصحيح المشروح

المنشور: OBSERVED في R1 [INC]، لا حدث مستقل. الأولوية: INFERRED من R2 [DEP] مع افتراض التقرير/مسار Jan31. التنفيذ: UNKNOWN؛ يحتاج إصدارات وحالة وتحققًا. عدم الاستغلال/السلامة عالميًا: INSUFFICIENT EVIDENCE؛ تحتاج النتيجة السلبية الواسعة نطاقًا وبحثًا مستقلًا. R3 غير محسوم، دون ادعاء اتجاه. «تصف سجلات منتدى Aave المحفوظة استجابة أمنية لـ stable-rate ومقترح إيقاف تدريجي لاحقًا. تراجع الحزمة التقارير/الثغرات؛ لا توثّق تخفيفًا منفذًا أو سلامة».

معيار (5 نقاط): مدخلات قابلة لإعادة الإنتاج، وطريقة/نتيجة صحيحتان، ونطاق ادعاء، وحدود صريحة. ملاحظة مختلقة أو نصيحة أو سلامة غير مثبتة تستوجب تصحيحًا مهما كانت الدرجة.

قائمة التحقق

  • حزمة مجمدة/سجل مؤرخ.
  • انسب التأكيدات إلى مصدرها.
  • افصل المقترح/التنفيذ.
  • أبقِ الشفرة/الحالة المفقودة والتعارض غير محسومة.
  • منشأ المعاملة قبل ادعاءات السلسلة.

الملخص

استوفى المحتوى شرط المادة التاريخية لمراجعة منشور رسمي محددة النطاق. تأكيدات الحدث/التنفيذ الكامنة منسوبة/غير متحققة.

الملخص

  • اكتب مراجعة تركز على الادعاء لإفصاح تاريخي رسمي.
  • احفظ حدود التنفيذ/الإسناد غير المحسومة.

الدرس التالي

اكتمل تسلسل البرنامج؛ ارجع إلى المنهج للتقدم الذي يعتمده Controller، دون فهم برنامج جديد ضمنًا.

الأدوات

NONE في الكتالوج المعتمد. تكفي الحزمة دون اتصال؛ لا ميزة مدفوعة أو قدرة إنتاجية غير متحقق منها. المختبر/الشهادة علاقات متابعة، لا وصول أو منح مباشر.

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

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

P11-L08-V01

SPECIFICATION_ONLY · HISTORICAL

راجع ادعاء بروتوكول تاريخيًا مع تبعيات غير محسومة

عرض/تقرير مصدر تاريخي؛ تبقى الحدود بجواره.

لوحة أدلة تاريخية: مساران مؤرخان R1/R2 وعلامة تعارض غير محسوم R3؛ أعمدة ادعاء منشور مقابل دليل حدث مستقل. لا خط زمني للسلسلة أو إيصالات أو رسم خسارة أو تصنيف سلامة مختلق.

لوحة أدلة تاريخية: مساران مؤرخان R1/R2 وعلامة تعارض غير محسوم R3؛ أعمدة ادعاء منشور مقابل دليل حدث مستقل. لا خط زمني للسلسلة أو إيصالات أو رسم خسارة أو تصنيف سلامة مختلق.

عند 390px رتّب الرسم/الجدول والافتراضات والتصحيح ولوحة المصدر عموديًا؛ نص مكافئ كامل. التصيير ما زال مفتوحًا.

الشرح RTL؛ القيم الرقمية وIDs والمحاور الزمنية LTR؛ احفظ اتجاهات الاعتماد.

P11-L08-AAVE-DISCLOSURE-20231104-v1

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

INC · OFFICIAL_PROTOCOL_PUBLICATION

BGD Labs في حوكمة Aave — إفصاح 4 نوفمبر 2023

الادعاء المدعوم
تقرير خلل وتخفيف stable-rate وتصريح عدم استغلال وإفصاح محدود منسوبة إلى مصدرها؛ ليست أدلة سلسلة.
حدود التحقق
تدعم الوثائق الآليات فقط؛ قيم التمرين مدخلات أصلية معطاة. تبقى المنشورات التاريخية منسوبة إلى مصادرها.
تاريخ التحقق
2026-10-01
فتح المصدر الأساسي
https://governance.aave.com/t/aave-v2-v3-security-incident-04-11-2023/15335

DEP · OFFICIAL_PROTOCOL_PUBLICATION

BGD Labs في حوكمة Aave — متابعة 31 يناير 2024

الادعاء المدعوم
قيود سك stable-debt ومقترح منسوبان إلى المصدر؛ يتضمن المصدر عدم اتساق في الاتجاه بفقرة المواصفات.
حدود التحقق
تدعم الوثائق الآليات فقط؛ قيم التمرين مدخلات أصلية معطاة. تبقى المنشورات التاريخية منسوبة إلى مصادرها.
تاريخ التحقق
2026-10-01
فتح المصدر الأساسي
https://governance.aave.com/t/bgd-full-deprecation-of-stable-rate/16473

منشأ مجموعة البيانات

id: P11-L08-AAVE-DISCLOSURE-20231104-v1

dataStatus: HISTORICAL

observedAt: 2026-10-01

timeBasis: Retrieval date, day precision; event dates are separately recorded.

source: Bounded frozen package in docs/academy-2/datasets; see provenance limitations.

scope: Official protocol-contributor publications only; selective dated paraphrases, no byte-identical archive, pinned code, native receipts, exploit reconstruction, loss reconstruction or independent non-exploitation proof.

اختبر تعليلك

P11-L08-Q1 · ما OBSERVED في R1؟
P11-L08-Q2 · هل يمكن أن يثبت R2 تنفيذ نوفمبر؟
P11-L08-Q3 · كيف تتعامل مع عدم اتساق الاتجاه في R3؟
P11-L08-Q4 · ما حالة الحساب الدقيق للثغرة هنا؟
P11-L08-Q5 · ماذا يحتاج ادعاء على مستوى المعاملة؟