MsgInitiateTokenDeposit
event is relayed correctly to the MsgFinalizeTokenDeposit
event.MsgInitiateTokenDeposit
was relayed within the required time frame.MsgUpdateOracle
.OutputRoot
submitted with MsgProposeOutput
is accurate.MsgProposeOutput
is submitted within the expected time frame.MsgInitiateTokenDeposit
is not only correctly triggered but also completed within a specific timeframe by matching it to MsgFinalizeTokenDeposit
.
This prevents potential discrepancies or fraud, ensuring that deposits are secure.
When a MsgInitiateTokenDeposit
event is detected on the L1 chain, it is recorded as a Deposit challenge.
The system checks if it matches the MsgFinalizeTokenDeposit
event for the same sequence.
MsgProposeOutput
matches the system’s expectations and that future proposals are made within the designated timeframe.
This process prevents any incorrect or malicious outputs from being finalized, ensuring the integrity of the system.
When a MsgProposeOutput
event is detected on the L1 chain, it triggers an Output challenge.
The system replays up to the L2 block number and verifies whether the OutputRoot
matches the one submitted.
MsgUpdateOracle
, safeguarding the accuracy of external data within the Initia ecosystem.
If the oracle_enable
setting is turned on in bridge config, the 0th transaction’s bytes are saved as an Oracle challenge event.
This data is verified against the MsgUpdateOracle
for the same L1 height.