Fix to row_number <= NORMALIZED_ROW_LIMIT.

silathdiir · silathdiir · commit 02b68773531e · 2023-09-07T13:27:51.000+08:00
diff --git a/prover/src/zkevm/capacity_checker.rs b/prover/src/zkevm/capacity_checker.rs
@@ -90,7 +90,7 @@ impl RowUsage {
         Self {
             row_usage_details,
             row_number,
-            is_ok: row_number < NORMALIZED_ROW_LIMIT,
+            is_ok: row_number <= NORMALIZED_ROW_LIMIT,
         }
     }
     pub fn add(&mut self, other: &RowUsage) {

Original file line number	Diff line number	Diff line change
`@@ -90,7 +90,7 @@ impl RowUsage {`
`90`	`90`	`Self {`
`91`	`91`	`row_usage_details,`
`92`	`92`	`row_number,`
`93`		`- is_ok: row_number < NORMALIZED_ROW_LIMIT,`
	`93`	`+ is_ok: row_number <= NORMALIZED_ROW_LIMIT,`
`94`	`94`	`}`
`95`	`95`	`}`
`96`	`96`	`pub fn add(&mut self, other: &RowUsage) {`