ゼロ知識証明 - Wikipedia
ja.wikipedia.org