HOMELv068 「ゼロ知識証明(Zero-Knowledge Proof)」において、証明者が検証者に対して、秘密情報を明かさずに正当性を証明するために、何度もやり取りを行う方式を何と呼ぶか。 2026年3月3日 対話型は、検証者がランダムな質問(チャレンジ)を出し、証明者がそれに答えるプロセスを繰り返すことで、確率的に「秘密を知っている」ことを証明する(例:洞窟の扉の問題)。 静的解析(SAST)において、外部からの入力データ(Source)が、無害化されずに危険な関数(Sink)に到達する経路を追跡する手法を何と呼ぶか。 IPv6ネットワークにおいて、ICMPv6を用いた「近隣探索プロトコル(NDP)」に対する攻撃で、偽のルーター広告(RA)を流して通信を盗聴・遮断するものはどれか。