naming

Author: TomWambsgans

crates/rec_aggregation/src/lib.rs

@@ -1,4 +1,4 @@
 #![cfg_attr(not(test), allow(unused_crate_dependencies))]
 
-pub mod recursion;
+pub mod whir_recursion;
 pub mod xmss_aggregate;

crates/rec_aggregation/src/recursion.rs …es/rec_aggregation/src/whir_recursion.rscrates/rec_aggregation/src/recursion.rs renamed to crates/rec_aggregation/src/whir_recursion.rs crates/rec_aggregation/src/recursion.rs renamed to crates/rec_aggregation/src/whir_recursion.rs

@@ -18,7 +18,7 @@ use whir_p3::{FoldingFactor, SecurityAssumption, WhirConfig, WhirConfigBuilder,
 const NUM_VARIABLES: usize = 25;
 
 pub fn run_whir_recursion_benchmark(tracing: bool, n_recursions: usize) {
-    let src_file = Path::new(env!("CARGO_MANIFEST_DIR")).join("recursion_program.lean_lang");
+    let src_file = Path::new(env!("CARGO_MANIFEST_DIR")).join("whir_recursion.snark");
     let mut program_str = std::fs::read_to_string(src_file).unwrap();
     let recursion_config_builder = WhirConfigBuilder {
         max_num_variables_to_send_coeffs: 6,

crates/rec_aggregation/src/xmss_aggregate.rs

@@ -97,7 +97,7 @@ impl XmssAggregationProgram {
 
 #[instrument(skip_all)]
 fn compile_xmss_aggregation_program() -> XmssAggregationProgram {
-    let src_file = Path::new(env!("CARGO_MANIFEST_DIR")).join("xmss_aggregate.lean_lang");
+    let src_file = Path::new(env!("CARGO_MANIFEST_DIR")).join("xmss_aggregate.snark");
     let program_str = std::fs::read_to_string(src_file).unwrap();
     let bytecode = compile_program(program_str);
     let default_no_vec_mem = exec_phony_xmss(&bytecode, &[]).no_vec_runtime_memory;

…_aggregation/recursion_program.lean_lang …tes/rec_aggregation/whir_recursion.snarkcrates/rec_aggregation/recursion_program.lean_lang renamed to crates/rec_aggregation/whir_recursion.snark crates/rec_aggregation/recursion_program.lean_lang renamed to crates/rec_aggregation/whir_recursion.snark

@@ -1,6 +1,6 @@
 use clap::Parser;
 use poseidon_circuit::tests::run_poseidon_benchmark;
-use rec_aggregation::{recursion::run_whir_recursion_benchmark, xmss_aggregate::run_xmss_benchmark};
+use rec_aggregation::{whir_recursion::run_whir_recursion_benchmark, xmss_aggregate::run_xmss_benchmark};
 use xmss::XMSS_MAX_LOG_LIFETIME;
 
 #[derive(Parser)]