10 Commits

Author SHA1 Message Date
r4bbit
ac66c84ef5 chore(release): 0.2.1 2025-04-04 13:40:25 +02:00
r4bbit
e2c327c0c9 chore(release): 0.2.0 2025-03-28 16:53:53 +01:00
r4bbit
801740f74f !refactor(RewardsStreamerMP): rename RewardsStreamerMP to StakeManager
This renames `RewardsStreamerMP` to `StakeManager`. The original name
only exists because the project has started with different versions of
the contract. Since the contract is no longer just dealing with MPs but
actually distributes rewards, it makes sense to make this the official
stake manager of the protocol.

**BREAKING CHANGE:**

- `RewardsStreamerMP` is now `StakeManager`
- `StakingManager__*` error selectors are now `StakeManager__*`
  selectors
2025-03-28 14:45:31 +01:00
r4bbit
2de338c673 chore(release): 0.1.1 2025-03-18 11:56:59 +01:00
r4bbit
6c89793854 fix(certora): fix timeout on certora with specific config 2025-03-07 13:17:46 +01:00
Andrea Franz
50b6d1a545 chore(XPToken): rename XP to Karma 2025-02-21 11:43:12 +01:00
r4bbit
1e703e3f71 feat(RewardStreamerMP): add emergency mode so users can exit the system
This adds a new emergency mode that can be enabled by the owner of the system.
When in emergency mode, stakers or `StakeVault`s can leave the system immediately.

This also applies when there was a malicious upgrade and a call to
`emergencyModeEnabled()` panics.

To have this in a fully secure manner, we still have to add the counter
part of "leaving" the system. This will allow users that don't agree
with a (malicious) upgrade to get their funds out of the vaults
regardless.

Closes #66
2024-11-28 08:27:58 +01:00
Andrea Franz
478174a356 chore(XPToken): add certora base config 2024-10-11 16:56:03 +02:00
Andrea Franz
532c90f1c2 chore: fix repo name in package.json (#6) 2024-09-25 10:15:39 +02:00
Andrea Franz
4ef75621a3 import foundry template (#1) 2024-09-25 09:39:14 +02:00