Is there any ZK protocol that can be used to prove dependence of two entities. More specifically, if there are x(dependent) and y(independent), is there protocol to prove that x is dependent or function of y, without revealing the function it self.
Edit: As replies below suggested, I thought to provide concrete form of dependent function. So for example
x= 2+yanother example can be
x=ky, where k is yet another independent variable. In short, x can be even more complicated function of y.