Vitalik Buterin: 指定的验证者证明是一个迷人的构建块。 Alice 向 Bob 发送一个 ZK-SNARK 证明“要么 X 对我和我持有的数据是真实的，要么我是 Bob” Bob 知道他没有证明，所以他知道 X 是真的。但如果 Bob 将 Alice 的证明发给 Charlie，Charlie 并不相信

原推：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
https://twitter.com/VitalikButerin/status/1582021885067333632