feat: add recursive mode for circuit size calculation in srs_downloader (#23)

Author: moven0831

README.md

@@ -138,6 +138,14 @@ cargo run --bin srs_downloader --features srs-downloader -- -c path/to/your/circ
 
 This will download the SRS and save it to `./srs_cache/your_circuit_name.srs` by default (e.g., `./srs_cache/my_circuit.srs`).
 
+**Recursive Mode:**
+
+For recursive circuits, you can enable recursive mode for circuit size calculation using the `--recursive` or `-r` flag:
+
+```sh
+cargo run --bin srs_downloader --features srs-downloader -- -c path/to/your/circuit.json --recursive
+```
+
 ### 2. Default SRS
 
 If you don't have a specific circuit manifest or want a general-purpose SRS, you can download a default one (supports up to 2^18 constraints):
@@ -156,6 +164,9 @@ You can specify a custom output path for the downloaded SRS file using the `-o`
 # For a specific circuit
 cargo run --bin srs_downloader --features srs-downloader -- -c path/to/your/circuit.json -o /custom/path/to/srs_file.srs
 
+# For a specific circuit with recursive mode
+cargo run --bin srs_downloader --features srs-downloader -- -c path/to/your/circuit.json -o /custom/path/to/srs_file.srs --recursive
+
 # For a default SRS
 cargo run --bin srs_downloader --features srs-downloader -- -o /custom/path/to/default.srs
 ```

noir/src/bin/srs_downloader.rs

@@ -19,6 +19,9 @@ struct Args {
 
     #[clap(short, long, help = "Specific output path to save the SRS file. If not provided, saves to a default directory.")]
     output_path: Option<String>,
+
+    #[clap(short, long, help = "Enable recursive mode for circuit size calculation.")]
+    recursive: bool,
 }
 
 fn main() -> Result<(), Box<dyn std::error::Error>> {
@@ -44,7 +47,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
             }
 
             println!("Circuit '{}' decoded. Downloading SRS...", circuit_name);
-            let subgroup_size = get_subgroup_size(bytecode, false);
+            let subgroup_size = get_subgroup_size(bytecode, args.recursive);
             let srs: Srs = get_srs(subgroup_size, None);
             local_srs = LocalSrs(srs);
             println!("SRS for '{}' downloaded.", circuit_name);
@@ -95,6 +98,7 @@ mod tests {
         Args {
             circuit_path: circuit_path.map(String::from),
             output_path: output_path.map(String::from),
+            recursive: false,
         }
     }
 
@@ -125,6 +129,22 @@ mod tests {
         assert_eq!(args.circuit_path, Some("test.json".to_string()));
         assert_eq!(args.output_path, Some("output/srs.srs".to_string()));
     }
+
+    #[test]
+    fn test_args_parsing_recursive_default() {
+        let args = create_args(None, None);
+        assert_eq!(args.recursive, false);
+    }
+
+    #[test]
+    fn test_args_parsing_recursive_explicit() {
+        let args = Args {
+            circuit_path: None,
+            output_path: None,
+            recursive: true,
+        };
+        assert_eq!(args.recursive, true);
+    }
 
     #[test]
     fn test_save_path_default_no_circuit() {