tornado-packages/phase2-bn254
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove redundant condition

Browse Source
This commit is contained in:
Roman Semenov 2020-01-15 13:04:08 +07:00
parent f66fe1eb9e
commit 4d9afd031c
No known key found for this signature in database
GPG Key ID: BA20CB01FE165657
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
phase2/src/circom_circuit.rs
View File

@ -63,7 +63,7 @@ impl<'a, E: Engine> Circuit<E> for CircomCircuit<'a> {
} }
let mut constrained: BTreeMap<usize, bool> = BTreeMap::new(); let mut constrained: BTreeMap<usize, bool> = BTreeMap::new();
let mut constraint_num = 0; let mut constraint_num = 0;
for (i, constraint) in circuit_json.constraints.iter().enumerate() { for (_i, constraint) in circuit_json.constraints.iter().enumerate() {
let mut lcs = vec![]; let mut lcs = vec![];
for lc_description in constraint { for lc_description in constraint {
let mut lc = LinearCombination::<E>::zero(); let mut lc = LinearCombination::<E>::zero();
@ -75,11 +75,7 @@ impl<'a, E: Engine> Circuit<E> for CircomCircuit<'a> {
Index::Aux(var_index_num - num_public_inputs) Index::Aux(var_index_num - num_public_inputs)
}; };
constrained.insert(var_index_num, true); constrained.insert(var_index_num, true);
if i == 2 { lc = lc + (E::Fr::from_str(coefficient_str).unwrap(), Variable::new_unchecked(var_index));
lc = lc + (E::Fr::from_str(coefficient_str).unwrap(), Variable::new_unchecked(var_index));
} else {
lc = lc + (E::Fr::from_str(coefficient_str).unwrap(), Variable::new_unchecked(var_index));
}
} }
lcs.push(lc); lcs.push(lc);
} }