Interface ShardCard

interface ShardCard {
    address_for_auth: ServerAddress;
    address_for_exec: ServerAddress;
    address_for_sched: ServerAddress;
    block_height: BlockHeight;
    protocol: ProtocolCommit;
    upid: UPID;
}