Implement rule: greater lockup time means greater mp - Githubissues

vacp2p / staking-reward-streamer

MIT License

0 stars 0 forks source link

Implement rule: greater lockup time means greater mp #28

Closed 0x-r4bbit closed 4 weeks ago

0x-r4bbit commented 1 month ago

Something like this can be found here to port over: https://github.com/logos-co/staking/blob/da6cac4e2045f0392a38917dc6c1682f40c4b6c0/certora/specs/StakeManager.spec#L140