IPv6において、ARPの代わりにMACアドレス解決や近隣ルーターの発見に使用されるプロトコルはどれか。

量子コンピュータの実用化後も安全性を保てるとされる「耐量子暗号（PQC）」の主要な方式の一つであり、NISTの標準化プロセスで選定されたアルゴリズム（CRYSTALS-Kyber等）の基盤となっている数学的問題はどれか。