Miré el código que estaba mal con Cetus anoche, y lo primero que sospeché mucho get_delta_b fue por qué esta función convertiría u256 en u64, lo que causó el problema de intercepción de precisión. Después de preguntarle a la IA, es probable que cuando cetus migró todas las fórmulas de uniswap v3, debido a que uni usa un punto fijo, deba convertirse en un número de punto flotante sin una cuidadosa consideración de seguridad. Este tipo de lógica empresarial, que pertenece al nivel del algoritmo, es difícil de detectar en las auditorías de código, a menos que la institución auditora también cuente con investigadores que estén familiarizados tanto con los algoritmos como con el código. Esta es la lógica de por qué la IA analiza el código de la manera en que lo hace: Basándome en mi análisis del código base, ahora puedo explicar por qué el autor eligió implementarlo de esta manera get_delta_b Funciones y posibles causas: Por qué el autor de la función implementa de get_delta_b manera...