mirror of
https://github.com/vacp2p/staking-reward-streamer.git
synced 2026-01-09 23:37:58 -05:00
efa2c618ba
This commit introduces `AccessControl` capabilities to Karma. The reason this is done so that there can be multiple actors in the system with different privileges. The main changes done here are: - Introduce internal functions for most of the `Karma` specific logic (this is necessary to allow properly extending the contract's functionality via modifiers) later on - Inherit AccessControlUpgradeable contract - Introduce OPERATOR_ROLE next to the already provided DEFAULT_ADMIN_ROLE This is an alternative solution to the PR in #209. Instead of providing an upgrade version, this commit is a breaking change as it introduces a storage layout conflict. BREAKING CHANGE This commit introduces a storage layout conflict. Redeployment required. Closes #207
19 lines
533 B
Plaintext
19 lines
533 B
Plaintext
{
|
|
"files": [
|
|
"src/StakeManager.sol",
|
|
"src/Karma.sol",
|
|
],
|
|
"msg": "Verifying Karma.sol",
|
|
"rule_sanity": "basic",
|
|
"verify": "Karma:certora/specs/Karma.spec",
|
|
"parametric_contracts": ["Karma"],
|
|
"optimistic_loop": true,
|
|
"loop_iter": "3",
|
|
"packages": [
|
|
"forge-std=lib/forge-std/src",
|
|
"@openzeppelin=lib/openzeppelin-contracts",
|
|
"@openzeppelin/contracts/utils=lib/openzeppelin-contracts/contracts/utils",
|
|
"@openzeppelin/contracts-upgradeable=lib/openzeppelin-contracts-upgradeable/contracts"
|
|
]
|
|
}
|