support host slice

DelphinusLab · Aug 15, 2024 · 26ea38e · 26ea38e
1 parent f3f301c
commit 26ea38e
Show file tree

Hide file tree

Showing 5 changed files with 180 additions and 57 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -14,10 +14,9 @@ rayon = "1.8.0"
 regex = "1.10.2"
 static_assertions = "1.1.0"
 wasmi = { path = "third-party/wasmi" }
-zkwasm-host-circuits = { git = "https://github.com/DelphinusLab/zkWasm-host-circuits.git" }
-circuits-batcher = { git = "https://github.com/DelphinusLab/continuation-batcher.git" }
+zkwasm-host-circuits = { git = "https://github.com/DelphinusLab/zkWasm-host-circuits.git", branch="host-op-1.8" }
+circuits-batcher = { git = "https://github.com/DelphinusLab/continuation-batcher.git", tag="on-prove-pairing-2.0" }
 poseidon = { git = "https://github.com/DelphinusLab/poseidon" }
 
 [profile.dev]
 opt-level = 3
-
diff --git a/crates/host/src/host/merkle_helper/merkle.rs b/crates/host/src/host/merkle_helper/merkle.rs
@@ -18,7 +18,7 @@ use zkwasm_host_circuits::host::ForeignInst::MerkleSetRoot;
 use zkwasm_host_circuits::host::Reduce;
 use zkwasm_host_circuits::host::ReduceRule;
 
-const MERKLE_TREE_HEIGHT: usize = 32;
+use crate::MERKLE_TREE_HEIGHT;
 
 pub struct MerkleContext {
     pub k: u32,