Depois de investigar a transação de exploração do Cetus, acredito ter identificado a causa raiz do bug. O problema decorre de uma conversão de tipo de u256 para u64 dentro da função get_amount_by_liquidity.