#range-proof #zero-knowledge #curve25519 #nizk

已删除 dalek-rangeproofs

非交互式零知识范围证明方案的纯Rust实现

使用旧的Rust 2015

0.1.0 2017年5月20日

#7 in #range-proof


dalek 中使用

CC0 许可证

32KB
381

dalek-rangeproofs

Back-Maxwell 范围证明方案纯Rust实现,该方案定义在 Poelstra, Back, Friedenbach, Maxwell, Wuille 于 2017 年发表的《Confidential Assets》中。

警告

此代码尚未经过其他合格密码学家的充分同行评审,不能在任何形式下被视为安全。

自行承担风险使用

文档

详细的文档可在 此处 找到。

安装

要安装,请将以下内容添加到项目 Cargo.toml 的依赖项部分

dalek-rangeproofs = "^0.1"

然后,在您的库或可执行源文件中添加

extern crate dalek_rangeproofs

测试和基准测试

可以使用以下命令运行测试

cargo test

可以使用以下命令获取基准测试

cargo bench --features 'bench'

预发布 TODOs

  • 将 RangeProof 代码移动到 back_maxwell.rs 模块
  • 再次检查文档
  • 再次检查代码
  • 不要使用任何 yolocrypto 功能(即稳定 curve25519-dalek 中的 decaf)
  • 制作一个 CONTRIBUTING.md

未来 TODOs

  • 支持其他范围证明方案吗?
  • 使哈希函数选择可配置?
  • 使代码对未来的 Group 特性通用

依赖项

~2.3–3.5MB
~79K SLoC