「ゼロ知識証明(Zero-Knowledge Proof)」において、証明者が検証者に対して、秘密情報を明かさずに正当性を証明するために、何度もやり取りを行う方式を何と呼ぶか。

対話型は、検証者がランダムな質問(チャレンジ)を出し、証明者がそれに答えるプロセスを繰り返すことで、確率的に「秘密を知っている」ことを証明する(例:洞窟の扉の問題)。