普通のゼロ知識証明は出来ないんだけど, ちょっと定義をいじるとゼロ知識証明になるプロトコルがある. 定義をいじって弱いゼロ知識性を作ろうと思うんだけれども, 証拠識別不可能性 (WI) を示せって言われそうでやだなぁ. WI場ってインスタンスと証拠が一対…