title: is there any zero knowledge proof could prove ciphertext?
body: <p>There are two ciphertexts which encrypted by latticed-based homomorphic ecryption and comparable encryption respectively. I want to verify their plaintexts are equal.</p>