The return value of ECDSA.recover() should be checked for the zero address in sendToL1() inside the bridge contract.
Checking if the return value is not the zero address should be an invariant.
Missing invariant check.
Manual review.
Check that the address is not the zero address.
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.