type MerkleProof = <<Keccak256Config as AvidMConfig>::MerkleTree as MerkleTreeScheme>::MembershipProof;