zkSNARK或其他零知识证明可以用来证明消息的真实性而不泄露私钥吗？

Question

情况：

Alice和Bob正在交换一些已知的非对称加密协议加密的消息。他们所有的加密消息以及公钥都被Charlie截获。

爱丽丝能否向查理透露解密的信息，并向他提供一个零知识证明(例如，zkSNARK)，即解密的消息文本确实是他截获的解密消息？

她能不泄露她的私钥吗？

如果是的话，这种方法是否可以用于任何不对称密码协议，而不需要对该协议进行任何特殊的修改？

对称加密和密码泄露呢？

Answer 1

在2016年比特币研讨会上的一篇“公平贸易”论文中，引入了一种防暴措施，以确保一条消息(数独解决方案)能够被正确解密。