Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
um auditor de IA encontrou um bug na exploração de reabastecimento
o protocolo foi auditado por duas grandes empresas de auditoria, ambas as quais perderam o problema. eu estava acompanhando este esforço de auditoria de IA chamado @savantchat, então estava interessado em saber se conseguiria identificar a causa raiz.
ele identificou corretamente as verificações ausentes para preços zero ou extremamente altos (>1e36), mas a avaliação do que faz foi contraditória. no problema 3, diz que 0 taxa de câmbio contorna as verificações de solvência, mas no problema 4, diz que o mesmo valor torna cada mutuário instantaneamente insolvente.
este ainda é um resultado impressionante e mostra que um auditor humano trabalhando junto com uma ferramenta de IA provavelmente teria detectado este problema. espero que em breve tenhamos auditores de IA mesmo como parte do pipeline de CI.
agradecimentos especiais a @igorgulamov por ter feito isso para mim.

23,88K
Top
Classificação
Favoritos