ecrecover zero-address return unchecked
Wormhole's assessment for RD-F-019 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
`Messages.sol` `verifySignatures()` explicitly checks: `require(signatory != address(0), "ecrecover failed with signature")` — the comment in the code states "ecrecover returns 0 for invalid signatures. We explicitly require valid signatures to avoid unexpected behaviour." This is the exact vulnerability pattern the 2022 Solana exploit exposed (on the Rust/Solana side, not EVM), and the EVM side has the guard properly implemented.
Sources #
- Curator noteExtracted from 01-code-security.md — RD-F-019 finding; no URL cited in originalretrieved 2026-04-28
Methodology #
Determine whether any `ecrecover` call result is used without a `!= address(0)` guard.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol wormhole factor RD-F-019 score green collected_at 2026-04-28 01:38:43