Type Alias BlockMerkleProof 

type BlockMerkleProof = <BlockMerkleTree as MerkleTreeScheme>::MembershipProof;