logos-co
/
staking
mirror of https://github.com/logos-co/staking.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
staking/certora/confs/StakeVault.conf

25 lines
603 B
Plaintext
Raw Permalink Normal View History

chore: certora setup for stakemanager and vault
2024-01-24 08:39:04 +00:00
{
"files": [
"contracts/StakeManager.sol",
"contracts/StakeVault.sol",
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-04 07:54:45 +00:00
"certora/helpers/StakeRewardEstimateA.sol",
chore: certora setup for stakemanager and vault
2024-01-24 08:39:04 +00:00
"certora/helpers/ERC20A.sol"
],
"link" : [
"StakeVault:STAKED_TOKEN=ERC20A",
"StakeManager:stakedToken=ERC20A",
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-04 07:54:45 +00:00
"StakeManager:stakeRewardEstimate=StakeRewardEstimateA",
chore: certora setup for stakemanager and vault
2024-01-24 08:39:04 +00:00
"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"
]
}