Auditor AI menemukan bug dari Resupply Exploit Protokol tersebut diaudit oleh dua firma audit besar, yang keduanya melewatkan masalah tersebut. Saya mengikuti upaya audit AI yang disebut @savantchat ini jadi saya tertarik apakah itu akan menangkap akar penyebabnya. Ini dengan benar mengidentifikasi cek yang hilang untuk harga nol atau sangat besar (>1E36), tetapi penilaian tentang apa yang dilakukannya kontradiktif. Dalam edisi 3 dikatakan 0 nilai tukar melewati pemeriksaan solvabilitas, tetapi dalam edisi 4 dikatakan nilai yang sama membuat setiap peminjam langsung bangkrut. Ini masih merupakan hasil yang mengesankan dan menunjukkan auditor manusia yang bekerja sama dengan alat AI kemungkinan akan menangkap masalah ini. Mudah-mudahan segera kita akan memiliki auditor AI bahkan sebagai bagian dari CI Pipeline. Terima kasih khusus kepada @igorgulamov karena telah menjalankan ini untuk saya.

DeFi menyukai kompleksitas. Kami tidak. Arsitektur Twyne hanya ~700 baris kode. Keamanan berskala terbalik dengan kompleksitas. Basis kode ramping lebih aman, lebih cepat, dan lebih mudah disesuaikan. Inilah mengapa itu penting 👇🧵

💥 PENGUMUMAN PEMBICARA BARU Senang untuk memperluas jajaran brutal kami dengan @bl4ckb1rd71, pakar keamanan Web3 di @twynexyz dan teman sejati. ------------------------------------ ETH Beograd 3 mulai 3 Juni – tandai kalender Anda! 🎟 Dapatkan tiket (DISKON 30%) → 🎤 Mendaftar untuk berbicara → 🤝 Menjadi sponsor → 🛠 Terapkan untuk meretas →

Potensi pinjaman penuh. Tidak ada jaminan yang tertinggal. Mari kita bawa efisiensi modal ke pasar pinjaman favorit Anda: • Meningkatkan APY pinjaman • Meningkatkan LTV likuidasi • Mencegah 94% likuidasi Semua sambil memisahkan risiko - Bagaimana? 👇