In the depositTokens function, the sendMessageToL2 call allows a user to send a message with a msg.value of 0, which might lead to unexpected behavior if a non-zero msg.value is required for gas.
There is no check to ensure that msg.value is greater than 0. If a non-zero msg.value is required to cover gas costs or other expenses, this could lead to failed transactions or other issues.
Users might unintentionally send a transaction with insufficient funds, leading to failed L2 messaging and potential loss of user funds due to gas costs on L1.
Manual code review.
Implement a check to ensure that msg.value is appropriate for the transaction, or provide guidance to users on the required msg.value for successful execution.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.