基于双线性映射（配对）的累加器

vb_accumulator

根据论文《Dynamic Universal Accumulator with Batch Update over Bilinear Groups》：Dynamic Universal Accumulator with Batch Update over Bilinear Groups 实现

• 一个动态正向累加器 PositiveAccumulator，支持成员证明。
• 一个动态通用累加器 UniversalAccumulator，支持成员和非成员证明。
• 在累加器中基于 ProofProtocol 进行成员和非成员零知识证明，正如论文中所描述。这些实际上是弱BB签名的知识证明
• 基于更有效证明弱BB签名知识的协议的更有效协议的成员和非成员零知识证明的替代和更有效协议。这没有在论文中描述。
• 密钥验证的成员和非成员证明，验证者知道密钥

允许

• 对累加器的单次和批量更新（添加、删除或两者）。
• 对见证的单次和批量更新。

两个累加器都实现了包含公共功能的特剧行为 Accumulator。两者都可以通过秘密密钥或使用累加器管理者发布的公开信息（称为 Omega）进行更新。大部分的更新逻辑都包含在特剧行为 Witness 中，该行为由 MembershipWitness 和 NonMembershipWitness 实现。实现尝试使用与论文中相同的变量名，因此在某些地方违反了 Rust 的命名约定。

kb_accumulator

根据论文：[Efficient Constructions of Pairing Based Accumulators](https://eprint.iacr.org/2021/638) 实现

• 一个支持成员证明的动态正累加器 KBPositiveAccumulator。基于论文中的构造 2。
• 一个支持成员和非成员证明的动态通用累加器 KBUniversalAccumulator。基于论文中的构造 3。
• 累加器中的成员和非成员零知识证明。这些实际上是 BB 签名和弱 BB 签名知识证明。
• 成员和非成员证明的替代且更高效的协议
• 密钥验证的成员和非成员证明，验证者知道密钥

允许使用 vb_accumulator 技术批量更新累加器和见证者

实现使用类型 3 对称性与论文中的类型 1 对称性相比。