reignmap generate hints cargo test --features prover -- --nocapture run the lib for the zk version cargo test --features zk