halo2_gadgets

需要 Rust 1.60+。

文档

• 《Halo 2 书籍》
• crate 文档

许可

许可协议为以下之一

• Apache 许可证 2.0 版本，(LICENSE-APACHE 或 http://www.apache.org/licenses/LICENSE-2.0)
• MIT 许可证 (LICENSE-MIT 或 http://opensource.org/licenses/MIT)

由您选择。

贡献

除非您明确声明，否则根据 Apache-2.0 许可证定义的，您有意提交以包含在作品中的任何贡献，将按上述方式双重许可，不附加任何额外的条款或条件。

lib.rs:

该 crate 提供了各种常用 gadgets 和芯片，用于与 halo2_proofs 一起使用。

Gadgets

Gadgets 是编写可重用和互操作电路逻辑的抽象。它们本身不创建任何电路约束或分配，而是通过定义的 "指令集" 与电路进行交互。电路开发者通过实例化 gadgets 并使用特定的芯片选择来使用 gadgets。

Chips

芯片实现了低级电路约束。相同的指令可能由多个芯片实现，从而实现不同的性能权衡。只要符合定义的指令，芯片可以由其开发者高度优化。