وجد مدقق الذكاء الاصطناعي خطأ من استغلال إعادة الإمداد تم تدقيق البروتوكول من قبل شركتين رئيسيتين لمراجعة الحسابات ، وكلاهما لم تقم بحل المشكلة. كنت أتابع مسعى تدقيق الذكاء الاصطناعي هذا المسمى @savantchat لذلك كنت مهتما إذا كان سيكتشف السبب الجذري. لقد حددت بشكل صحيح الشيكات المفقودة لسعر صفر أو كبير للغاية (>1e36) ، لكن تقييم ما يفعله كان متناقضا. في العدد 3 تقول إن سعر الصرف 0 يتجاوز شيكات الملاءة المالية ، ولكن في العدد 4 يقول إن نفس القيمة تجعل كل مقترض معسرا على الفور. لا تزال هذه نتيجة مثيرة للإعجاب وتظهر أن المدقق البشري الذي يعمل مع أداة الذكاء الاصطناعي من المحتمل أن يكتشف هذه المشكلة. نأمل قريبا أن يكون لدينا مدققو ذكاء اصطناعي حتى كجزء من خط أنابيب CI. شكر خاص ل @igorgulamov على تشغيل هذا من أجلي.

يحب DeFi التعقيد. نحن لا نفعل ذلك. بنية توين هي ~ 700 سطر من التعليمات البرمجية. يتدرج الأمان عكسيا مع التعقيد. قاعدة التعليمات البرمجية الخالية من الهدر أكثر أمانا وأسرع وأسهل في الضبط. إليك سبب أهمية ذلك 👇🧵

💥 إعلان المتحدث الجديد متحمس لتوسيع تشكيلتنا الوحشية مع @bl4ckb1rd71 وخبير أمان Web3 في @twynexyz وصديق حقيقي. ------------------------------------ يبدأ ETH بلغراد 3 في 3 يونيو - ضع علامة على التقويم الخاص بك! 🎟 احصل على تذاكر (خصم 30٪) → 🎤 تقدم بطلب للتحدث → 🤝 كن راعيا → 🛠 تقدم بطلب للحصول على اختراق →

إمكانات الإقراض الكاملة. لم تترك أي ضمانات وراءك. دعنا نجلب كفاءة رأس المال إلى أسواق الإقراض المفضلة لديك: • تعزيز APYs للإقراض • رفع LTVs للتصفية • منع 94٪ من عمليات التصفية كل ذلك مع الحفاظ على الفصل بين المخاطر - كيف؟ 👇