مكافأة الأخطاء
نطاق الإفصاح المسؤول وإرشاد فرز الأثر الاقتصادي لبحث أمن Avana.
نظرة عامة
يغطي برنامج مكافأة أخطاء Avana الإفصاح المسؤول عبر العقود وأنظمة المخاطر والبنية الداعمة التي يمكن أن تؤثر على أموال المستخدمين أو ملاءة البروتوكول.
لأن Avana تستخدم مراكز سيولة AMM كضمان، يشمل النطاق أخطاء العقود المباشرة والإخفاقات حيث يمكن تحويل السيولة أو التسعير أو حالة السوق إلى قيمة ضمان سيئة أو تصفيات معطّلة.
الشدة اقتصادية أولاً:تتتبّع المكافآت قابلية الاستغلال ونتائج مثل خسارة الأموال أو الإعسار أو الدين السيئ أو سوء تسعير الضمان المنهجي، وليس فقط حجم تغيّر الكود.
النطاق وهيكل النظام
يُقسَم النطاق إلى أنظمة فرعية حتى يمكن للباحثين ربط النتيجة بجزء المكدس المهدَّد فعلياً: الإقراض الأساسي، وتقييم 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 مستضافة تُستخدم في مسارات حرجة للسلامة
- مشاكل الواجهة الأمامية بعواقب مخاطر محفظة مباشرة
المخاطر الأساسية
- بناء معاملات خبيثة
- مسارات تصفية أو مرحّل أوراكل مخترقة
- خسارة أموال المستخدم عبر تكاملات موثوقة
- انقطاعات تشغيلية تجمّد إجراءات حرجة
تُفرَز الأنظمة الفرعية بشكل منفصل، لكن الأثر ما زال يُقيَّم عبر الملاءة وسلامة أموال المستخدم وسلامة التصفية ومخاطر البروتوكول ذات الصلة.
فلسفة الشدة
درجات الثغرات العامة ليست طريقة الترتيب الرئيسية هنا. تُقاس النتائج بمسارات استغلال موثوقة وبالأثر الاقتصادي الذي يمكن أن تخلقه.
حرج
خسارة أموال مباشرة أو غير مباشرة، أو إنشاء دين سيئ، أو إعسار البروتوكول، أو تلاعب منهجي بتقييم الضمان.
عالٍ
ضرر ذو معنى لكن محدود، مثل سلوك تصفية غير صحيح، أو تجاوز جزئي لضوابط المخاطر، أو إخفاقات محاسبية محصورة.
متوسط / منخفض
نتائج محدودة الأثر، وتناقضات حدية، وقضايا منطق غير حرجة، أو ثغرات دون مسار موثوق لضرر اقتصادي كبير.
A bug that looks small in code can still be critical if it enables LP overvaluation or bad debt. A technically interesting issue can rank lower if it does not have a credible path to meaningful financial damage.