github/spartan-ecdsa
1
1
Fork 0
mirror of https://github.com/personaelabs/spartan-ecdsa.git synced 2026-01-10 14:38:04 -05:00
Code Issues Packages Projects Releases Wiki Activity

Small fix

Browse Source
This commit is contained in:
Daniel Tehrani
2022-12-23 19:39:19 +01:00
parent fb5c11739d
commit 2075dded1d
1 changed files with 2 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/wasm.rs
View File

@@ -32,9 +32,9 @@ pub fn prove_poseidon(circuit: &[u8], vars: &[u8]) -> Result<JsValue, JsValue> {
let assignment = Assignment::new(&witness_bytes).unwrap();
web_sys::console::time_end_with_label("load witness");
web_sys::console::time_with_label("parse input");
web_sys::console::time_with_label("load circuit");
let circuit: Instance = bincode::deserialize(&circuit).unwrap();
web_sys::console::time_end_with_label("parse input");
web_sys::console::time_end_with_label("load circuit");
let num_cons = circuit.inst.get_num_cons();
let num_vars = circuit.inst.get_num_vars();
@@ -51,9 +51,6 @@ pub fn prove_poseidon(circuit: &[u8], vars: &[u8]) -> Result<JsValue, JsValue> {
let mut prover_transcript = Transcript::new(b"nizk_example");
let result = circuit.is_sat(&assignment, &public_input).is_ok();
web_sys::console::log_1(&format!("is_sat: {}", result).into());
web_sys::console::time_with_label("prove");
// produce a proof of satisfiability
let proof = NIZK::prove(