This repo includes a few simple examples to illustrate how to write circuit in Halo2.
Compile the repo
cargo build
Run examples
cargo run --bin exmaple1