Designated verifier proofs are a fascinating building block.
Alice sends Bob a ZK-SNARK proof "either X is true about me and data I hold, or I am Bob"
Bob knows he did not make the proof, so he knows X is true. But if Bob sends Alice's proof to Charlie, Charlie is not convinced
指定的验证者证明是一个迷人的构建块。
Alice 向 Bob 发送一个 ZK-SNARK 证明“要么 X 对我和我持有的数据是真实的，要么我是 Bob”
Bob 知道他没有证明，所以他知道 X 是真的。但如果 Bob 将 Alice 的证明发给 Charlie，Charlie 并不相信