feat(circom): add optional Garaga Starknet calldata helper

Cargo.toml

@@ -1,5 +1,5 @@
 [workspace]
-members = ["mopro-ffi", "cli", "tests"]
+members = ["mopro-ffi", "cli", "tests", "garaga-calldata-tests"]
 resolver = "2"
 
 [workspace.dependencies]

cli/src/init/circom.rs

@@ -14,14 +14,17 @@ impl ProvingSystem for Circom {
 circom-prover = "0.1"
 rust-witness  = "0.1"
 num-bigint    = "0.4.0"
+serde         = { version = "1.0", features = ["derive"] }
+serde_json    = "1.0"
+garaga_rs     = { git = "https://github.com/keep-starknet-strange/garaga", tag = "v1.1.0", package = "garaga_rs", optional = true }
     "#;
     const BUILD_DEPENDENCIES: &'static str = r#"
 witnesscalc-adapter = "0.1"
 rust-witness = "0.1"
     "#;
     const DEV_DEPENDENCIES: &'static str = r#"
 serde = { version = "1.0", features = ["derive"] }
-serde_json = "1.0.94"
+serde_json = "1.0"
     "#;
 
     const BUILD_TEMPLATE: &'static str = r#"

cli/src/init/write_toml.rs

@@ -14,6 +14,7 @@ default = ["uniffi"]
 uniffi = ["mopro-ffi/uniffi"]
 flutter = ["mopro-ffi/flutter"]
 wasm = ["mopro-ffi/wasm"]
+garaga = ["garaga_rs"]
 
 [dependencies]
 mopro-ffi = { version = "=0.3.7" }

cli/src/main.rs

@@ -49,7 +49,6 @@ enum Commands {
         architectures: Option<Vec<String>>,
         #[arg(
             long,
-            num_args = 1..,
             help = "Automatically run mopro update after build",
             conflicts_with = "no_auto_update"
         )]

cli/src/template/circom/lib.rs

@@ -6,6 +6,8 @@ mod circom;
 pub use circom::{
     generate_circom_proof, verify_circom_proof, CircomProof, CircomProofResult, ProofLib, G1, G2,
 };
+#[cfg(feature = "garaga")]
+pub use circom::generate_circom_groth16_garaga_calldata;
 
 mod witness {
     rust_witness::witness!(multiplier2);

cli/src/template/init/src/circom.rs

@@ -1,3 +1,13 @@
+#[cfg(feature = "garaga")]
+mod circom_garaga;
+#[cfg(feature = "garaga")]
+mod garaga_convert;
+#[cfg(feature = "garaga")]
+mod snarkjs_types;
+
+#[cfg(feature = "garaga")]
+pub use circom_garaga::generate_circom_groth16_garaga_calldata;
+
 use crate::MoproError;
 use circom_prover::{
     prover::{