2.3.4 从交互式证明到简洁非交互式证明