seelabs
3f7ce939c8
fix amendment: AMM swap should honor invariants: ( #5002 )
...
The AMM has an invariant for swaps where:
new_balance_1*new_balance_2 >= old_balance_1*old_balance_2
Due to rounding, this invariant could sometimes be violated (although by
very small amounts).
This patch introduces an amendment `fixAMMRounding` that changes the
rounding to always favor the AMM. Doing this should maintain the
invariant.
Co-authored-by: Bronek Kozicki
Co-authored-by: thejohnfreeman
2024-04-25 21:15:19 -04:00
..
2024-04-25 21:15:19 -04:00
2020-04-23 10:02:04 -07:00
2020-04-23 10:02:04 -07:00
2024-03-05 12:02:53 -05:00
2020-04-23 10:02:04 -07:00
2024-04-18 15:25:22 -04:00
2024-04-19 11:32:15 -05:00
2020-04-23 10:02:04 -07:00
2023-09-14 13:08:41 -07:00
2020-04-23 10:02:04 -07:00
2020-04-23 10:02:04 -07:00
2020-11-19 10:57:13 -08:00
2023-08-21 16:15:08 -07:00
2020-06-25 19:46:43 -07:00
2020-04-23 10:02:04 -07:00
2020-04-23 10:02:04 -07:00
2023-10-18 13:01:12 -07:00
2020-04-23 10:02:04 -07:00
2024-04-24 13:54:46 -04:00
2024-04-24 13:54:46 -04:00
2024-02-06 20:14:40 -08:00
2021-03-11 14:35:31 -08:00
2023-07-13 18:00:32 -07:00
2020-04-23 10:02:04 -07:00
2020-04-23 10:02:04 -07:00
2020-04-23 10:02:04 -07:00
2024-04-24 13:54:46 -04:00
2020-04-23 10:02:04 -07:00
2023-09-26 17:35:31 -07:00
2021-03-11 14:35:31 -08:00
2024-04-18 15:25:22 -04:00
2020-04-23 10:02:04 -07:00
2022-04-06 13:29:48 -07:00
2024-02-26 06:28:26 -05:00
2020-04-23 10:02:04 -07:00
2023-07-12 13:52:50 -04:00
2021-01-25 18:49:49 -08:00
2023-07-12 13:52:50 -04:00
2020-04-23 10:02:04 -07:00
2020-04-23 10:02:04 -07:00
2020-04-23 10:02:04 -07:00
2020-04-23 10:02:04 -07:00
2021-06-03 10:58:24 -07:00
2020-04-23 10:02:04 -07:00
2024-04-24 13:54:46 -04:00
2020-04-23 10:02:04 -07:00
2021-03-11 14:35:31 -08:00
2021-03-11 14:35:31 -08:00
2020-04-23 10:02:04 -07:00
2020-04-23 10:02:04 -07:00
2021-03-11 14:35:31 -08:00
2023-10-30 11:13:25 -07:00
2020-04-23 10:02:04 -07:00
2021-03-11 14:35:31 -08:00
2023-03-20 14:47:46 -07:00
2023-06-26 14:07:20 -07:00
2023-07-13 13:25:08 -04:00
2020-04-23 10:02:04 -07:00
2023-11-13 15:04:27 -08:00
2020-04-23 10:02:04 -07:00
2021-03-11 14:35:31 -08:00
2023-09-14 13:08:41 -07:00