يعتقد عالم الأبحاث الرئيسي في Certora، مولى ساجيف، أن أكبر مخاطر الأمان في التشفير ليست في الثغرات المعقدة في الشفرة، بل في مشاكل أبسط مثل إدارة المفاتيح والأخطاء البشرية. في مؤتمر Breakpoint 2025، أكد أن التدقيق لا يضمن الأمان، ودعا إلى دمج التحقق الرسمي مع المراجعة البشرية. أشار ساجيف إلى أن التحقق الرسمي المدمج في خطوط التكامل المستمر (CI) يمكن أن يكشف عن "المجهول المجهول"، لكنه حذر من أن فعاليته تعتمد على التعريف الصحيح للخصائص. كما قلل من أهمية الذكاء الاصطناعي كتهديد للبقاء، معتقدًا أنه أداة للمهاجمين وأيضًا للدفاع.