Use enough rows to allow tests to pass

scroll-tech · Sep 26, 2023 · 578c210 · 578c210
1 parent bcf1636
commit 578c210
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/src/gadgets/byte_representation.rs b/src/gadgets/byte_representation.rs
@@ -219,7 +219,7 @@ mod test {
             layouter.assign_region(
                 || "",
                 |mut region| {
-                    for offset in 0..1024 {
+                    for offset in 0..(8 * 256) {
                         selector.enable(&mut region, offset);
                     }
                     byte_bit.assign(&mut region);

diff --git a/src/gadgets/canonical_representation.rs b/src/gadgets/canonical_representation.rs
@@ -250,7 +250,7 @@ mod test {
             layouter.assign_region(
                 || "",
                 |mut region| {
-                    for offset in 0..256 {
+                    for offset in 0..(8 * 256) {
                         selector.enable(&mut region, offset);
                     }
                     byte_bit.assign(&mut region);

diff --git a/src/gadgets/key_bit.rs b/src/gadgets/key_bit.rs
@@ -191,7 +191,7 @@ mod test {
             layouter.assign_region(
                 || "",
                 |mut region| {
-                    for offset in 0..32 {
+                    for offset in 0..(8 * 256) {
                         selector.enable(&mut region, offset);
                     }
 

diff --git a/src/tests.rs b/src/tests.rs
@@ -11,7 +11,7 @@ use halo2_proofs::{
 };
 use mpt_zktrie::state::{builder::HASH_SCHEME_DONE, witness::WitnessGenerator, ZktrieState};
 
-const N_ROWS: usize = 1024;
+const N_ROWS: usize = 8 * 256 + 1;
 const STORAGE_ADDRESS: Address = Address::repeat_byte(1);
 
 fn initial_generator() -> WitnessGenerator {