非交互式证明

非交互式证明的问题 (1)