Ricardo Guilherme Schmidt 8bebfbc9d2 refactor(StakeManager, StakeVault): decouple StakeManager <-> StakeVault ...

- BREAKING CHANGE: Updated stake and lock functions in StakeManager to accept an additional parameter for current lock until timestamp.
- BREAKING CHANGE: Modified StakeVault to handle the new locking mechanism and removed the old updateLockUntil function.
- Adjusted related tests to reflect changes in function signatures and expected behaviors.
- Ensured that funds locked checks are properly referenced in tests and contracts.

2025-08-13 10:37:40 -03:00

..

confs

feat(Karma): add ability to slash Karma

2025-06-05 14:26:11 +02:00

harness

feat(Karma): add ability to slash Karma

2025-06-05 14:26:11 +02:00

helpers

chore(certora): add sumOfBalancesIsTotalStaked invariant

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

specs

refactor(StakeManager, StakeVault): decouple StakeManager <-> StakeVault

2025-08-13 10:37:40 -03:00