ゼロ知識証明

    与えられた命題が真であることを、それ以外の情報を与えずに証明すること。