refactor(ivc): use same types in protogalaxy & cyclefold

**Motivation**
During the implementation of #369, the types for protogalaxy & cyclefold differed in form but not in substance

**Overview**
Simple refactoring with removing identical structures and using in ivc::cyclefold types from ivc::protogalaxy

src/ivc/cyclefold/mod.rs

@@ -1,7 +1,7 @@
 use std::num::NonZeroUsize;
-use halo2_proofs::halo2curves::ff::{FromUniformBytes, PrimeFieldBits};
 
 use crate::{
+    halo2_proofs::halo2curves::ff::{FromUniformBytes, PrimeFieldBits},
     main_gate::MainGateConfig,
     poseidon::{poseidon_circuit::PoseidonChip, PoseidonHash, ROTrait, Spec},
 };
@@ -39,4 +39,3 @@ pub fn ro_chip<F: PrimeFieldBits + FromUniformBytes<64>>(
 ) -> PoseidonChip<F, T, RATE> {
     PoseidonChip::new(main_gate_config, ro_const())
 }
-

src/ivc/cyclefold/sfc/input/assigned.rs

@@ -166,7 +166,11 @@ impl<F: PrimeField> SelfTrace<F> {
                 input_accumulator,
                 main_gate_config,
             )?,
-            incoming: NativePlonkInstance::assign_advice_from_native(region, incoming, main_gate_config)?,
+            incoming: NativePlonkInstance::assign_advice_from_native(
+                region,
+                incoming,
+                main_gate_config,
+            )?,
             proof: ProtogalaxyProof::assign_advice_from(region, proof, main_gate_config)?,
         })
     }