Is there a way to prove the accuracy of computations performed on homomorphically encrypted cypher text?

  • $\begingroup$ Without specifying which cryptosystem was used, this question can't be answered. And even then, I don't think that's possible without leaking information. $\endgroup$
    – tylo
    Aug 24 '17 at 9:16
  • $\begingroup$ Accuracy or correctness? What is the exact scenario you are looking at? For example, I send my encrypted inputs to the cloud, the cloud computes some known function on those inputs and sends me the result with a proof that it computed the correct function in the correct manner. $\endgroup$
    – mikeazo
    Aug 24 '17 at 11:51
  • $\begingroup$ What does that proof look like? Are there any papers that look at this proof? $\endgroup$
    – dkimot
    Aug 24 '17 at 13:07
  • 2
    $\begingroup$ I'm not sure if the results in this paper still hold, but verifiable computation on encrypted data is probably what you are looking for. Though I can't be sure since you never answered my questions. $\endgroup$
    – mikeazo
    Aug 24 '17 at 14:35