|
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) |












