zkSNARK 或其他零知識證明可以在不洩露私鑰的情況下證明消息的真實性嗎？

情況：

Alice 和 Bob 正在交換一些已知的非對稱加密協議加密的消息。他們所有的加密消息以及公鑰都被查理截獲。

Alice 能否將解密的消息透露給 Charlie，並向他提供零知識證明（例如 zkSNARK），證明解密的消息文本確實是他截獲的解密消息？

她可以在不洩露她的私鑰的情況下做到這一點嗎？

如果是這樣，這種方法是否可以在任何非對稱加密協議中使用而無需對該協議進行任何特殊修改？

對稱加密和密碼洩露呢？

在 2016 年比特幣研討會 Financial Crypto 的“公平交易”論文中，引入了防蛇機制以確保可以正確解密消息（數獨解決方案）。

引用自：https://crypto.stackexchange.com/questions/77700