qizhou / halo2-examples

Include halo2 example circuits

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 test -- --nocapture fibonacci_example1
cargo test -- --nocapture fibonacci_example2
cargo test -- --nocapture fibonacci_example3

Plot the circuit layout

cargo test --all-features -- --nocapture plot_fibonacci1
cargo test --all-features -- --nocapture plot_fibonacci2