High-level Programming Model for "Moving State" Between Chains

[isheff]

Building on our languages for bounded-latency communication between chains that share quorums and atomic communication within Heterogeneous Paxos chains, implement a higher-level notion of "moving state" from one chain to another. Specifically, we want to be able to program a single object which moves to different chains depending on convenience for multi-chain atomic commits or load balancing.

Note that each move must come with some well-communicated properties concerning the safety and liveness of the destination chain. We may want to tag pieces of state and transactions with minimum safety and liveness properties, so that we can ensure that at all times, they stay on acceptable chains.