security - secret 计算 : does such an animal exist?

Question

一个计算机科学理论问题

今天，我可以 secret 地将文件存储在云中(比如亚马逊 s3)，通过在我存储它们之前加密它们并在我下载之后解密它们。存储提供者无法从存储的文件中获取任何信息 - 一切都经过安全加密，即使是对称密码也可以在这里使用。

我的问题是，云计算是否也能做到这一点。云中有一个计算提供商(比如亚马逊 ec2)。我可以上传“加密程序”和程序的“加密输入”，让我的云计算提供商为我执行所有计算并为我生成“加密输出” - 具有与“ secret 文件”相同的安全保证店铺”？

请注意，我不是在谈论混淆和逆向工程问题，而是在谈论具有强大密码学保证的 secret 计算。

我的预感是它无法完成。否则 1) 它会存在，2) 我的直觉是，在对其应用转换后，没有加密数据可以“保持加密数据”，即它只是变得胡言乱语。

备注 也许我缺乏计算机科学方面的适当背景，如果有人能告诉我确切的术语应该是什么。

学术文献的指针，以及对上述概念的澄清实际上被称为将受到欢迎。

回答:

看起来:

secret 输入输出，非 secret 程序:仅在理论上

secret 输入、 secret 输出和 secret 程序:甚至在理论上都不是。 ( 更新: 也许是的，请参阅 Artelius 的评论)

Answer 1

是的，这样的事情确实存在，尽管目前它非常理论化。它被称为同态加密。 Here's a paper about breakthroughs made at IBM和 there's a comment about it on Bruce Schneier's blog .

基本上，同态加密系统是一种:

decrypt (f (encrypt (plaintext))) = f (plaintext)