聊天记录见文件夹 和师姐的聊天记录
- 聚合器的作用是什么
- 服务器需要同时有Acc 和 S才能给出证据
动态聚合器：每个witness可以提供一个高效的密码学证据，证明元素在集合X中。当集合X中元素插入或删除时，相应的 聚合值 和 witness 均会发生变化。
Supporting Non-membership Proofs with Bilinear-map Accumulators.pdf
私钥={生成元g，Zr域中的一个随机元素k} 公钥={$$ g^k, g^{k^2}, g^{k^3}, ... $$}
其中k是私钥，X是要聚合的集合，x是X中的元素
需要判断两件事：
如果不满足，则说明用户提交了一个非法的请求
如果满足，则该witness成立；否则该witness不成立
同算法三
将算法四取反
如果满足，则witness成立；否则不成立