To write a zkp you first need to have a proof. How would your proof look like here ? In the case where you prove existence, it's easy as just knowing the objec

To write a zkp you first need to have a proof. How would your proof look like here ? In the case where you prove existence, it's easy as just knowing the object is a proof. Here it's not really a proof of existence, it's more complex. The only proof acceptable here would be the whole tree starting from this point. This seems too complex to use in a zero knowledge proof