halo2-ibonacci Example from 0xPARC Halo2 LG. Based on https://github.com/icemelon/halo2-examples Running cargo build cargo run --bin example1