有“计算证明”之类的东西吗？
有“计算证明”之类的东西吗？
提问于 2022-07-12 11:56:41
Proof Of Computation有加密方法吗？
如果我在不受信任的硬件(远程服务器)上运行我的程序，经过一段时间后，我想验证远程机器没有篡改我的程序，并成功地运行了所需的时间(结果/输出是正确的)，我如何验证？
它有Zero knowledge proof吗？
另外，我想检查远程服务器是否在一定时间内处于活动状态(联机)，这可以通过计算证明来完成吗？(就像服务器需要在一定时间内继续运行我的自定义程序一样，当我回来检查它时，它会给我需要的mathematical proofs，我可以使用它来验证服务器在这段时间内是活动的)
回答 2
Cryptography用户
发布于 2022-07-12 12:48:03
Cryptography用户
发布于 2022-07-12 21:01:50
您可以使用稍微不同的方法，而不是要求提供证据。您可以发送一个同态加密有效负载，并要求服务器按照事先商定的方式同态运行它。在服务器计算出答案之后，您将得到它，然后您可以对其进行解密。
如果您不想自己验证整个服务器解决方案，可以随机地将一些虚拟字段插入到有效负载中(例如，添加一些整数)，然后快速验证服务器是否正确地计算它。服务器从来没有看到明文，所以它不能通过执行不同的计算来欺骗，否则您将很快通过查看虚拟有效负载结果来发现。
这种技术的局限性很大程度上是同态加密的局限性。
页面原文内容由Cryptography提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://crypto.stackexchange.com/questions/100957
复制相关文章
相似问题
腾讯云开发者
