零知识证明: groth16.证明密钥可以公开吗？

Question

这是格纳克文献的引文。

请注意，在生产环境中必须仔细考虑这一步骤。安装使用了一些随机性来预先计算证明和验证键。如果进程或机器泄露这种随机性，攻击者可能会破坏ZKP协议。

听起来在安装过程中有some randomness。我会分享验证密钥。所以它更像PublicKey。但是，我是否必须继续秘密地证明钥匙，然后再回来呢？

PS是Prover，Verifier键是所谓的“公共参数”？

Answer 1

是。Prover键可以是公开的。

https://consensys.net/blog/developers/introduction-to-zk-snarks/

密钥生成器G接受一个秘密参数lambda和一个程序C，并生成两个公开可用的密钥，一个证明密钥pk和一个验证密钥vk。