fix wrong address check

privacy-scaling-explorations · Jun 21, 2023 · 1630508 · 1630508
1 parent 9b2610b
commit 1630508
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/zkevm-circuits/src/evm_circuit/execution/balance.rs b/zkevm-circuits/src/evm_circuit/execution/balance.rs
@@ -159,7 +159,7 @@ mod test {
     use mock::{generate_mock_call_bytecode, test_ctx::TestContext, MockCallBytecodeParams};
 
     lazy_static! {
-        static ref TEST_ADDRESS: Address = address!("0xaabbccddee000000000000000000000000000000");
+        static ref TEST_ADDRESS: Address = address!("0xaabbccddeeffdeadbeef00000000000000000000");
     }
 
     #[test]

diff --git a/zkevm-circuits/src/util/int_decomposition.rs b/zkevm-circuits/src/util/int_decomposition.rs
@@ -37,7 +37,7 @@ impl<F: Field, const N_LIMBS: usize> IntDecomposition<F, N_LIMBS> {
         assert!(N_BYTES >= N_LIMBS);
         if let Some(bytes) = bytes {
             if N_BYTES > N_LIMBS {
-                for byte in &bytes[N_BYTES - N_LIMBS..] {
+                for byte in &bytes[N_LIMBS..] {
                     assert_eq!(*byte, 0);
                 }
             }