Bridge tracks nonce-consumed mapping
Hyperlane's assessment for RD-F-153 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
Yes. Mailbox maintains mapping(bytes32 messageId => Delivery delivery) internal deliveries. The delivered() function returns true if deliveries[_id].blockNumber > 0. The process() function requires delivered(_id) == false before execution. Nonces increment on dispatch (nonce += 1). Each message ID is unique incorporating nonce, origin, destination, sender, recipient, body. Replay protection is structurally sound.
Sources #
- GitHubMailbox.sol — replay protection confirmedMailbox.sol process() — require(delivered(_id) == false, 'Mailbox: already delivered'); deliveries mapping; nonce += 1 on dispatchretrieved 2026-05-17
Methodology #
Determine whether the bridge inbox maintains a nonce-consumed mapping and rejects replay of used nonces.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol hyperlane factor RD-F-153 score green collected_at 2026-05-16 23:03:56