「ゼロ知識証明（zero-knowledge proof）」は、”ある人が他の人に、自分の持っている命題が真であることを伝えるのに、真であること以外の何の知識も伝えることなく証明できる手法”のことを言います。