Feat/new invariant check

primitivefinance / DFMM

Smart contracts of the DFMM protocol

https://www.primitive.xyz/blog/dfmm_protocol

18 stars 6 forks source link

Open kinrezC opened 2 months ago

kinrezC commented 2 months ago

change SY covered call invariant check to float a negative invariant and assert either growth or equivalency at swap validation