基于集合成员检查的零知识区间证明协议

实现了以下区间证明和集合成员协议。

1. 使用BB签名的集合成员协议。参见论文[1]的第1图。代码
2. 如论文[1]第3图所述的区间证明协议。考虑完美区间，即形式为 [0, u^l) 的区间，其中 u 是基数，上界是基数的幂。 代码
3. 如论文[1]第4.4节所述的区间证明协议。考虑任意区间 [min, max)。与论文有一些不同，请检查模块以获取更多详细信息。 代码
4. 基于求和集的区间证明，基于论文[2]中的协议2。 代码
5. 实现了上述协议的密钥验证，验证者知道BB签名的密钥。这通过消除配对的需要，使证明生成和验证更高效。这个想法来自这篇博士论文。

上述协议使用基于配对的签名，称为弱BB签名。

更新：实现了上述协议的变体，这些变体使用论文[3]第2.4节中描述的优化版本，该版本不需要证明者进行配对，这使得证明更短且验证更快。这篇论文将被称为CDH论文

参考文献

[1]: 集合成员和区间证明的有效协议

[2]: 基于加法组合论和离散对数的范围协议

[3]: 基于n次不可链接证明的可伸缩撤销方案