Updates the FoldingScheme trait (and nova impl) to accept external_inputs at each .prove_step call (instead of setting them at the initialization call)
Add external inputs to Circom's frontend
move circom R1CS file read at initializer instead of each ivc step
add examples/circom_full_flow.rs containing an example that goes from setting a circom circuit and folding it to verifying the proof in the EVM (like the full_flow.rs but instead of arkworks frontend using circom frontend). To showcase how to use the lib in Circom's case.
FoldingSchemetrait (andnovaimpl) to acceptexternal_inputsat each.prove_stepcall (instead of setting them at the initialization call)examples/circom_full_flow.rscontaining an example that goes from setting a circom circuit and folding it to verifying the proof in the EVM (like thefull_flow.rsbut instead of arkworks frontend using circom frontend). To showcase how to use the lib in Circom's case.