Bridge tracks nonce-consumed mapping
M^0'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 #
Portal.sol uses _useMessageSequence() (sequence counter) and processes messages with a messageId_ digest mechanism. NTT framework tracks consumed message IDs to prevent replay. Message sequences tracked per (sourceChain, sequence) pair.
Sources #
- GitHubPortal.sol sourcem0-foundation/m-portal main/src/Portal.sol — sequence_ = _useMessageSequence() and messageId_ digest mechanism confirmedretrieved 2026-05-16
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 m0 factor RD-F-153 score green collected_at 2026-05-16 09:46:19