pub type VanillaProof<Tree> = Proof<<Tree as MerkleTreeTrait>::Proof>;