type MerkleProof = <MerkleTree<Blake3Node, Blake3DigestAlgorithm, u64, 4, Blake3Node> as MerkleTreeScheme>::MembershipProof;