2.1.4 交互式证明