bulletproofs:使用Ristretto的Bulltproof的纯锈实现

防弹 有史以来最快的实现，具有单个和汇总范围证明，强类型多方计算以及用于证明任意语句（正在开发）的可编程约束系统API。 该库使用来实现Bulletproofs，并使用的ristretto255实现。 在curve25519-dalek AVX2后端中使用时，它可以验证64位范围证明，其速度大约是原始的基于libsecp256k1的Bulletproofs实现的两倍。 该库提供以下实现： 使用聚合范围证明构造，可对单个或多个范围的单方证明； 在线多方计算，用于在多方之间进行距离范围的聚合，使用静态地执行正确的协议流； 可编程约束系统API，用于表达等级1约束系统，并证明和验证任意语句的证明（不稳定，尚在开发中，具有yoloproofs功能）； 用于聚合约束系统证明的在线多方计算（计划的未来工作）。 这些证明是使用实现的，因此可以将它们与其他证明任意组合，而无需更改实现。