同態加密能否在雲端實現程序完整性（驗證）？

據我了解，同態加密可用於保持數據機密性，同時仍允許對數據進行計算。從另一個問題中，我發現還可以通過重新計算結果來驗證計算的完整性（我的意思是可以驗證返回值確實是請求計算的結果）。

我對無法重新計算的場景感興趣。例如，原始數據可能不再可用，或者原始數據非常大，重新計算成本太高。是否有其他方法可以驗證結果是否符合所需的計算？

也就是說，假設我想r = a + b + c在雲中使用同態加密執行操作。一旦云返回結果r，我如何驗證這r是結果，a + b + c而不是，例如，a + b或其他一些計算的結果？

我可以使用同態加密來保持雲計算的機密性並保證計算的完整性嗎？

您正在尋找可驗證的計算：

可驗證計算（或已驗證計算或已驗證計算）使電腦能夠將某些功能的計算解除安裝到其他可能不受信任的客戶端，同時保持可驗證的結果。其他客戶端評估該函式並返回結果，並證明該函式的計算已正確執行。

引用自：https://crypto.stackexchange.com/questions/61340