タグ

2022年2月22日のブックマーク (2件)

  • イメージで理解できる-ゼロ知識証明|es

    暗号通貨でもよく取り上げられる、ゼロ知識証明について、以下の記事が分かりやすかったので、みなさんにも紹介したいと思います。 数式は一切登場しません。イメージで理解でます。 引用元 ゼロ知識証明って?? ゼロ知識証明とは、ある人(証明者)が別のある人(承認者)に対して、与えられた情報が「真実である」ということ以外の情報を相手に与えずに、その情報が実際に「真実」であることを証明する手法のことです。 暗号学で使われている、証明プロトコルの一種なんですが、これだとまだ理解できないですね。 証明とは、ある主張が正しいこと納得させる手段です。そして、証明プロトコルとは主張を納得させたい証明者と、証明の正しさを確かめる検証者が存在し、最終的に検証者を納得させる暗号プロトコルです。※プロトコル:処理手順 具体的に、どういう時に使うのでしょうか? ・Webサービスにログインする時:パワードを入力する代わりに

    イメージで理解できる-ゼロ知識証明|es
  • zk-SNARKsの理論

    ゼロ知識証明 ゼロ知識証明とは証明者が検証者に対して、ある情報が正しいことを、それが正しいこと以外の情報を明らかにせずに証明できる手法のことです。 例えば、運転免許証や保険証を提示して相手に自分の身元を明らかにしたい時に、免許証に含まれる住所や、生年月日等の個人情報を隠蔽しつつ、持っているその免許証が当に自分のものあり、正しい情報が含まれていることを証明する場合にゼロ知識証明が使われます。 ゼロ知識証明はいくつかの性質を持ちます。 ゼロ知識証明が持つ3つの性質 完全性(Completeness) 証明者の主張が真であるならば、検証者は真であることが必ずわかること。 健全性(Soundness) 証明者の主張が偽であれば、検証者はかなり高い確率でそれが偽であること見抜けること。 ゼロ知識証明(Zero Knowledge) あらゆる場合において、検証者が証明者から何らかの知識(情報)を盗も

    zk-SNARKsの理論