4.4.1 典型的零知识证明协议