fix mpt circuit

scroll-tech · Sep 13, 2023 · 0bae9ee · 0bae9ee
1 parent c257a93
commit 0bae9ee
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/gadgets/mpt_update.rs b/src/gadgets/mpt_update.rs
@@ -84,8 +84,8 @@ impl<F: FieldExt> MptUpdateLookup<F> for MptUpdateConfig {
         let old_value = self.old_value.current() * is_start();
         let new_value = self.new_value.current() * is_start();
         let [address_high, address_low, ..] = self.intermediate_values;
-        let address = (address_high.current()
-            + address_low.current() * Query::Constant(F::from_u128(1 << 96)))
+        let address = (address_high.current() * Query::Constant(F::from_u128(1 << 32))
+            + address_low.current())
             * is_start();
         let storage_key_rlc = self.storage_key_rlc.current() * is_start();
         [