مكافأة الأخطاء
نطاق الإفصاح المسؤول وإرشاد فرز الأثر الاقتصادي لبحث أمن Avana.
نظرة عامة
يغطي برنامج مكافأة أخطاء Avana الإفصاح المسؤول عبر العقود وأنظمة المخاطر والبنية الداعمة التي يمكن أن تؤثر على أموال المستخدمين أو ملاءة البروتوكول. يشمل النطاق الثغرات المباشرة في العقود والفشل الاقتصادي المرتبط بالضمانات LP. يمكن أن تؤثر الأسعار المُدارة، ونقص السيولة، أو حالة المركز غير المتسقة على قدرة الاقتراض أو تمنع التصفية من استرداد الدين. يتم تحديد الشدة بناءً على الأثر الاقتصادي:يشمل التقييم قابلية الاستغلال والنتائج مثل خسارة الأموال، الإفلاس، الديون المعدومة، أو التسعير الخاطئ للضمانات النظامية. حجم الكود المتأثر ليس مقياسًا للخسارة المحتملة.
النطاق وهيكل النظام
يتم تجميع التقارير حسب النظام الفرعي المتأثر: الإقراض الأساسي، LP التقييم، الحوكمة والإدارة، أو التكاملات خارج السلسلة. يوضح التجميع المكون المعني؛ وتعتمد شدة الحالة على التأثير المثبت.
البرنامج A - الإقراض الأساسي
يغطي محرك الائتمان الأساسي حيث تحمي سلامة المحاسبة والضمانات وتنفيذ التصفية أموال المستخدمين مباشرة.
يشمل
- تدفقات الإيداع / السحب
- منطق الاقتراض / السداد
- معامل الصحة وتراكم الفائدة
- محاسبة الاحتياطي وسك / حرق الدين
- تنفيذ التصفية الأساسي والسقوف
المخاطر الأساسية
- سرقة أموال المستخدمين
- إعسار الاحتياطي
- اقتراض دون ضمان كافٍ
- سدادات أو سحوبات أو تصفيات محظورة
البرنامج B - ضمان LP والتقييم
يغطي نظام التقييم الخاص بـ Avana للائتمان المدعوم بـ LP، بما في ذلك كيف تُسعَّر مراكز LP وتُوزَن مخاطرها وتُختبر تحت ظروف سوق متقلبة.
يشمل
- LP token onboarding logic
- تعيين عامل الضمان لمراكز LP
- LP share pricing and oracle integration
- معالجة مراكز السيولة المركّزة
- حالات حدية أثناء عدم التوازن أو فك الـ peg أو انخفاض السيولة أو حالات أوراكل قديمة
المخاطر الأساسية
- مبالغة في تقييم ضمان LP
- تلاعب بأوراكل يمكّن ديناً سيئاً
- تصفية غير عادلة من نقص التسعير
- مسارات استغلال متكررة ضد ضمان LP مُسعَّر خطأً
لماذا يهم: يمكن أن يكون لسوء تسعير LP تأثير اقتصادي حاد من خلال تمكين الديون المعدومة أو الإعسار أو التصفية غير الصحيحة، حتى دون السرقة المباشرة من العقد.
البرنامج C - الحوكمة والإدارة وبنية البروتوكول
يغطي أسطح التحكم المميزة التي يمكن أن تغيّر المعلمات، أو ترقّي العقود، أو توقِف العمليات، أو تعيد توجيه أصول يملكها البروتوكول.
يشمل
- منفّذ الحوكمة والقفل الزمني
- إدارة الأدوار وآليات قابلية الترقية
- أدوار الإيقاف / الوصي
- أنظمة إدارة المعلمات
- عقود الخزينة والمجمّع والأتمتة المميزة
المخاطر الأساسية
- إجراء إداري غير مصرح به
- اختطاف الترقية
- إفساد المعلمات
- استيلاء على الحوكمة أو خسارة الخزينة
البرنامج D - أسطح خارج السلسلة / التكامل
يغطي الأنظمة الداعمة التي يمكن لاختراقها التأثير على عمليات البروتوكول الموثوقة أو تفاعلات المستخدم أو سلوك keepers.
يشمل
- بوتات الفهرسة أو التصفية التي تحتفظ بها Avana
- افتراضات keepers ومرحّلات الأوراكل
- SDK logic that can induce unsafe interactions
- واجهات API مستضافة تُستخدم في مسارات حرجة للسلامة
- مشاكل الواجهة الأمامية بعواقب مخاطر محفظة مباشرة
المخاطر الأساسية
- بناء معاملات خبيثة
- مسارات تصفية أو مرحّل أوراكل مخترقة
- خسارة أموال المستخدم عبر تكاملات موثوقة
- انقطاعات تشغيلية تجمّد إجراءات حرجة
تُفرَز الأنظمة الفرعية بشكل منفصل، لكن الأثر ما زال يُقيَّم عبر الملاءة وسلامة أموال المستخدم وسلامة التصفية ومخاطر البروتوكول ذات الصلة.
فلسفة الشدة
يأخذ تقييم الخطورة في الاعتبار مسار استغلال موثوق والأضرار الاقتصادية التي قد يسببها، بدلاً من الاعتماد فقط على درجة الضعف العامة.
حرج
خسارة أموال مباشرة أو غير مباشرة، أو إنشاء دين سيئ، أو إعسار البروتوكول، أو تلاعب منهجي بتقييم الضمان.
عالٍ
ضرر ذو معنى لكن محدود، مثل سلوك تصفية غير صحيح، أو تجاوز جزئي لضوابط المخاطر، أو إخفاقات محاسبية محصورة.
متوسط / منخفض
نتائج محدودة الأثر، وتناقضات حدية، وقضايا منطق غير حرجة، أو ثغرات دون مسار موثوق لضرر اقتصادي كبير.
يمكن أن يكون الاكتشاف الذي يمكّن من المبالغة في التقييم LP أو الديون المعدومة أمرًا بالغ الأهمية حتى لو أثر على القليل من الكود. الاكتشافات التي لا تحتوي على مسار موثوق نحو ضرر اقتصادي كبير تتلقى تقييم خطورة أقل.