Dopo aver indagato sulla transazione di exploit Cetus, credo di aver identificato la causa principale del bug. Il problema deriva da un tipo che passa da u256 a u64 all'interno della funzione get_amount_by_liquidity.