feat: Create verifyWithDataAttestation.sol

.github/workflows/rust.yml

@@ -167,6 +167,12 @@ jobs:
         run: cargo test --release --verbose tests::mock_public_params_ -- --test-threads 32
       - name: Mock 'everything' tests (public and packed outputs, public inputs)
         run: cargo test --release --verbose packed_tests::mock_everything_ -- --test-threads 32
+      - name: Mock proving tests (hashed inputs)
+        run: cargo test --release --verbose tests::mock_hashed_input_::t  -- --test-threads 32
+      - name: Mock proving tests (hashed outputs)
+        run: cargo test --release --verbose tests::mock_hashed_output_::t  -- --test-threads 32
+      - name: Mock proving tests (hashed inputs and outputs)
+        run: cargo test --release --verbose tests::mock_hashed_input_output_  -- --test-threads 32
 
   mock-proving-tests-wasi:
     runs-on: ubuntu-latest-32-cores

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "ezkl-lib"
-version = "0.1.0"
+version = "0.1.1-pre"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
@@ -15,7 +15,7 @@ crate-type = ["cdylib", "rlib"]
 [dependencies]
 halo2_gadgets = { git = "https://github.com/zkonduit/halo2", branch= "ac/public-cells" }
 halo2_proofs = { git = "https://github.com/zkonduit/halo2", branch= "ac/public-cells", features = ["thread-safe-region"]}
-halo2curves = { git = 'https://github.com/privacy-scaling-explorations/halo2curves', tag = "0.3.2" }
+halo2curves = { git = 'https://github.com/privacy-scaling-explorations/halo2curves', tag = "0.3.2", features = ["derive_serde"] }
 rand = "0.8"
 itertools = "0.10.3"
 plotters = { version = "0.3.0", optional = true }

src/bin/ezkl.rs

@@ -16,7 +16,7 @@ pub fn level_color(level: &log::Level, msg: &str) -> String {
     match level {
         Level::Error => msg.red(),
         Level::Warn => msg.yellow(),
-        Level::Info => msg.green(),
+        Level::Info => msg.blue(),
         Level::Debug => msg.green(),
         Level::Trace => msg.magenta(),
     }
@@ -78,7 +78,7 @@ pub fn init_logger() {
             start.elapsed().as_secs(),
             record.metadata().target(),
             level_text_color(&record.level(), &format!("{}", record.args()))
-            .replace('\n', &format!("\n{} ", " | ".white().bold()))
+                .replace('\n', &format!("\n{} ", " | ".white().bold()))
         )
     });
     builder.target(env_logger::Target::Stdout);

src/circuit/modules/mod.rs

@@ -96,7 +96,16 @@ impl<'a, F: Field, CS: Assignment<F> + 'a + SyncDeps> Layouter<F> for ModuleLayo
     {
         // if the name contains the required substring we increment the current module idx
         if Into::<String>::into(name()).contains("_new_module") {
-            self.current_module += 1;
+            self.current_module = self.regions.keys().max().unwrap_or(&0) + 1;
+        } else if Into::<String>::into(name()).contains("_enter_module_") {
+            let index = Into::<String>::into(name())
+                .split("_enter_module_")
+                .last()
+                .unwrap_or_else(|| panic!("Invalid module name"))
+                .parse::<usize>()
+                .unwrap_or_else(|_| panic!("Invalid module name"));
+            assert!(self.regions.contains_key(&index), "module does not exist");
+            self.current_module = index;
         }
 
         let region_index = self.region_idx.len();