Después de investigar la transacción del exploit Cetus, creo haber identificado la causa raíz del error. El problema se deriva de una conversión de tipo de u256 a u64 dentro de la función get_amount_by_liquidity.