un auditeur IA a trouvé un bug provenant d'une exploitation de réapprovisionnement le protocole a été audité par deux grandes entreprises d'audit, qui ont toutes deux manqué le problème. Je suivais cette initiative d'audit IA appelée @savantchat, donc j'étais intéressé de savoir si elle allait détecter la cause profonde. elle a correctement identifié les vérifications manquantes pour un prix nul ou extrêmement élevé (>1e36), mais l'évaluation de ce qu'elle fait était contradictoire. dans le problème 3, elle dit que 0 taux de change contourne les vérifications de solvabilité, mais dans le problème 4, elle dit que la même valeur rend chaque emprunteur instantanément insolvable. c'est toujours un résultat impressionnant et cela montre qu'un auditeur humain travaillant avec un outil IA aurait probablement détecté ce problème. j'espère bientôt que nous aurons des auditeurs IA même dans le cadre du pipeline CI. un grand merci à @igorgulamov pour avoir géré cela pour moi.

DeFi loves complexity. We don’t. Twyne’s architecture is just ~700 lines of code. Security scales inversely with complexity. Lean codebase is safer, faster and easier to adjust. Here’s why that matters 👇🧵

💥 ANNONCE D’UN NOUVEAU CONFÉRENCIER Nous sommes ravis d’élargir notre gamme brutale avec @bl4ckb1rd71, expert en sécurité Web3 chez @twynexyz et un véritable ami. ------------------------------------ L’ETH Belgrade 3 commence le 3 juin – marquez votre calendrier ! 🎟 Obtenez des billets (30 % de réduction) → 🎤 Postulez pour parler → 🤝 Devenez parrain → 🛠 Postuler pour pirater →

Plein potentiel de prêt. Aucune garantie laissée derrière. Apportons l’efficacité du capital à vos marchés de prêt préférés : • Augmenter les APY de prêt • Levée de LTV de liquidation • Prévention de 94 % des liquidations Tout en gardant les risques séparés - Comment ? 👇