It is possible to compute over encrypted data without access to the secret key: https://en.wikipedia.org/wiki/Homomorphic encryption It is possible to prove that you know a value x, without conveying any information apart from the fact that you know the value x: