To get started, clone this repo. Copy fib_air to a new module to create a new AIR. Modify main.rs and customize generate_trace_and_pvs for your AIR. Modify prove and verify to take in your AIR.

To run:

cargo run