عمليات التدقيق
تساعد المراجعات الأمنية المستقلة في تحديد مخاطر العقود الذكية. يعد التقرير دليلاً مفيدًا فقط عندما يمكن التحقق من نطاقه وإصدار الكود والعقد المنشور.
سجل التدقيق الرسمي لـ Atlas
يتم حاليًا ربط تقريرين مستقلين من موقع Atlas الرسمي. يؤكد النشر وجود مراجعة؛ وهذا لا يعني أن كل النتائج قد تم حلها أو أن العقود خالية من المخاطر.
التدقيق الأمني Beosin
مراجعة أمان العقد الذكي · معرف التقرير 202606171520
تم نشر التقرير
تدقيق العقود الذكية عبر Cyberscope
المراجعة الأولية 15 يونيو 2026 · مرحلة المراجعة الثانية 30 يونيو 2026
تم نشر التقرير
ما الشيكات التدقيق العقد الذكية
التحكم في الوصول
من يمكنه استدعاء الوظائف المميزة وتغيير الحالة الحساسة.
إعادة الدخول
ما إذا كان من الممكن إعادة إدخال المكالمات الخارجية في التنفيذ بشكل غير متوقع.
التعامل مع الرمز المميز
الموافقات والتحويلات والكسور العشرية ومعالجة القيمة المرتجعة.
Math & state
التقريب والحدود والمحاسبة وانتقالات الحالة.
ضوابط المشرف
الملكية والإيقاف المؤقت وإمكانية الترقية وأذونات الطوارئ.
منطق الأعمال
ما إذا كان التنفيذ يتبع قواعد Smart Cycle الموثقة.
كيفية قراءة العثور على الشدة
اقرأ دائمًا تعريفات الخطورة الخاصة بالمدقق: يمكن أن تختلف التسميات بين الشركات.
تحقق من التقرير قبل الوثوق بالشارة
ما يغطيه التقرير - وما قد لا يغطيه
مغطاة بشكل شائع
- كود المصدر المدقق والعقود المدرجة
- أنماط الضعف المعروفة
- منطق الوصول والتعامل مع الرمز المميز
- إصدار التعليمات البرمجية المحددة في التقرير
لا يتم تغطيتها تلقائيًا
- عمليات النشر المستقبلية أو التعليمات البرمجية التي تمت ترقيتها
- أمان موقع الويب أو المحفظة أو جهاز المستخدم
- السيولة وسلوك المشاركين
- النتائج السوقية أو الاقتصادية أو التشغيلية
العثور على دورة حياة العلاج
→
→
→
