5.2 零知识证明的相关概念与功能组件