#black-box #zero-knowledge-proofs #bn254 #solver #curve #noir #function

bn254_blackbox_solver

针对bn254曲线特定黑盒函数的求解器

5个版本 (破坏性)

0.46.0 2024年5月21日
0.45.0 2024年5月6日
0.44.0 2024年4月24日
0.43.0 2024年4月10日
0.39.0 2024年3月11日

#741 in 密码学

MIT/Apache

665KB
10K SLoC

C++ 6K SLoC Rust 4K SLoC // 0.0% comments

无色编程语言

无色是一种专门为SNARK证明系统设计的域特定语言。它被设计为可以使用任何ACIR兼容的证明系统。

此实现处于早期开发阶段。尚未经过审查或审计。不适合用于生产。预期会有错误!

快速入门

阅读安装部分,来自无色文档

阅读完文档后,您可以访问Awesome Noir来运行其他人创建的一些示例。

获取帮助

加入无色论坛Discord

贡献

CONTRIBUTING.md

未来工作

当前重点是在alpha阶段收集尽可能多的反馈。无色的主要重点是安全性开发者体验。如果您发现某个功能似乎与这些目标不符,请提出问题!

最低Rust版本

此工作区的最低支持的rustc版本是1.74.1。

许可协议

无色是免费和开源的。它采用双重许可协议。(MIT/APACHE)

除非您明确说明,否则根据Apache-2.0许可证定义,您有意提交的任何贡献,均应以上述双重许可,不附加任何额外条款或条件。

依赖关系

~10-23MB
~361K SLoC