11 Commits

Author SHA1 Message Date
Ricardo Guilherme Schmidt
5bc7b564e8 choe(MaxMPRule.conf): remove args and settings 2024-11-15 02:40:11 -03:00
Ricardo Guilherme Schmidt
377f01903f chore(cerotra/spec): fix rules 2024-11-15 02:40:11 -03:00
Ricardo Guilherme Schmidt
173ce9b15a Update specs and interface 2024-11-15 02:40:11 -03:00
Ricardo Guilherme Schmidt
365551b18e refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer 2024-11-15 02:40:11 -03:00
r4bbit
9face30b63 try with standard server instead 2024-10-08 10:14:20 -03:00
r4bbit
7581c2a079 refactor(certora): move rule about MP not greater than max MP into own
spec

This is necessary because we need to run this rule on a custom config to
avoid timeouts.
2024-10-08 10:14:20 -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
r4bbit
70b092ab00 chore(StakeManagerProcessAccount.spec): add specs for processAccount
This primarily adds a rule that ensures that, when an account's
`balance` changes, `_processAccount()` must have been called as well.

There's very few exceptions where an account's `balance` can change
without the need of `_processAccount()` but those functions have been
deliberately excluded from the rule.
2024-03-18 11:44:51 +01:00
Ricardo Guilherme Schmidt
03bc6559ae fix: StakeManager migration fixes and certora rules 2024-02-20 09:08:00 +01:00
Nurit Dor
14248a285b chore: certora setup for stakemanager and vault 2024-02-20 09:04:23 +01:00