Halo2 Examples

This repo includes a few simple examples to illustrate how to write circuit in Halo2.

Instruction

Compile the repo

cargo build

Run examples

cargo run --bin exmaple1