chore: change dir structure

Cargo.toml

@@ -5,7 +5,7 @@ members = [
     "grumpkin",
     "nova",
     "zkstd",
-    "nova_pallet"
+    "pallet/nova"
 ]
 
 [profile.release]

README.md

@@ -15,7 +15,7 @@ We provide the composable layer 2 technologies by **Recursive Snarks** on top of
 - [x] R1cs
 - [x] Groth16
 - [x] Nova nifs
-- [ ] Nova IVC
+- [x] Nova IVC
 - [ ] Spartan
 - [ ] Hyper Nova
 - [ ] Lookup

nova_pallet/Cargo.toml → pallet/nova/Cargo.toml

@@ -1,17 +1,15 @@
 [package]
-name = "nova-ivc-pallet"
+name = "pallet-nova"
 version = "0.1.0"
 edition = "2021"
 
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
-
 [dependencies]
 parity-scale-codec = { version = "2.0.0", default-features = false, features = ["derive"] }
 frame-system = { branch = 'v3.0.0', default-features = false, git = "https://github.com/KogarashiNetwork/zksubstrate" }
 frame-support = { branch = 'v3.0.0', default-features = false, git = "https://github.com/KogarashiNetwork/zksubstrate" }
-zkstd = { path = "../zkstd", default-features = false }
-zknova = { path = "../nova", default-features = false }
-bn-254 = { path = "../bn254", default-features = false }
+zkstd = { path = "../../zkstd", default-features = false }
+zknova = { path = "../../nova", default-features = false }
+bn-254 = { path = "../../bn254", default-features = false }
 rand_xorshift = { version = '0.2.0', default-features = false, package = 'fullcodec_rand_xorshift' }
 
 [dev-dependencies]
@@ -30,4 +28,4 @@ std = [
     'sp-core/std',
     'sp-io/std',
     'sp-runtime/std',
-]
+]

nova_pallet/src/lib.rs → pallet/nova/src/lib.rs

@@ -35,10 +35,10 @@
 //! through RPC client.
 //!
 //! ### Introduction
-//! There four steps to use `nova-pallet`.
+//! There four steps to use `pallet-nova`.
 //!
-//! 1. Import `nova-ivc-pallet` to your substrate runtime and node
-//! 2. Use `nova-ivc-pallet` in your pallet
+//! 1. Import `pallet-nova` to your substrate runtime and node
+//! 2. Use `pallet-nova` in your pallet
 //! 3. Open `get_public_parameters` RPC
 //!
 //! `get_public_parameters` is an RPC method and, `trusted_setup` and `verify` are

nova_pallet/src/tests.rs → pallet/nova/src/tests.rs

@@ -1,6 +1,6 @@
 use crate::mock::{new_test_ext, ExampleFunction};
 use crate::*;
-use crate::{self as nova_ivc};
+use crate::{self as pallet_nova};
 
 use frame_support::{construct_runtime, parameter_types};
 use sp_core::H256;
@@ -19,7 +19,7 @@ construct_runtime!(
         UncheckedExtrinsic = UncheckedExtrinsic,
     {
         System: frame_system::{Module, Call, Config, Storage, Event<T>},
-        IvcPallet: nova_ivc::{Module, Call, Storage},
+        Nova: pallet_nova::{Module, Call, Storage},
     }
 );
 
@@ -92,12 +92,13 @@ mod ivc_pallet_tests {
                 z0_primary,
                 z0_secondary,
             );
+        (0..2).for_each(|_| {
+            ivc.prove_step(&pp);
+        });
+        let proof = ivc.prove_step(&pp);
 
         new_test_ext().execute_with(|| {
-            for _ in 0..3 {
-                let proof = ivc.prove_step(&pp);
-                assert!(IvcPallet::verify(Origin::signed(1), proof, pp.clone()).is_ok());
-            }
+            assert!(Nova::verify(Origin::signed(1), proof, pp.clone()).is_ok());
         });
     }
 }