hash_tree_root
ShardBlockHeader.body_root
Include the mix-in length to the proof.
[[]]*num
[()]*num
.message
block
ShardBlock