Seeing the circuits from Ph(r)asedos/Grapevine project made me realize that FCircuit should allow to work with multiple inputs and outputs.
Additionally this PR also modifies the FCircuit trait to prepare it for the frontend trait, in order to generate the constraints while being inside the AugmentedFCircuit and being folded at each step (for example for the Circom frontend, which has different needs than the arkworks frontend).
Seeing the circuits from Ph(r)asedos/Grapevine project made me realize that
FCircuitshould allow to work with multiple inputs and outputs. Additionally this PR also modifies theFCircuittrait to prepare it for the frontend trait, in order to generate the constraints while being inside theAugmentedFCircuitand being folded at each step (for example for the Circom frontend, which has different needs than the arkworks frontend).