Bulletproofs+

Bulletproofs+ 的实现。该库遵循论文的规范和术语，实现了加权内积证明、范围证明、聚合范围证明，最后是算术电路证明。

此外，还添加了一个编写算术电路的系统。这是完全定制的。它确保了变量使用的连续性，暴露了乘法和一般效率低下的加法，以及一些有用的组件。

此库编写为曲线无关。它可以与secp256k1、Ed25519、pasta曲线或任何其他满足Ciphersuite的曲线一起使用。

状态

可以进行优化，例如

• 实现合适的向量承诺方案
• 优化被忽视的证明者

此库使用断言而不是Result。它还有额外的断言，这些断言应移动到调试中，以及一些可能更合适作为常规断言的调试断言。

需要审查此库的转储策略。

缺乏全面的Zeroize使用也需要审查。

将multiexp移动到IntoIter可能节省几个显著的分配。

库状态

这仅是为未来即将发布的出版物保留的库名称。