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

Silo deposits can be transferred to `address(0)` which can cause issues in future upgrade

Summary

Silo deposit is ERC1155 token and users can transfer it. There is sanity check that receiver is not address(0) in EIP1155 functions safeTransferFrom() and safeBatchTransferFrom().

However there is no such a requirement in other functions transferDeposit() and transferDeposits().

Potentially it can cause issues in future because after such transfer address(0) will contain deposits and associated Stalk with Roots. At least it can receive non-claimable part of overall yield.

Vulnerability Details

It's hard to prove by words, so I created test PoC that transfer to address(0) executes successfully
https://gist.github.com/T1MOH593/73aca79e01d29fc30c28bfd3ff1d3753

Impact

Deposits belonging to address(0)can cause issues in future upgrades.

Tools Used

Manual Review

Recommendations

Add sanity checks on address(0) in transfers.

Updates

Lead Judging Commences

inallhonesty Lead Judge 12 months ago
Submission Judgement Published
Invalidated
Reason: Too generic
Assigned finding tags:

Silo deposits can be transferred to `address(0)` which can cause issues in future upgrade

Support

FAQs

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