fix load_slice panic in mock prover err display

scroll-tech · Jul 4, 2023 · aab39d5 · aab39d5
1 parent 9bf3562
commit aab39d5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/halo2_proofs/src/circuit/floor_planner/single_pass.rs b/halo2_proofs/src/circuit/floor_planner/single_pass.rs
@@ -121,7 +121,7 @@ impl<'a, F: Field, CS: Assignment<F> + 'a> Layouter<F> for SingleChipLayouter<'a
         let log_region_info = row_count >= 40;
         if log_region_info {
             log::debug!(
-                "region row_count \"{}\": {}",
+                "region \"{}\" row_count: {}",
                 region_name,
                 shape.row_count()
             );

diff --git a/halo2_proofs/src/dev/util.rs b/halo2_proofs/src/dev/util.rs
@@ -96,7 +96,7 @@ pub(super) fn load_slice<'a, F: FieldExt, T: ColumnType, Q: Into<AnyQuery> + Cop
 ) -> impl Fn(Q) -> Value<F> + 'a {
     move |query| {
         let (column, at) = &queries[query.into().index];
-        let resolved_row = (row + at.0) % n;
+        let resolved_row = (row + at.0 + n) % n;
         cells[column.index()][resolved_row as usize].into()
     }
 }
@@ -109,7 +109,7 @@ pub(super) fn load_instance<'a, F: FieldExt, T: ColumnType, Q: Into<AnyQuery> +
 ) -> impl Fn(Q) -> Value<F> + 'a {
     move |query| {
         let (column, at) = &queries[query.into().index];
-        let resolved_row = (row + at.0) % n;
+        let resolved_row = (row + at.0 + n) % n;
         Value::Real(cells[column.index()][resolved_row as usize])
     }
 }