|
@@ -27,7 +27,7 @@ use rand::rngs::OsRng;
|
|
|
|
|
|
|
|
use darkfi::{
|
|
use darkfi::{
|
|
|
zk::{Proof, ProvingKey, Witness, ZkCircuit},
|
|
zk::{Proof, ProvingKey, Witness, ZkCircuit},
|
|
|
- zkas::{util::export_witness_json, ZkBinary},
|
|
|
|
|
|
|
+ zkas::ZkBinary,
|
|
|
Result,
|
|
Result,
|
|
|
};
|
|
};
|
|
|
|
|
|
|
@@ -177,7 +177,7 @@ impl DaoExecCall {
|
|
|
user_data,
|
|
user_data,
|
|
|
input_user_data_enc,
|
|
input_user_data_enc,
|
|
|
];
|
|
];
|
|
|
- export_witness_json("witness.json", &prover_witnesses, &public_inputs);
|
|
|
|
|
|
|
+ //export_witness_json("witness.json", &prover_witnesses, &public_inputs);
|
|
|
|
|
|
|
|
let circuit = ZkCircuit::new(prover_witnesses, exec_zkbin);
|
|
let circuit = ZkCircuit::new(prover_witnesses, exec_zkbin);
|
|
|
let input_proof = Proof::create(exec_pk, &[circuit], &public_inputs, &mut OsRng)
|
|
let input_proof = Proof::create(exec_pk, &[circuit], &public_inputs, &mut OsRng)
|