DeFiHardhatFoundry
250,000 USDC
View results
Submission Details
Severity: medium
Invalid

`L2ContractMigrationFacet` does not account for germinating stalk

Summary

L2ContractMigrationFacet does not account for germinating stalk

Vulnerability Details

L2ContractMigrationFacet#addMigratedDepositsToAccount calculates user stalk, but does not check if the stem is <= stemTip. This would allow for stalk which should not yet be germinated, be minted as such.

// increment stalkForAccount by the stalk issued per BDV.
// placed outside of loop for gas effiency.
accountStalk += stalkIssuedPerBdv * totalBdvForAccount;

Impact

Unfair minting of germinated stalk. Unfair gaining of voting power

Tools Used

Manual review

Recommendations

check if stalk is germinated and mint it accordingly.

Updates

Lead Judging Commences

inallhonesty Lead Judge about 1 year ago
Submission Judgement Published
Invalidated
Reason: Non-acceptable severity

Support

FAQs

Can't find an answer? Chat with us on Discord, Twitter or Linkedin.