correctly witness variable for MerklePath

404ed · Oct 30, 2021 · a83b2df · a83b2df
1 parent 1c22269
commit a83b2df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/example/halo2/src/vm2.rs b/example/halo2/src/vm2.rs
@@ -201,7 +201,7 @@ impl<'a> ZkCircuit<'a> {
             if name != variable {
                 continue;
             }
-            if *type_id != ZkType::Scalar {
+            if *type_id != ZkType::MerklePath {
                 return Err(Error::InvalidParamType);
             }
             *self.witness_merkle_path.get_mut(name).unwrap() = (Some(leaf_pos), Some(path));