un auditor AI ha trovato un bug nell'exploit di rifornimento il protocollo è stato auditato da due importanti società di revisione, entrambe delle quali hanno trascurato il problema. Stavo seguendo questo progetto di auditing AI chiamato @savantchat, quindi ero interessato a vedere se avrebbe individuato la causa principale. ha correttamente identificato i controlli mancanti per prezzi pari a zero o estremamente elevati (>1e36), ma la valutazione di ciò che fa era contraddittoria. Nell'issue 3 si afferma che 0 tassi di cambio eludono i controlli di solvibilità, ma nell'issue 4 si dice che lo stesso valore rende ogni prestatore istantaneamente insolvente. questo è comunque un risultato impressionante e dimostra che un auditor umano che lavora insieme a uno strumento AI avrebbe probabilmente individuato questo problema. Speriamo che presto avremo auditor AI anche come parte della pipeline CI. un ringraziamento speciale a @igorgulamov per aver gestito questo per me.