Halo2 Tutorial This repo includes a few simple examples to show how to write circuit in Halo2. Instruction Compile the repo cargo build Run the examples cargo run --bin exmaple1 cargo run --bin exmaple2 cargo run --bin exmaple3