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