考えるに

crypt

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