网站 | 入门 | 文档 | 贡献

无色编程语言

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

此实现处于早期开发阶段。它尚未经过审查或审计。不适用于生产环境。请期待bug！

快速入门

阅读安装部分，来自Noir文档。

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

获取帮助

加入Noir 论坛 或 Discord

贡献

查看CONTRIBUTING.md。

未来工作

当前重点是在alpha阶段收集尽可能多的反馈。Noir的主要重点是安全性和开发者体验。如果您发现某个功能似乎不符合这些目标，请打开一个问题！

最低Rust版本

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

许可证

Noir是免费和开源的。它以双许可证形式分发。（MIT/APACHE）

除非您明确表示不同，否则您根据Apache-2.0许可证定义，有意提交到本存储库的任何贡献，都应双许可如上，不附加任何额外条款或条件。

lib.rs:

本软件包提供了ACIR和Brillig的BlackBox函数的实现。对于后端依赖的函数，它提供了一个必须由后端实现的Trait [BlackBoxFunctionSolver]。对于具有参考实现（如[keccak256]）的函数，本软件包直接导出参考实现。