Ricardo Guilherme Schmidt
14baaffc7c
chore(cerotra/spec): fix rules
2024-11-13 16:46:30 -03:00
Ricardo Guilherme Schmidt
4669a4fcf3
Update specs and interface
2024-11-08 00:56:09 -03:00
Ricardo Guilherme Schmidt
5d576825a3
refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer
2024-11-07 10:50:13 -03:00
Ricardo Guilherme Schmidt
b6a95e3572
refactor(StakeManager): Abstact out codehash verification to better code reusability
...
chore(StakeManager): move out storage contract and rename it
2024-10-02 23:06:57 -03:00
r4bbit
5dec595a20
feat(StakeManager): implement multiplier points estimation
...
This commit introduces the internal accounting logic for accrueing
multiplier points, that will later be used to determine how many
experience points an account is eligible to.
The majority of the work here was done by @3esmit.
2024-09-10 08:51:35 +02:00
Nurit Dor
14248a285b
chore: certora setup for stakemanager and vault
2024-02-20 09:04:23 +01:00
