In this blog post, we’ll talk about how state transitions are verified and contracts are built which depend upon transactions occuring on external chains. In order to draw cross-dependence on some arbitrary state between chains, state must first be passed between these chains.
Once passed, we can use each chain’s specific state verification mechanisms as part of a smart contract to prove any state transition to have occurred in any given block. Now that we have learnt how blocks are fetched, submitted and validated in part 2 of our blog series, we’ll now learn how we use this block information to facilitate interoperation.
Read our post entitled “Ion Stage 2: Part 3 — State Verification” on Medium here.