search

numotrade / numo

🤖 Smart contract suite for Numo.
https://docs.numo.trade
Other
0 stars 0 forks source link

Change capped power invariant #3

Closed robertleifke closed 1 month ago

robertleifke commented 2 months ago

Description

The invariant formula in pair.sol does not match the expected invariant as intended.

Action Items:

LHS and RHS need to match. Sufficient unit and integration tests exist for all components, and use fuzzing tests to check proper behavior at the bounds.

robertleifke commented 1 month ago

Merged successfully. The invariant changed to represent a quartic CFMM.