零知识证明(ZKP)和同态加密之间有什么联系，如果有的话？

Question

零知识证明(ZKP)和同态加密之间的联系/关系(如果有的话)是什么？

Answer 1

有很多。

• 同态加密意味着NP的ZK证明。这仅仅是因为同态加密意味着单向函数，这意味着NP的ZKP。
• 同态加密允许将任何公共硬币零知识证明编译成指定的验证器，非交互式零知识证明；这在论文来自同态加密的非交互零知识中得到了展示。
• 零知识证明并不意味着任何关于同态加密的存在。事实上，只有极强形式的零知识证明是最近的显示为暗含公钥加密。.
• 完全同态加密可以用来最小化非交互式零知识证明的大小，并将其减少到见证安全参数中的大小+多项式，参见本论文。

这只是这两个概念之间的许多相互作用的一个例子；如果你有更具体的关系，请澄清。