From 2c065a8bd059d55cfaceab1278309566d7b3fd4a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Piotr=20Miko=C5=82ajczyk?= <piomiko41@gmail.com>
Date: Tue, 15 Oct 2024 13:34:46 +0200
Subject: [PATCH] Fix NM asymetry

---
 src/folding.rs         | 6 +++---
 src/main.rs            | 2 ++
 src/scenario_config.rs | 2 +-
 3 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/src/folding.rs b/src/folding.rs
index 16733b7..8d86e31 100644
--- a/src/folding.rs
+++ b/src/folding.rs
@@ -12,7 +12,7 @@ use sonobe::{
 
 pub type NovaFolding =
     Nova<G1, GVar, G2, GVar2, CircomFCircuit<Fr>, KZG<'static, Bn254>, Pedersen<G2>, false>;
-pub type HyperNovaFolding<const N: usize, const M: usize> = HyperNova<
+pub type HyperNovaFolding<const M: usize, const N: usize> = HyperNova<
     G1,
     GVar,
     G2,
@@ -20,8 +20,8 @@ pub type HyperNovaFolding<const N: usize, const M: usize> = HyperNova<
     CircomFCircuit<Fr>,
     KZG<'static, Bn254>,
     Pedersen<G2>,
-    N,
     M,
+    N,
     false,
 >;
 
@@ -75,7 +75,7 @@ impl FoldingSchemeExt for NovaFolding {
     }
 }
 
-impl<const N: usize, const M: usize> FoldingSchemeExt for HyperNovaFolding<N, M> {
+impl<const M: usize, const N: usize> FoldingSchemeExt for HyperNovaFolding<M, N> {
     fn num_steps(num_inputs: usize) -> usize {
         let per_step = M + N - 1;
         assert_eq!(num_inputs % per_step, 0);
diff --git a/src/main.rs b/src/main.rs
index 31bc5c9..b128054 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -63,4 +63,6 @@ fn main() {
     scenario::<NovaFolding>(config.clone(), &mut rng, "Nova");
     scenario::<HyperNovaFolding<1, 1>>(config.clone(), &mut rng, "HyperNova<1,1>");
     scenario::<HyperNovaFolding<2, 2>>(config.clone(), &mut rng, "HyperNova<2,2>");
+    scenario::<HyperNovaFolding<6, 1>>(config.clone(), &mut rng, "HyperNova<6,1>");
+    scenario::<HyperNovaFolding<1, 6>>(config.clone(), &mut rng, "HyperNova<1,6>");
 }
diff --git a/src/scenario_config.rs b/src/scenario_config.rs
index a90f7a5..02f6178 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: 30,
             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),