网站 | 入门 | 文档 | 贡献

Noir编程语言

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

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

快速开始

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

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

获取帮助

加入Noir 论坛或Discord

贡献

查看CONTRIBUTING.md。

未来工作

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

最低Rust版本

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

许可证

Noir是免费和开源的。它采用双重许可证发行。（MIT/APACHE）

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

lib.rs:

Brillig 虚拟机（VM）是一种专门的 VM，它允许 ACVM 执行自定义的非确定性操作。

Brillig 字节码与常规的 ACIR 不同，因为它不会生成约束。这是对 ACVM 内部存在的固定指令的泛化。