零知识证明 该存储库包含ING的Bulletproof ，零知识范围证明（ZKRP）和零知识集成员资格（ZKSM）的实现。 当前的实现基于以下论文： 基于以下论文的范围证明： Fabrice Boudot给出内。 设置成员资格证明基于Jan Camenisch，Rafik Chaabouni和Abhi Shelat撰写的论文 。 BenediktBünz，Jonathan Bootle，Dan Boneh，Andrew Poelstra，Pieter Wuille和Greg Maxwell撰写的基于纸质的：“等等。 零知识范围证明 区块链技术中的一个基本问题是数据的机密性。 为了在所有独立节点之间达成共识，每个节点必须能够验证所有事务（例如，针对双花），在大多数情况下，这意味着事务的内容对于所有节点都是可见的。 幸运的是，存在几种在区块链上保持机密性的解决方案（私有交易，HyperL

Bulletproofs 是不需要可信设置的简短知识零知识论点。 参数系统是具有计算可靠性的证明系统。 Bulletproofs 适用于证明关于提交值的陈述，例如范围证明、可验证的 suffle、算术电路等。它们依赖于离散对数假设，并使用 Fiat-Shamir 启发式进行非交互。 Bulletproofs 的核心算法是 Groth [2] 提出的内积算法。 该算法提供了满足给定内积关系的两个绑定向量 Pedersen 承诺的知识参数。 Bulletproofs 建立在 Bootle 等人的技术之上。 [3] 引入一种有效的内积证明，将论证的整体通信复杂性降低到仅 在哪里 是承诺的两个向量的维度。 范围证明 Bulletproofs 提供了一种用于进行短范围和可聚合范围证明的协议。 它们使用多项式对内部乘积中确定数字范围的证明进行编码。 范围证明是秘密值位于某个区间的证明。 范围证明不