type MerkleProof = <HasherMerkleTree<Keccak256, HasherNode<Keccak256>> as MerkleTreeScheme>::MembershipProof;