Tendencias del momento
#
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.
un auditor de IA encontró un error en la explotación de reabastecimiento
el protocolo fue auditado por dos importantes firmas de auditoría, las cuales pasaron por alto el problema. Estaba siguiendo este esfuerzo de auditoría de IA llamado @savantchat, así que me interesaba saber si captaría la causa raíz.
identificó correctamente los controles faltantes para precios cero o extremadamente grandes (>1e36), pero la evaluación de lo que hace fue contradictoria. En el problema 3 dice que 0 tasa de cambio elude los controles de solvencia, pero en el problema 4 dice que el mismo valor hace que cada prestatario sea instantáneamente insolvente.
este sigue siendo un resultado impresionante y muestra que un auditor humano trabajando junto con una herramienta de IA probablemente habría detectado este problema. Espero que pronto tengamos auditores de IA incluso como parte del pipeline de CI.
agradecimientos especiales a @igorgulamov por hacer esto por mí.

23,88K
Parte superior
Clasificación
Favoritos