@GuilleAngeris @tarunchitra Seriously though, we need to call the invariants in CFMMs somehow, formalize some good properties via first and second derivatives etc
@Guillangeris@Taruncitra严肃地说，我们需要以某种方式调用CFMMs中的不变量，通过一阶导数和二阶导数等形式化一些好的性质
@GuilleAngeris @tarunchitra Seriously though, we need to call the invariants in CFMMs somehow, formalize some good properties via first and second derivatives etc
@Guillangeris@Taruncitra严肃地说，我们需要以某种方式调用CFMMs中的不变量，通过一阶导数和二阶导数等形式化一些好的性质