Let $e_x$ be a symmetric encryption function in regards to key $x$. Let $y_1 = e_1(x_1), y_2 = e_2(x_2)$.
My goal is to prove that: $$x_1 = x_2$$ Is there a way of proving this using ZKP? I can't seem to find anything on zero-knowledge proofs on symmetric encryption.
My ultimate goal involves a hash function $H$ and $y_1 = e_1(x_1), y_2 = e_2(H(x_2))$ where I want to prove that $x_1 = x_2$, but that may be too much to ask for right now.