下列过程可用于交互证明的是（）。