Implement rule: sumOfMultiplierPointsIsMultiplierSupply - Githubissues

vacp2p / staking-reward-streamer

MIT License

0 stars 0 forks source link

Implement rule: sumOfMultiplierPointsIsMultiplierSupply #25

Open 0x-r4bbit opened 1 month ago

0x-r4bbit commented 1 month ago

An implementation of this exists here and needs to be ported over: https://github.com/logos-co/staking/blob/da6cac4e2045f0392a38917dc6c1682f40c4b6c0/certora/specs/StakeManager.spec#L69