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$– tyloAug 24, 2017 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$– mikeazoAug 24, 2017 at 11:51
-
$\begingroup$ What does that proof look like? Are there any papers that look at this proof? $\endgroup$– dkimotAug 24, 2017 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$– mikeazoAug 24, 2017 at 14:35