vacp2p staking-reward-streamer issues

vacp2p / staking-reward-streamer

MIT License

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

StakeManager: Proxy upgradability

#73 3esmit opened 1 week ago
0
feat(RewardsStreamerMP): introduce emergency mode and ability to leave

#72 0x-r4bbit opened 2 weeks ago
3
feat(StakeManager): add capabilities to register vaults

#71 0x-r4bbit opened 3 weeks ago
1
Allow for data retrieval of individual users

#70 0x-r4bbit opened 3 weeks ago
2
feat(RewardsStreamerMP): add `lock(uint256)` function

#69 0x-r4bbit closed 2 weeks ago
1
chore(certora): formally verify `StakeVault` account balance vs ERC20

#68 0x-r4bbit closed 2 weeks ago
2
chore(docs): mathspec v1

#67 3esmit opened 3 weeks ago
1
Allow accounts to exit the system

#66 0x-r4bbit opened 4 weeks ago
2
Implement new XP yield function in XP token `balanceOf`

#65 0x-r4bbit opened 4 weeks ago
0
XPToken supply and balances based on external + internal numbers

#64 gravityblast closed 4 weeks ago
0
feat: add `TrustedCodehashAccess` contract and interface

#63 0x-r4bbit closed 3 weeks ago
0
refactor(RewardStreamerMP): rename user vars to account

#62 0x-r4bbit closed 3 weeks ago
0
feat: introduce `StakeVault` and `IStakeManager`

#61 0x-r4bbit closed 3 weeks ago
0
chore(certora): add rule that greater lockup means greater MPs

#60 0x-r4bbit closed 4 weeks ago
0
Change `UserInfo` to `AccountInfo`

#59 0x-r4bbit closed 3 weeks ago
0
chore(certora): add rule that MPs are minted at 1-to-1 ratio

#58 0x-r4bbit closed 4 weeks ago
0
Introduce a YEAR constant to represent tropical year in seconds

#57 3esmit opened 1 month ago
0
Document Mathematical Formulas

#56 3esmit opened 1 month ago
0
chore(certora): dont wait for results

#55 0x-r4bbit closed 4 weeks ago
1
Review MP bonus formula

#54 0x-r4bbit opened 1 month ago
1
XPToken: add a mint function and make calculate balances summing storage balance + external balance

#53 gravityblast closed 4 weeks ago
0
Staking too low balance can cause MP to be zero.

#52 3esmit opened 1 month ago
2
feature(XPToken): upgrade to Ownable2Step

#51 gravityblast closed 4 weeks ago
0
Adding rewards per block with premint

#50 mart1n-xyz opened 1 month ago
2
XPToken: Ownable2Step instead of Ownable

#49 gravityblast closed 4 weeks ago
0
test(RewardsStreamerMP): ensure bonusMP and maxMP are decreased

#48 0x-r4bbit closed 1 month ago
12
chore(certora): add `accountMPGreaterEqualsAccountBalance` invariant

#47 0x-r4bbit closed 1 month ago
1
Add tests that unstaking also removes bonus MP

#46 0x-r4bbit closed 1 month ago
0
refactor(RewardStreamerMP): keep track of `maxMP` instead of `potentialMP`

#45 0x-r4bbit closed 1 month ago
1
Implement `maxMP` in favor of `potentialMP`

#44 0x-r4bbit closed 1 month ago
0
initialMP (bonusMP) should be considered in calculations

#43 3esmit closed 4 weeks ago
3
chore(certora): add `sumOfBalancesIsTotalStaked` invariant

#42 0x-r4bbit closed 1 month ago
0
Implement base XP ERC20 with fixed supply and balances based on MP

#41 gravityblast closed 1 month ago
0
Implement `lock()` on reward streamer contract

#40 0x-r4bbit closed 2 weeks ago
0
feat: add StakeVault and implements StakeManager interface into RewardsStreamerMP

#39 3esmit closed 3 weeks ago
5
Make XP NFT upgradeable

#38 0x-r4bbit opened 1 month ago
1
Implement first version of XP NFT contract

#37 0x-r4bbit closed 1 month ago
0
Document XP token contract

#36 0x-r4bbit opened 1 month ago
0
Formally verify XP token contract

#35 0x-r4bbit opened 1 month ago
0
Implement first version of XP token

#34 0x-r4bbit opened 1 month ago
0
Document user stories

#33 0x-r4bbit opened 1 month ago
0
Document multiplier points

#32 0x-r4bbit opened 1 month ago
0
Create document that explains the algorithm for multiplier points

#31 0x-r4bbit opened 1 month ago
0
Create overview of staking protocol components

#30 0x-r4bbit opened 1 month ago
0
Implement rule: accountBalanceVsERC20Balance

#29 0x-r4bbit closed 2 weeks ago
1
Implement rule: greater lockup time means greater mp

#28 0x-r4bbit closed 4 weeks ago
0
Implement rule that MPs are minted at an at least 1:1 ratio

#27 0x-r4bbit closed 4 weeks ago
0
Implement MP related invariants

#26 0x-r4bbit closed 1 month ago
1
Implement rule: sumOfMultiplierPointsIsMultiplierSupply

#25 0x-r4bbit opened 1 month ago
0
Implement rule: `sumOfBalancesIsTotalBalance`

#24 0x-r4bbit closed 1 month ago
0