Tópicos em alta
#
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 não perceberam o problema. Eu estava seguindo esse esforço de auditoria de IA chamado @savantchat então estava interessado se ele pegaria a causa raiz.
Ele identificou corretamente os cheques ausentes para o preço zero ou extremamente grande (>1e36), mas a avaliação do que ele faz era contraditória. Na edição 3, diz que 0 taxa de câmbio ignora as verificações de solvência, mas na edição 4 diz que o mesmo valor torna todos os mutuários instantaneamente insolventes.
Este ainda é um resultado impressionante e mostra que um auditor humano trabalhando em conjunto com uma ferramenta de IA provavelmente teria detectado esse problema. Espero que em breve tenhamos auditores de IA, mesmo como parte do pipeline de CI.
agradecimentos especiais a @igorgulamov por executar isso para mim.

23,88K
Melhores
Classificação
Favoritos