1/6 🧵 حصلت للتو على مكافأة قدرها 25,000 دولار للعثور على خطأ خطير باستخدام التحقق الرسمي! على عقد تم نشره حديثا بفضل @gegul_ كان الخطأ دقيقا لدرجة أن الاختبار التقليدي غاب عنه تماما. هذا هو السبب في أن @CertoraInc الطريقة هي التغيير
‏‎7.05‏K