diff --git a/kzg_prover/src/chips/range/range_check.rs b/kzg_prover/src/chips/range/range_check.rs index e6638366..43411d5c 100644 --- a/kzg_prover/src/chips/range/range_check.rs +++ b/kzg_prover/src/chips/range/range_check.rs @@ -128,9 +128,6 @@ impl<const N_BYTES: usize> RangeCheckChip<N_BYTES> { let mut zs = Vec::with_capacity(N_BYTES); let mut z = element.clone(); - // print assigned element - println!("element: {:?}", element); - // Calculate 1 / 2^8 let two_pow_eight_inv = Value::known(Fp::from(1 << 8).invert().unwrap()); diff --git a/kzg_prover/src/circuits/tests.rs b/kzg_prover/src/circuits/tests.rs index 76d2f3e3..77bd72f7 100644 --- a/kzg_prover/src/circuits/tests.rs +++ b/kzg_prover/src/circuits/tests.rs @@ -9,11 +9,7 @@ mod test { use crate::cryptocurrency::Cryptocurrency; use crate::entry::Entry; use crate::utils::parse_csv_to_entries; - use halo2_proofs::{ - dev::{FailureLocation, MockProver, VerifyFailure}, - halo2curves::bn256::Fr as Fp, - plonk::Any, - }; + use halo2_proofs::dev::MockProver; use num_bigint::BigUint; const K: u32 = 9; @@ -28,9 +24,8 @@ mod test { let mut entries: Vec<Entry<N_CURRENCIES>> = vec![Entry::init_empty(); N_USERS]; let mut cryptos = vec![Cryptocurrency::init_empty(); N_CURRENCIES]; - let _ = - parse_csv_to_entries::<&str, N_CURRENCIES, N_BYTES>(path, &mut entries, &mut cryptos) - .unwrap(); + parse_csv_to_entries::<&str, N_CURRENCIES, N_BYTES>(path, &mut entries, &mut cryptos) + .unwrap(); let circuit = UnivariateGrandSum::<N_BYTES, N_USERS, N_CURRENCIES>::init(entries.to_vec()); @@ -60,9 +55,8 @@ mod test { let mut entries: Vec<Entry<N_CURRENCIES>> = vec![Entry::init_empty(); N_USERS]; let mut cryptos = vec![Cryptocurrency::init_empty(); N_CURRENCIES]; - let _ = - parse_csv_to_entries::<&str, N_CURRENCIES, N_BYTES>(path, &mut entries, &mut cryptos) - .unwrap(); + parse_csv_to_entries::<&str, N_CURRENCIES, N_BYTES>(path, &mut entries, &mut cryptos) + .unwrap(); // Calculate total for all entry columns let mut csv_total: Vec<BigUint> = vec![BigUint::from(0u32); N_CURRENCIES]; diff --git a/kzg_prover/src/circuits/univariate_grand_sum.rs b/kzg_prover/src/circuits/univariate_grand_sum.rs index 7ddc586a..0f642869 100644 --- a/kzg_prover/src/circuits/univariate_grand_sum.rs +++ b/kzg_prover/src/circuits/univariate_grand_sum.rs @@ -100,7 +100,7 @@ where entries: &[Entry<N_ASSETS>], ) -> Result<Vec<Vec<AssignedCell<Fp, Fp>>>, Error> { layouter.assign_region( - || "assign entries and accumulated balance to table", + || "assign entries to the table", |mut region| { // create a bidimensional vector to store the assigned balances. The first dimension is the number of entries, the second dimension is the number of balances let mut assigned_balances = vec![vec![]];