知无所待【密码学】哈希零知识证明系统原理
AI摘要：该文介绍了基于哈希的零知识证明系统，其中涉及四元语言系统(X, L, W, RL)。通过密钥生成算法Gen、私有求值算法Priv和公开求值算法Pub，构建了非交互式的哈希零知识证明系统。文章详细阐述了哈希函数的投射性和均匀性，以及构造基于DDH假设的universal HPS的简单实例。通过该系统，证明者可以证明某实例满足特定特征，而验证者可以验证证明的有效性，实现了零知识性、完备性、高效性等特性。然后，文章介绍了哈希证明系统的局限性，目前主要用于证明群中的子群成员归属问题。最后，作者参考学习了知乎文章，并附上了相关例子图片。