diff --git a/algebraic/src/witness/witness_calculator.rs b/algebraic/src/witness/witness_calculator.rs index 0faa1da3..465f4310 100644 --- a/algebraic/src/witness/witness_calculator.rs +++ b/algebraic/src/witness/witness_calculator.rs @@ -87,16 +87,7 @@ impl WitnessCalculator { "writeBufferMessage" => runtime::write_buffer_message(&mut store), } }; - let instance = Wasm::new(Instance::new(&mut scope, &module, &import_object)?); - let mut store = Store::default(); - let env = FunctionEnv::new(&mut store, ()); - let module = Module::new(&store, "(module)")?; - let imports = imports! { - "host" => { - "var" => Global::new(&mut store, Value::I32(2)) - } - }; - let instance = Instance::new(&mut store, &module, &imports)?; + let instance = Wasm::new(Instance::new(&mut store, &module, &import_object)?); // Circom 2 feature flag with version 2 fn new_circom(instance: Wasm, memory: Memory) -> Result { diff --git a/groth16/Cargo.toml b/groth16/Cargo.toml index d8ac1fe3..6f9c2671 100644 --- a/groth16/Cargo.toml +++ b/groth16/Cargo.toml @@ -22,6 +22,7 @@ thiserror="1.0" fnv = { version = "1.0.3", default-features = false } num = { version = "0.4.0" } algebraic = { path = "../algebraic", default-features=false } +rand = "0.4" [dev-dependencies] env_logger = "0.10" diff --git a/plonky/Cargo.toml b/plonky/Cargo.toml index 00e59e6a..bd61a228 100644 --- a/plonky/Cargo.toml +++ b/plonky/Cargo.toml @@ -35,6 +35,7 @@ thiserror="1.0" fnv = { version = "1.0.3", default-features = false } num = { version = "0.4.0" } algebraic = { path = "../algebraic", default-features=false } +rand = "0.4" [dev-dependencies] env_logger = "0.10"