تدقيقات أمان البلوكتشين لـ المالية والتقنية المالية

اكتشفها قبل أن يكتشفها المهاجمون

خُسِر أكثر من 3 مليارات دولار بسبب استغلال العقود الذكية في السنوات الثلاث الأخيرة. استهدفت غالبية هذه الهجمات ثغرات كان التدقيق الشامل قبل النشر كفيلًا باكتشافها: إعادة الدخول، وتجاوز الأعداد الصحيحة، وفجوات التحكم في الوصول، والتلاعب بالأوراكل، وأسطح هجوم القروض السريعة.

تجمع عملية التدقيق لدينا بين التحليل الثابت الآلي (Slither و MythX واختبار التشويش بـ Echidna) والمراجعة اليدوية من قِبل مطوّرين كتبوا وهاجموا عقودًا في بيئات الإنتاج. ننتج تقرير نتائج مُصنّف حسب الخطورة مع كود إثبات المفهوم للنتائج العالية والحرجة، وتتبّع معالجة مُوثَّق.

ندقّق أيضًا الأمان الاقتصادي — سطح الهجوم القائم على نظرية الألعاب الذي لا يمكن للتحليل الثابت اكتشافه. التلاعب بأوراكل الأسعار، وهجمات الساندويتش، وهجمات الحوكمة، واستغلال اقتصاديات الرموز تتطلب التفكير في الحوافز العدائية، وليس فقط مسارات الكود.