halo2_gadgets

Requires Rust 1.60+.

Documentation

• The Halo 2 Book
• Crate documentation

License

Licensed under either of

• Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

lib.rs:

This crate provides various common gadgets and chips for use with halo2_proofs.

Gadgets

Gadgets are an abstraction for writing reusable and interoperable circuit logic. They do not create any circuit constraints or assignments themselves, instead interacting with the circuit through a defined "instruction set". A circuit developer uses gadgets by instantiating them with a particular choice of chip.

Chips

Chips implement the low-level circuit constraints. The same instructions may be implemented by multiple chips, enabling different performance trade-offs to be made. Chips can be highly optimised by their developers, as long as they conform to the defined instructions.