Problem with circom verification with nova

[saharAP]

Hi all,
I used your sample Circom code, circom_full_flow.rs, for my Circom circuit. I made modifications to the R1CS and WASM files, updated the external inputs, and changed z_0. While the code successfully generates proofs for each step, it fails to verify the final IVC proof. My circuit functions correctly in Circom, and I can successfully verify it with the same inputs using snarkjs.
Could you please help me troubleshoot this issue?

Nova::prove_step 0: 154.154583ms
Nova::prove_step 1: 219.969209ms
Error: NotSatisfied

[saharAP]

Just solved it after posting the issue! I was using different variable names instead of ivc_input and didn’t realize it had to be exactly that for it to work.