Skip to content

Commit

Permalink
constrain equality to correct cell
Browse files Browse the repository at this point in the history
  • Loading branch information
z2trillion committed Nov 15, 2024
1 parent 8b489da commit 23851aa
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion aggregator/src/aggregation/batch_data.rs
Original file line number Diff line number Diff line change
Expand Up @@ -581,7 +581,8 @@ impl<const N_SNARKS: usize> BatchDataConfig<N_SNARKS> {
let two_fifty_six = {
let two_fifty_six =
rlc_config.load_private(region, &Fr::from(256), &mut rlc_config_offset)?;
let two_fifty_six_cell = rlc_config.four_cell(two_fifty_six.cell().region_index);
let two_fifty_six_cell = rlc_config
.pow_of_two_hundred_and_fifty_six_cell(two_fifty_six.cell().region_index, 1);
region.constrain_equal(two_fifty_six.cell(), two_fifty_six_cell)?;
two_fifty_six
};
Expand Down

0 comments on commit 23851aa

Please sign in to comment.