mirror of
https://github.com/logos-co/staking.git
synced 2025-01-09 18:25:56 +00:00
5dec595a20
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.
25 lines
603 B
Plaintext
25 lines
603 B
Plaintext
{
|
|
"files": [
|
|
"contracts/StakeManager.sol",
|
|
"contracts/StakeVault.sol",
|
|
"certora/helpers/StakeRewardEstimateA.sol",
|
|
"certora/helpers/ERC20A.sol"
|
|
],
|
|
"link" : [
|
|
"StakeVault:STAKED_TOKEN=ERC20A",
|
|
"StakeManager:stakedToken=ERC20A",
|
|
"StakeManager:stakeRewardEstimate=StakeRewardEstimateA",
|
|
"StakeVault:stakeManager=StakeManager"
|
|
],
|
|
"msg": "Verifying StakeVault.sol",
|
|
"rule_sanity": "basic",
|
|
"verify": "StakeVault:certora/specs/StakeVault.spec",
|
|
"optimistic_loop": true,
|
|
"loop_iter": "3",
|
|
"packages": [
|
|
"@openzeppelin=lib/openzeppelin-contracts"
|
|
]
|
|
}
|
|
|
|
|