github/zk-toolkit
1
1
Fork 0
mirror of https://github.com/exfinen/zk-toolkit.git synced 2026-01-09 12:07:57 -05:00
Code Issues Packages Projects Releases Wiki Activity

clean up

Browse Source
This commit is contained in:
gogoex
2023-10-29 07:44:41 +09:00
parent f70930b8de
commit 3609d29892
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/zk/w_trusted_setup/pinocchio/pinocchio_prover.rs
View File

@@ -94,10 +94,8 @@ impl PinocchioProver {
let p = qap.build_p(&r1cs.witness);
let max_degree = {
let vi = qap.vi.iter().map(|x| x.degree()).max().unwrap();
let wi = qap.wi.iter().map(|x| x.degree()).max().unwrap();
let yi = qap.yi.iter().map(|x| x.degree()).max().unwrap();
cmp::max(cmp::max(vi, wi), yi) + f.elem(&1u8)
let xs = vec![&qap.vi[..], &qap.wi[..], &qap.yi[..]].concat();
xs.iter().map(|x| x.degree()).max().unwrap()
};
let witness = Witness::new(&r1cs.witness.clone(), &tmpl.mid_beg);