Add Mina in proving system enum

Author: gabrielbosio

batcher/aligned-batcher-lib/src/types/mod.rs

@@ -15,6 +15,7 @@ pub enum ProvingSystemId {
     Halo2KZG,
     Halo2IPA,
     Risc0,
+    Mina,
 }
 
 #[derive(Debug, Serialize, Deserialize, Default, Clone)]

batcher/aligned-batcher/src/zk_utils/mod.rs

@@ -73,5 +73,6 @@ pub(crate) fn verify(verification_data: &VerificationData) -> bool {
             debug!("Gnark proof is valid: {}", is_valid);
             is_valid
         }
+        ProvingSystemId::Mina => todo!(),
     }
 }

batcher/aligned/src/main.rs

@@ -147,6 +147,8 @@ pub enum ProvingSystemArg {
     Halo2IPA,
     #[clap(name = "Risc0")]
     Risc0,
+    #[clap(name = "Mina")]
+    Mina,
 }
 
 impl From<ProvingSystemArg> for ProvingSystemId {
@@ -159,6 +161,7 @@ impl From<ProvingSystemArg> for ProvingSystemId {
             ProvingSystemArg::Halo2KZG => ProvingSystemId::Halo2KZG,
             ProvingSystemArg::Halo2IPA => ProvingSystemId::Halo2IPA,
             ProvingSystemArg::Risc0 => ProvingSystemId::Risc0,
+            ProvingSystemArg::Mina => ProvingSystemId::Mina,
         }
     }
 }
@@ -384,6 +387,7 @@ fn verification_data_from_args(args: SubmitArgs) -> Result<VerificationData, Bat
                 args.pub_input_file_name,
             )?);
         }
+        ProvingSystemId::Mina => todo!(),
     }
 
     let proof_generator_addr = Address::from_str(&args.proof_generator_addr).unwrap();