文件名称：bulletproofs:使用Ristretto的Bulltproof的纯锈实现
文件大小：1.04MB
文件格式：ZIP
更新时间：2024-05-26 15:16:25
Rust
防弹 有史以来最快的实现，具有单个和汇总范围证明，强类型多方计算以及用于证明任意语句（正在开发）的可编程约束系统API。 该库使用来实现Bulletproofs，并使用的ristretto255实现。 在curve25519-dalek AVX2后端中使用时，它可以验证64位范围证明，其速度大约是原始的基于libsecp256k1的Bulletproofs实现的两倍。 该库提供以下实现： 使用聚合范围证明构造，可对单个或多个范围的单方证明； 在线多方计算，用于在多方之间进行距离范围的聚合，使用静态地执行正确的协议流； 可编程约束系统API，用于表达等级1约束系统，并证明和验证任意语句的证明（不稳定，尚在开发中，具有yoloproofs功能）； 用于聚合约束系统证明的在线多方计算（计划的未来工作）。 这些证明是使用实现的，因此可以将它们与其他证明任意组合，而无需更改实现。
【文件预览】：
bulletproofs-main
----Cargo.toml(2KB)
----LICENSE.txt(1KB)
----src()
--------generators.rs(11KB)
--------r1cs()
--------util.rs(11KB)
--------range_proof()
--------inner_product_proof.rs(18KB)
--------errors.rs(6KB)
--------lib.rs(1KB)
--------transcript.rs(3KB)
----rust-toolchain(19B)
----CONTRIBUTING.md(1KB)
----.travis.yml(725B)
----README.md(8KB)
----Makefile(282B)
----Testfile(83B)
----docs()
--------cs-proof.md(16KB)
--------inner-product-protocol.md(7KB)
--------notes-ipp.md(9KB)
--------notes-rp.md(36KB)
--------notes-intro.md(4KB)
--------assets()
--------aggregation-api.md(137KB)
--------r1cs-docs-example.md(21KB)
--------range-proof-protocol.md(18KB)
--------notes-r1cs.md(58KB)
----tests()
--------r1cs.rs(13KB)
--------range_proof.rs(25KB)
----.gitignore(31B)
----CHANGELOG.md(1KB)
----benches()
--------generators.rs(513B)
--------r1cs.rs(9KB)
--------range_proof.rs(4KB)