diff --git a/src/main.rs b/src/main.rs index 9829ed2..0d2c800 100644 --- a/src/main.rs +++ b/src/main.rs @@ -54,8 +54,40 @@ fn main() { let config = ScenarioConfig::new(); scenario::(config.clone(), &mut rng, "Nova"); + scenario::>(config.clone(), &mut rng, "HyperNova<1,1>"); + scenario::>(config.clone(), &mut rng, "HyperNova<1,2>"); + scenario::>(config.clone(), &mut rng, "HyperNova<1,3>"); + scenario::>(config.clone(), &mut rng, "HyperNova<1,4>"); + scenario::>(config.clone(), &mut rng, "HyperNova<1,5>"); + scenario::>(config.clone(), &mut rng, "HyperNova<1,6>"); + + scenario::>(config.clone(), &mut rng, "HyperNova<2,1>"); scenario::>(config.clone(), &mut rng, "HyperNova<2,2>"); + scenario::>(config.clone(), &mut rng, "HyperNova<2,3>"); + scenario::>(config.clone(), &mut rng, "HyperNova<2,4>"); + scenario::>(config.clone(), &mut rng, "HyperNova<2,5>"); + + scenario::>(config.clone(), &mut rng, "HyperNova<3,1>"); + scenario::>(config.clone(), &mut rng, "HyperNova<3,2>"); + scenario::>(config.clone(), &mut rng, "HyperNova<3,3>"); + scenario::>(config.clone(), &mut rng, "HyperNova<3,4>"); + scenario::>(config.clone(), &mut rng, "HyperNova<3,6>"); + + scenario::>(config.clone(), &mut rng, "HyperNova<4,1>"); + scenario::>(config.clone(), &mut rng, "HyperNova<4,2>"); + scenario::>(config.clone(), &mut rng, "HyperNova<4,3>"); + scenario::>(config.clone(), &mut rng, "HyperNova<4,5>"); + scenario::>(config.clone(), &mut rng, "HyperNova<4,6>"); + + scenario::>(config.clone(), &mut rng, "HyperNova<5,1>"); + scenario::>(config.clone(), &mut rng, "HyperNova<5,2>"); + scenario::>(config.clone(), &mut rng, "HyperNova<5,4>"); + scenario::>(config.clone(), &mut rng, "HyperNova<5,5>"); + scenario::>(config.clone(), &mut rng, "HyperNova<5,6>"); + scenario::>(config.clone(), &mut rng, "HyperNova<6,1>"); - scenario::>(config.clone(), &mut rng, "HyperNova<1,6>"); + scenario::>(config.clone(), &mut rng, "HyperNova<6,3>"); + scenario::>(config.clone(), &mut rng, "HyperNova<6,4>"); + scenario::>(config.clone(), &mut rng, "HyperNova<6,5>"); } diff --git a/src/scenario_config.rs b/src/scenario_config.rs index a90f7a5..82274fa 100644 --- a/src/scenario_config.rs +++ b/src/scenario_config.rs @@ -16,7 +16,7 @@ pub struct ScenarioConfig { impl ScenarioConfig { pub fn new() -> Self { Self { - num_inputs: 6, + num_inputs: 360, start_ivc_state: vec![Fr::zero(); 2], circuit: info_span!("Prepare circuit").in_scope(create_circuit), input: info_span!("Prepare input").in_scope(prepare_input),