本文介绍了零知识证明中所需的循环群的数学概念。循环群由生成元通过重复应用群操作生成所有元素,同时解释了离散对数问题(DLP)的困难性,以及它如何在密码学中用于隐藏秘密信息,并以具体的数学例子说明了如何验证生成元以及求解离散对数问题。
zk-SNARK 是如何实现零知识证明的