From 986509549a48d0c08b5690dd60f4d8b32b017fd8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Piotr=20Miko=C5=82ajczyk?= Date: Tue, 15 Oct 2024 16:48:30 +0200 Subject: [PATCH] Do what I can with 720 inputs --- src/main.rs | 34 +++++++++++++++++++++++++++++++++- src/scenario_config.rs | 2 +- 2 files changed, 34 insertions(+), 2 deletions(-) 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),