615 followers
RT @xagawa: Tompa and Wall (FOCS 1987) だと、Verifier側もゼロ知識証明させられるのでちょっと分かりづらい。 Poupard and Stern (PKC 2000) の方はシンプルなHVゼロ知識になっていて読みやすい。 [STOC…
RT @xagawa: Tompa and Wall (FOCS 1987) だと、Verifier側もゼロ知識証明させられるのでちょっと分かりづらい。 Poupard and Stern (PKC 2000) の方はシンプルなHVゼロ知識になっていて読みやすい。 [STOC…
@mathlava @tsujimotter まじめな回答は引用したtweeのリンク先に書いてあります。 https://t.co/2qv40IeqsR
RT @xagawa: Tompa and Wall (FOCS 1987) だと、Verifier側もゼロ知識証明させられるのでちょっと分かりづらい。 Poupard and Stern (PKC 2000) の方はシンプルなHVゼロ知識になっていて読みやすい。 [STOC…
Tompa and Wall (FOCS 1987) だと、Verifier側もゼロ知識証明させられるのでちょっと分かりづらい。 Poupard and Stern (PKC 2000) の方はシンプルなHVゼロ知識になっていて読みやすい。 [STOC:TomWal87] https://t.co/LqUhFeWeZm [PKC:PouSte00] https://t.co/4zd9xvGZsj