diff --git a/aggregator/src/aggregation/circuit.rs b/aggregator/src/aggregation/circuit.rs index cdf974058d..63de57ca0b 100644 --- a/aggregator/src/aggregation/circuit.rs +++ b/aggregator/src/aggregation/circuit.rs @@ -1,4 +1,4 @@ -use crate::{blob::BatchData, witgen::MultiBlockProcessResult}; +use crate::{blob::BatchData, witgen::MultiBlockProcessResult, LOG_DEGREE}; use ark_std::{end_timer, start_timer}; use halo2_base::{Context, ContextParams}; use halo2_proofs::{ @@ -489,7 +489,7 @@ impl Circuit for AggregationCircuit { address_table_arr, sequence_exec_info_arr, &challenges, - 20, // TODO: configure k for aggregation circuit instead of hard-coded here. + LOG_DEGREE, // TODO: configure k for aggregation circuit instead of hard-coded here. )?; layouter.assign_region( diff --git a/aggregator/src/core.rs b/aggregator/src/core.rs index 5002d83393..c64bfe83c2 100644 --- a/aggregator/src/core.rs +++ b/aggregator/src/core.rs @@ -299,7 +299,7 @@ impl ExtractedHashCells { .zip_eq(self.output_rlcs.iter()) .enumerate() { - log::info!( + log::debug!( "{}-th rlc {:?} {:?}", i, input_rlcs.value(), @@ -714,11 +714,11 @@ pub(crate) fn conditional_constraints( &mut offset, )?; - log::info!( + log::debug!( "batch data hash rlc recomputed: {:?}", batch_data_hash_rlc.value() ); - log::info!( + log::debug!( "batch data hash rlc from table: {:?}", assigned_hash_cells.output_rlcs[N_SNARKS + 1].value() ); @@ -769,11 +769,11 @@ pub(crate) fn conditional_constraints( assigned_hash_cells.input_rlcs[N_SNARKS + 1].cell(), )?; - log::info!( + log::debug!( "batch data hash rlc reconstructed: {:?}", batch_data_hash_reconstructed_rlc.value() ); - log::info!( + log::debug!( "batch data hash rlc from table: {:?}", assigned_hash_cells.input_rlcs[N_SNARKS + 1].value() ); diff --git a/zkevm-circuits/src/table.rs b/zkevm-circuits/src/table.rs index f30488dc0a..4aeec25c2e 100644 --- a/zkevm-circuits/src/table.rs +++ b/zkevm-circuits/src/table.rs @@ -3135,6 +3135,8 @@ impl PowOfRandTable { )?; } + log::debug!("assign pow of rand with rows {} done", max_rows); + Ok(()) }, )