r4bbit fcfe72d050 feat(RewardsStreamerMP): introduce leave() function ...

This function allows users to `leave()` the system if they can't or
don't want to trust the stake manager. This is the case when the owner
of the stake manager performs an upgrade.

In case of such an upgrade, the stake manager will be marked as not
trusted which prevents the user from staking, unstaking, locking etc.

The user can then either explicitly trust stake manager (will happen in
future changes) to enable the vault's functionality again, or, `leave()`
the system at which point it will try to perform a benign `leave()`
operation and then move the funds out of the vault.

Closes #66

2024-12-01 08:25:36 +01:00

..

confs

feat(RewardsStreamerMP): make RewardsStreamerMP upgradeable

2024-12-01 08:06:51 +01:00

helpers

chore(certora): add sumOfBalancesIsTotalStaked invariant

2024-10-14 12:04:52 +02:00

specs

feat(RewardsStreamerMP): introduce leave() function

2024-12-01 08:25:36 +01:00