diff --git a/phase2/src/bin/circom.rs b/phase2/src/bin/circom.rs index 8e9fd8e..bd0abe8 100644 --- a/phase2/src/bin/circom.rs +++ b/phase2/src/bin/circom.rs @@ -118,13 +118,13 @@ impl<'a, E: Engine> Circuit for CircomCircuit<'a> { println!("num public inputs: {}", num_public_inputs); for i in 1..circuit_json.num_variables { if i < num_public_inputs { - println!("allocating public input {}", i); + //println!("allocating public input {}", i); cs.alloc_input(|| format!("variable {}", i), || { println!("variable {}: {}", i, &self.witness[i]); Ok(E::Fr::from_str(&self.witness[i]).unwrap()) }); } else { - println!("allocating private input {}", i); + //println!("allocating private input {}", i); cs.alloc(|| format!("variable {}", i), || { println!("variable {}: {}", i, &self.witness[i]); Ok(E::Fr::from_str(&self.witness[i]).unwrap()) @@ -137,7 +137,7 @@ impl<'a, E: Engine> Circuit for CircomCircuit<'a> { let mut lcs = vec![]; for lc_description in constraint { let mut lc = LinearCombination::::zero(); - println!("lc_description: {:?}, i: {}, len: {}", lc_description, i, constraint.len()); + //println!("lc_description: {:?}, i: {}, len: {}", lc_description, i, constraint.len()); for (var_index_str, coefficient_str) in lc_description { //println!("var_index_str: {}, coefficient_str: {}", var_index_str, coefficient_str); let var_index_num: usize = var_index_str.parse().unwrap(); @@ -183,7 +183,7 @@ fn main() { println!("Creating parameters..."); - let should_filter_points_at_infinity = true; + let should_filter_points_at_infinity = false; let file_name = "circuit.json"; diff --git a/phase2/src/lib.rs b/phase2/src/lib.rs index 1e51354..6b9ac52 100644 --- a/phase2/src/lib.rs +++ b/phase2/src/lib.rs @@ -511,8 +511,8 @@ impl MPCParameters { let alpha_coeffs_g1 = Arc::new(alpha_coeffs_g1); let beta_coeffs_g1 = Arc::new(beta_coeffs_g1); - let mut h = Vec::with_capacity(m-1); - for i in 0..(m-1) { + let mut h = Vec::with_capacity(m); + for i in 0..m { h.push(read_g1(f)?); }