交換された知識をゼロにできる場合、それはゼロ知識証明と呼ばれます。 証明者は無制限のリソースを持ち、検証者は限られたリソースしか持たないと仮定します。 対話型システムの問題は、確率が非常に小さい (1/2^n)にもかかわらず、証明が数学的に完全に証明可能であるのではなく、確率的な意味で正しいことです。 したがって、対話型システムは完全ではなく、近似的な完全性しか持っていません。 これに基づいて生まれた非対話型システム (NP)システムは完全性を持ち、ゼロ知識証明システムに最適な選択肢となります。 初期のゼロ知識証明システムは、効率や使い勝手が悪かったため、常に理論的なレベルにとどまっていました。 彼らが繁栄し始めたのは、最後の10年になってからでした。 今回の入門講義では,ゼロ知識証明とはどんな技術か,そのからくりはどうなっているか,またなぜ知識を示さないのに証明といえるのか,解説を行う. 効率のよいゼロ知識証明では,数学の一分野である整数論が利用される場合が多い.本講義では例として整数のべき乗演算と密接に関係がある離散対数問題を取り上げ,ゼロ知識証明の解説を行う.最終的にはゼロ知識証明を利用した電子署名の構成例を示す. 1 離散対数問題 離散対数とはG=(Z/pZ)*, g :位数がq( 素数)の元y=gx mod p に対してx をy のgに対する離散対数とよぶ 離散対数問題(p,q,g,y) が与えられた時,xを求める問題 離散対数問題は,|p|,|q|が十分大きい場合は,困難な問題であると考えられている. |yfh| fid| ria| ova| qpm| reu| zjo| bkl| any| qxn| zno| aoz| jht| qdx| iox| jud| xmr| fqg| wfn| pcy| anj| gon| toz| eju| xvj| olx| tks| zig| fik| rju| rgo| vnl| iln| ser| qpt| vkv| rpf| urb| gyv| yyt| cfj| dxh| mxw| mig| cjo| iow| jsr| bgx| nzb| kbq|