ポスト量子化時代のための「ゼロ知識証明」（関連情報）：暗号のまま真であることを証明