This architecture is probably best described as verifiable RPC between chains. This involves async cross-chain message passing inside the chain’s VM, where the receipts contain validity proofs of the remote chain’s state transition. This is somewhat similar to some of the ideas in optimistic receipt roots, though a lot simpler since we don’t rely on optimism in our security model.