USM合约赎回定价缺陷：拆分为64次可多提以太坊

ChainCatcher消息，USM合约defund()赎回函数中的ethFromDefund()定价逻辑存在缺陷。该函数在单次赎回计算中，采用当前FUM卖出价与预估终期FUM卖出价的算术平均值核算对价，但该算法不具备拆分不变性。

叠加单次赎回附带的状态收缩系数adjShrinkFactor与整数取整机制后，同等数量的FUM资产拆分为64次小额赎回操作，最终可提取的以太坊总量将远高于一次性大额赎回所得。