ChainCatcher消息，USM合约defund()赎回函数中的ethFromDefund()定价逻辑存在缺陷。该函数采用当前FUM卖出价与预估终期FUM卖出价的算术平均核算对价，不具备拆分不变性。叠加adjShrinkFactor与整数取整后，将FUM拆为64次小额赎回可提取的以太坊远超一次性赎回。