[多选题]下列过程可用于交互证明的是（）。