out,n 和 yout,n 的值后,我们进一步可以获得 n 区块的交易后 AMM 的 xreserve 和 yreserve 值 xn 和 yn, 通过观察,我们发现 xn*yn=xn-1*yn-1,这正好符合 AMM 的循恒定乘积做市的前提要求。 令, xn*yn=xn-1*yn-1=...= x1*y1=x0*y0=k,这是一个常数。 分式线性递归先对 xn 求得一般公式,并获得 xammEnd=xN 的值,yn 同理。 yn 的分式线性递归表达式如下: 解首先,若 yin 等于 0,xin 不等于 0,则 而 计算得到, 而, xin 等于 0,yin 不等于 0 时,讨论同上。 若 xin 和 yin 都不等于 0,对于一般的分式线性递归,我们可以采用不动点的方法求解。 进一步计算, 极限TWAMM 的基本假设是将长期大额订单分解为无限多个无限小的虚拟订单,也即是 N 可以取无穷大,这时候可以获得 xN 的极限值。 其中, 相似的, 最后,经过简单的验证 xammEnd*yammEnd=x (责任编辑:admin) |