Skip to content
Request an audit

‹ All findings

The domain with 0 index in Cap::_checkRemoteStateAndAdvance() is not checked for equality

Low/InfoMitosis·Three Sigma · Cross-chain liquidity layer 1 · 25th June, 20243S-Mitosis-N16

Description

Cap::_checkRemoteStateAndAdvance() returns if not all domains have the same epoch, but the domain with index 0 is skipped in the loop.

This is never a problem because the only way for it not to return is if the domains are something such as 2, 1, 1. However, as it only advances the epoch if the minimum epoch is bigger than the local domain's epoch, as the current is 1 and the minimum is 1, it will do nothing.

Recommendation

Consider starting the loop in index 0.

Status

Addressed in #40ef30e.