So the miniblock1(includes tx4, tx5, tx6) will be firstly validated in shard0, and the header of miniblock1 will be sent to metachain and do proof work, after that, the block header will be sent to shard1, and shard1 will get all transactions(tx4, tx5, tx6) from shard0 and then just execute them without validation?
Yes, the metachain receives all block headers from shards in a specific round, it creates a notarization block with the hashes of all these blocks and aggregated inclusion proofs for all transactions that have been included so far (including the cross shard transaction in example). This metachain block is sent to all shards, including the receiver shard for the transaction in example.
Yes, the metachain receives all block headers from shards in a specific round, it creates a notarization block with the hashes of all these blocks and aggregated inclusion proofs for all transactions that have been included so far (including the cross shard transaction in example). This metachain block is sent to all shards, including the receiver shard for the transaction in example.