diff --git a/eth-types/src/lib.rs b/eth-types/src/lib.rs
index 5e1184dbddf..374df74b80e 100644
--- a/eth-types/src/lib.rs
+++ b/eth-types/src/lib.rs
@@ -24,9 +24,12 @@ pub use keccak::{keccak256, Keccak};
 
 pub use bytecode::Bytecode;
 pub use error::Error;
-use halo2_proofs::halo2curves::{
-    bn256::{Fq, Fr},
-    ff::{Field as Halo2Field, FromUniformBytes, PrimeField},
+use halo2_proofs::{
+    halo2curves::{
+        bn256::{Fq, Fr},
+        ff::{Field as Halo2Field, FromUniformBytes, PrimeField},
+    },
+    plonk::Expression,
 };
 
 use crate::evm_types::{memory::Memory, stack::Stack, storage::Storage, OpcodeId};
@@ -42,9 +45,32 @@ pub use ethers_core::{
 use serde::{de, Deserialize, Serialize};
 use std::{collections::HashMap, fmt, str::FromStr};
 
+/// trait to serve
+pub trait OpsIdentity {
+    /// output type
+    type Output;
+    /// additive identity
+    fn zero<T>() -> Self::Output;
+    /// multiplicative identity
+    fn one<T>() -> Self::Output;
+}
+
+impl<F: Field> OpsIdentity for Expression<F> {
+    type Output = Expression<F>;
+    fn zero<T>() -> Self::Output {
+        Expression::Constant(F::ZERO)
+    }
+
+    fn one<T>() -> Self::Output {
+        Expression::Constant(F::ONE)
+    }
+}
+
 /// Trait used to reduce verbosity with the declaration of the [`PrimeField`]
 /// trait and its repr.
-pub trait Field: Halo2Field + PrimeField<Repr = [u8; 32]> + FromUniformBytes<64> + Ord {
+pub trait Field:
+    Halo2Field + PrimeField<Repr = [u8; 32]> + FromUniformBytes<64> + Ord + OpsIdentity
+{
     /// Gets the lower 128 bits of this field element when expressed
     /// canonically.
     fn get_lower_128(&self) -> u128 {
@@ -65,12 +91,34 @@ pub trait Field: Halo2Field + PrimeField<Repr = [u8; 32]> + FromUniformBytes<64>
     }
 }
 
+impl OpsIdentity for Fr {
+    type Output = Fr;
+
+    fn zero<T>() -> Self::Output {
+        Fr::zero()
+    }
+
+    fn one<T>() -> Self::Output {
+        Fr::one()
+    }
+}
 // Impl custom `Field` trait for BN256 Fr to be used and consistent with the
 // rest of the workspace.
 impl Field for Fr {}
 
 // Impl custom `Field` trait for BN256 Frq to be used and consistent with the
 // rest of the workspace.
+impl OpsIdentity for Fq {
+    type Output = Fq;
+
+    fn zero<T>() -> Self::Output {
+        Fq::zero()
+    }
+
+    fn one<T>() -> Self::Output {
+        Fq::one()
+    }
+}
 impl Field for Fq {}
 
 /// Trait used to define types that can be converted to a 256 bit scalar value.
diff --git a/gadgets/src/util.rs b/gadgets/src/util.rs
index dce54c9c351..c8bc889d63a 100644
--- a/gadgets/src/util.rs
+++ b/gadgets/src/util.rs
@@ -264,7 +264,6 @@ impl<F: Field> Expr<F> for &Expression<F> {
         (*self).clone()
     }
 }
-
 /// Given a bytes-representation of an expression, it computes and returns the
 /// single expression.
 pub fn expr_from_bytes<F: Field, E: Expr<F>>(bytes: &[E]) -> Expression<F> {
diff --git a/light-client-poc/src/circuit/state_update.rs b/light-client-poc/src/circuit/state_update.rs
index 15464e311b5..92931d98c73 100644
--- a/light-client-poc/src/circuit/state_update.rs
+++ b/light-client-poc/src/circuit/state_update.rs
@@ -1,5 +1,5 @@
 use super::equal_words::EqualWordsConfig;
-use eth_types::Field;
+use eth_types::{Field, OpsIdentity};
 use eyre::Result;
 use gadgets::{
     is_zero::{IsZeroChip, IsZeroConfig, IsZeroInstruction},
@@ -68,7 +68,10 @@ pub struct StateUpdateCircuitConfig<F: Field> {
 
 /// MPT Circuit for proving the storage modification is valid.
 #[derive(Default)]
-pub struct StateUpdateCircuit<F: Field> {
+pub struct StateUpdateCircuit<F: Field + OpsIdentity<Output = F>>
+where
+    <F as OpsIdentity>::Output: Field,
+{
     pub transforms: Transforms,
     #[cfg(not(feature = "disable-keccak"))]
     pub keccak_circuit: KeccakCircuit<F>,
@@ -78,7 +81,10 @@ pub struct StateUpdateCircuit<F: Field> {
     pub max_proof_count: usize,
 }
 
-impl<F: Field> Circuit<F> for StateUpdateCircuit<F> {
+impl<F: Field + OpsIdentity<Output = F>> Circuit<F> for StateUpdateCircuit<F>
+where
+    <F as OpsIdentity>::Output: Field,
+{
     type Config = (StateUpdateCircuitConfig<F>, Challenges);
     type FloorPlanner = SimpleFloorPlanner;
     type Params = MPTCircuitParams;
diff --git a/zkevm-circuits/src/evm_circuit/execution/begin_tx.rs b/zkevm-circuits/src/evm_circuit/execution/begin_tx.rs
index 9b3c099570b..d0093308645 100644
--- a/zkevm-circuits/src/evm_circuit/execution/begin_tx.rs
+++ b/zkevm-circuits/src/evm_circuit/execution/begin_tx.rs
@@ -221,12 +221,12 @@ impl<F: Field> ExecutionGadget<F> for BeginTxGadget<F> {
             cb.account_write(
                 call_callee_address.to_word(),
                 AccountFieldTag::Nonce,
-                Word::one(),
-                Word::zero(),
+                Word::one::<Expression<F>>(),
+                Word::zero::<Expression<F>>(),
                 Some(&mut reversion_info),
             );
             for (field_tag, value) in [
-                (CallContextFieldTag::Depth, Word::one()),
+                (CallContextFieldTag::Depth, Word::one::<Expression<F>>()),
                 (
                     CallContextFieldTag::CallerAddress,
                     tx.caller_address.to_word(),
@@ -235,24 +235,30 @@ impl<F: Field> ExecutionGadget<F> for BeginTxGadget<F> {
                     CallContextFieldTag::CalleeAddress,
                     call_callee_address.to_word(),
                 ),
-                (CallContextFieldTag::CallDataOffset, Word::zero()),
+                (
+                    CallContextFieldTag::CallDataOffset,
+                    Word::zero::<Expression<F>>(),
+                ),
                 (
                     CallContextFieldTag::CallDataLength,
                     Word::from_lo_unchecked(tx.call_data_length.expr()),
                 ),
                 (CallContextFieldTag::Value, tx.value.to_word()),
-                (CallContextFieldTag::IsStatic, Word::zero()),
-                (CallContextFieldTag::LastCalleeId, Word::zero()),
+                (CallContextFieldTag::IsStatic, Word::zero::<Expression<F>>()),
+                (
+                    CallContextFieldTag::LastCalleeId,
+                    Word::zero::<Expression<F>>(),
+                ),
                 (
                     CallContextFieldTag::LastCalleeReturnDataOffset,
-                    Word::zero(),
+                    Word::zero::<Expression<F>>(),
                 ),
                 (
                     CallContextFieldTag::LastCalleeReturnDataLength,
-                    Word::zero(),
+                    Word::zero::<Expression<F>>(),
                 ),
-                (CallContextFieldTag::IsRoot, Word::one()),
-                (CallContextFieldTag::IsCreate, Word::one()),
+                (CallContextFieldTag::IsRoot, Word::one::<Expression<F>>()),
+                (CallContextFieldTag::IsCreate, Word::one::<Expression<F>>()),
                 (
                     CallContextFieldTag::CodeHash,
                     cb.curr.state.code_hash.to_word(),
@@ -349,7 +355,7 @@ impl<F: Field> ExecutionGadget<F> for BeginTxGadget<F> {
             |cb| {
                 // Setup first call's context.
                 for (field_tag, value) in [
-                    (CallContextFieldTag::Depth, Word::one()),
+                    (CallContextFieldTag::Depth, Word::one::<Expression<F>>()),
                     (
                         CallContextFieldTag::CallerAddress,
                         tx.caller_address.to_word(),
@@ -358,23 +364,29 @@ impl<F: Field> ExecutionGadget<F> for BeginTxGadget<F> {
                         CallContextFieldTag::CalleeAddress,
                         tx.callee_address.to_word(),
                     ),
-                    (CallContextFieldTag::CallDataOffset, Word::zero()),
+                    (
+                        CallContextFieldTag::CallDataOffset,
+                        Word::zero::<Expression<F>>(),
+                    ),
                     (
                         CallContextFieldTag::CallDataLength,
                         Word::from_lo_unchecked(tx.call_data_length.expr()),
                     ),
                     (CallContextFieldTag::Value, tx.value.to_word()),
-                    (CallContextFieldTag::IsStatic, Word::zero()),
-                    (CallContextFieldTag::LastCalleeId, Word::zero()),
+                    (CallContextFieldTag::IsStatic, Word::zero::<Expression<F>>()),
+                    (
+                        CallContextFieldTag::LastCalleeId,
+                        Word::zero::<Expression<F>>(),
+                    ),
                     (
                         CallContextFieldTag::LastCalleeReturnDataOffset,
-                        Word::zero(),
+                        Word::zero::<Expression<F>>(),
                     ),
                     (
                         CallContextFieldTag::LastCalleeReturnDataLength,
-                        Word::zero(),
+                        Word::zero::<Expression<F>>(),
                     ),
-                    (CallContextFieldTag::IsRoot, Word::one()),
+                    (CallContextFieldTag::IsRoot, Word::one::<Expression<F>>()),
                     (
                         CallContextFieldTag::IsCreate,
                         Word::from_lo_unchecked(tx.is_create.expr()),
diff --git a/zkevm-circuits/src/evm_circuit/execution/callop.rs b/zkevm-circuits/src/evm_circuit/execution/callop.rs
index 0c0e6ae6668..f1dbefc40ef 100644
--- a/zkevm-circuits/src/evm_circuit/execution/callop.rs
+++ b/zkevm-circuits/src/evm_circuit/execution/callop.rs
@@ -32,7 +32,10 @@ use bus_mapping::{
     precompile::{is_precompiled, PrecompileCalls},
 };
 use eth_types::{evm_types::GAS_STIPEND_CALL_WITH_VALUE, Field, ToAddress, ToScalar, U256};
-use halo2_proofs::{circuit::Value, plonk::Error};
+use halo2_proofs::{
+    circuit::Value,
+    plonk::{Error, Expression},
+};
 use std::cmp::min;
 
 /// Gadget for call related opcodes. It supports `OpcodeId::CALL`,
@@ -540,7 +543,7 @@ impl<F: Field> ExecutionGadget<F> for CallOpGadget<F> {
                     CallContextFieldTag::LastCalleeReturnDataOffset,
                     CallContextFieldTag::LastCalleeReturnDataLength,
                 ] {
-                    cb.call_context_lookup_write(None, field_tag, Word::zero());
+                    cb.call_context_lookup_write(None, field_tag, Word::zero::<Expression<F>>());
                 }
 
                 // For CALL opcode, it has an extra stack pop `value` (+1) and if the value is
@@ -588,7 +591,7 @@ impl<F: Field> ExecutionGadget<F> for CallOpGadget<F> {
                 CallContextFieldTag::LastCalleeReturnDataOffset,
                 CallContextFieldTag::LastCalleeReturnDataLength,
             ] {
-                cb.call_context_lookup_write(None, field_tag, Word::zero());
+                cb.call_context_lookup_write(None, field_tag, Word::zero::<Expression<F>>());
             }
 
             cb.require_step_state_transition(StepStateTransition {
@@ -689,17 +692,20 @@ impl<F: Field> ExecutionGadget<F> for CallOpGadget<F> {
                         CallContextFieldTag::IsStatic,
                         Word::from_lo_unchecked(or::expr([is_static.expr(), is_staticcall.expr()])),
                     ),
-                    (CallContextFieldTag::LastCalleeId, Word::zero()),
+                    (
+                        CallContextFieldTag::LastCalleeId,
+                        Word::zero::<Expression<F>>(),
+                    ),
                     (
                         CallContextFieldTag::LastCalleeReturnDataOffset,
-                        Word::zero(),
+                        Word::zero::<Expression<F>>(),
                     ),
                     (
                         CallContextFieldTag::LastCalleeReturnDataLength,
-                        Word::zero(),
+                        Word::zero::<Expression<F>>(),
                     ),
-                    (CallContextFieldTag::IsRoot, Word::zero()),
-                    (CallContextFieldTag::IsCreate, Word::zero()),
+                    (CallContextFieldTag::IsRoot, Word::zero::<Expression<F>>()),
+                    (CallContextFieldTag::IsCreate, Word::zero::<Expression<F>>()),
                     (
                         CallContextFieldTag::CodeHash,
                         call_gadget.callee_code_hash.to_word(),
diff --git a/zkevm-circuits/src/evm_circuit/execution/create.rs b/zkevm-circuits/src/evm_circuit/execution/create.rs
index 293f18f7c31..a33da085f26 100644
--- a/zkevm-circuits/src/evm_circuit/execution/create.rs
+++ b/zkevm-circuits/src/evm_circuit/execution/create.rs
@@ -296,7 +296,7 @@ impl<F: Field, const IS_CREATE2: bool, const S: ExecutionState> ExecutionGadget<
                 CallContextFieldTag::LastCalleeReturnDataOffset,
                 CallContextFieldTag::LastCalleeReturnDataLength,
             ] {
-                cb.call_context_lookup_write(None, field_tag, Word::zero());
+                cb.call_context_lookup_write(None, field_tag, Word::zero::<Expression<F>>());
             }
 
             cb.require_step_state_transition(StepStateTransition {
@@ -342,8 +342,8 @@ impl<F: Field, const IS_CREATE2: bool, const S: ExecutionState> ExecutionGadget<
                 cb.account_write(
                     contract_addr.to_word(),
                     AccountFieldTag::Nonce,
-                    Word::one(),
-                    Word::zero(),
+                    Word::one::<Expression<F>>(),
+                    Word::zero::<Expression<F>>(),
                     Some(&mut callee_reversion_info),
                 );
 
@@ -420,7 +420,11 @@ impl<F: Field, const IS_CREATE2: bool, const S: ExecutionState> ExecutionGadget<
                         CallContextFieldTag::LastCalleeReturnDataOffset,
                         CallContextFieldTag::LastCalleeReturnDataLength,
                     ] {
-                        cb.call_context_lookup_write(None, field_tag, Word::zero());
+                        cb.call_context_lookup_write(
+                            None,
+                            field_tag,
+                            Word::zero::<Expression<F>>(),
+                        );
                     }
                     cb.require_step_state_transition(StepStateTransition {
                         rw_counter: Delta(cb.rw_counter_offset()),
@@ -463,7 +467,7 @@ impl<F: Field, const IS_CREATE2: bool, const S: ExecutionState> ExecutionGadget<
                     CallContextFieldTag::LastCalleeReturnDataOffset,
                     CallContextFieldTag::LastCalleeReturnDataLength,
                 ] {
-                    cb.call_context_lookup_write(None, field_tag, Word::zero());
+                    cb.call_context_lookup_write(None, field_tag, Word::zero::<Expression<F>>());
                 }
 
                 cb.require_step_state_transition(StepStateTransition {
diff --git a/zkevm-circuits/src/evm_circuit/execution/end_block.rs b/zkevm-circuits/src/evm_circuit/execution/end_block.rs
index 48e083602b4..512696fbb65 100644
--- a/zkevm-circuits/src/evm_circuit/execution/end_block.rs
+++ b/zkevm-circuits/src/evm_circuit/execution/end_block.rs
@@ -16,7 +16,10 @@ use crate::{
 };
 use eth_types::Field;
 use gadgets::util::select;
-use halo2_proofs::{circuit::Value, plonk::Error};
+use halo2_proofs::{
+    circuit::Value,
+    plonk::{Error, Expression},
+};
 
 #[derive(Clone, Debug)]
 pub(crate) struct EndBlockGadget<F> {
@@ -74,7 +77,7 @@ impl<F: Field> ExecutionGadget<F> for EndBlockGadget<F> {
                 total_txs.expr() + 1.expr(),
                 TxContextFieldTag::CallerAddress,
                 None,
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
             );
             // Since every tx lookup done in the EVM circuit must succeed
             // and uses a unique tx_id, we know that at
diff --git a/zkevm-circuits/src/evm_circuit/execution/error_precompile_failed.rs b/zkevm-circuits/src/evm_circuit/execution/error_precompile_failed.rs
index 4945564fb1b..41aa97d9e2f 100644
--- a/zkevm-circuits/src/evm_circuit/execution/error_precompile_failed.rs
+++ b/zkevm-circuits/src/evm_circuit/execution/error_precompile_failed.rs
@@ -18,7 +18,10 @@ use crate::{
 };
 use bus_mapping::evm::OpcodeId;
 use eth_types::{Field, U256};
-use halo2_proofs::{circuit::Value, plonk::Error};
+use halo2_proofs::{
+    circuit::Value,
+    plonk::{Error, Expression},
+};
 
 #[derive(Clone, Debug)]
 pub(crate) struct ErrorPrecompileFailedGadget<F> {
@@ -87,7 +90,7 @@ impl<F: Field> ExecutionGadget<F> for ErrorPrecompileFailedGadget<F> {
         cb.stack_pop(cd_length.to_word());
         cb.stack_pop(rd_offset.to_word());
         cb.stack_pop(rd_length.to_word());
-        cb.stack_push(Word::zero());
+        cb.stack_push(Word::zero::<Expression<F>>());
 
         for (field_tag, value) in [
             (CallContextFieldTag::LastCalleeId, callee_call_id.expr()),
diff --git a/zkevm-circuits/src/evm_circuit/execution/error_write_protection.rs b/zkevm-circuits/src/evm_circuit/execution/error_write_protection.rs
index 6182e413d5c..f77011b6750 100644
--- a/zkevm-circuits/src/evm_circuit/execution/error_write_protection.rs
+++ b/zkevm-circuits/src/evm_circuit/execution/error_write_protection.rs
@@ -17,7 +17,10 @@ use crate::{
     },
 };
 use eth_types::{evm_types::OpcodeId, Field, ToAddress, U256};
-use halo2_proofs::{circuit::Value, plonk::Error};
+use halo2_proofs::{
+    circuit::Value,
+    plonk::{Error, Expression},
+};
 
 #[derive(Clone, Debug)]
 pub(crate) struct ErrorWriteProtectionGadget<F> {
@@ -73,7 +76,11 @@ impl<F: Field> ExecutionGadget<F> for ErrorWriteProtectionGadget<F> {
         });
 
         // current call context is readonly
-        cb.call_context_lookup_read(None, CallContextFieldTag::IsStatic, Word::one());
+        cb.call_context_lookup_read(
+            None,
+            CallContextFieldTag::IsStatic,
+            Word::one::<Expression<F>>(),
+        );
 
         // constrain not root call as at least one previous staticcall preset.
         cb.require_zero(
diff --git a/zkevm-circuits/src/evm_circuit/execution/stop.rs b/zkevm-circuits/src/evm_circuit/execution/stop.rs
index 26b35745b66..8bebcbe78d6 100644
--- a/zkevm-circuits/src/evm_circuit/execution/stop.rs
+++ b/zkevm-circuits/src/evm_circuit/execution/stop.rs
@@ -22,7 +22,10 @@ use crate::{
 };
 use bus_mapping::evm::OpcodeId;
 use eth_types::Field;
-use halo2_proofs::{circuit::Value, plonk::Error};
+use halo2_proofs::{
+    circuit::Value,
+    plonk::{Error, Expression},
+};
 
 #[derive(Clone, Debug)]
 pub(crate) struct StopGadget<F> {
@@ -63,7 +66,11 @@ impl<F: Field> ExecutionGadget<F> for StopGadget<F> {
         );
 
         // Call ends with STOP must be successful
-        cb.call_context_lookup_read(None, CallContextFieldTag::IsSuccess, Word::one());
+        cb.call_context_lookup_read(
+            None,
+            CallContextFieldTag::IsSuccess,
+            Word::one::<Expression<F>>(),
+        );
 
         let is_to_end_tx = cb.next.execution_state_selector([ExecutionState::EndTx]);
         cb.require_equal(
diff --git a/zkevm-circuits/src/evm_circuit/util/common_gadget.rs b/zkevm-circuits/src/evm_circuit/util/common_gadget.rs
index 18fb9450da9..56d4ca58c24 100644
--- a/zkevm-circuits/src/evm_circuit/util/common_gadget.rs
+++ b/zkevm-circuits/src/evm_circuit/util/common_gadget.rs
@@ -429,7 +429,7 @@ impl<F: Field> TransferToGadget<F> {
                     receiver_address.clone(),
                     AccountFieldTag::CodeHash,
                     cb.empty_code_hash(),
-                    Word::zero(),
+                    Word::zero::<Expression<F>>(),
                     reversion_info,
                 );
             },
@@ -767,7 +767,7 @@ impl<F: Field, MemAddrGadget: CommonMemoryAddressGadget<F>, const IS_SUCCESS_CAL
         cb.stack_push(if IS_SUCCESS_CALL {
             Word::from_lo_unchecked(is_success.expr()) // is_success is bool
         } else {
-            Word::zero()
+            Word::zero::<Expression<F>>()
         });
 
         // Recomposition of random linear combination to integer
@@ -1097,7 +1097,11 @@ impl<F: Field> CommonErrorGadget<F> {
         let rw_counter_end_of_reversion = cb.query_word_unchecked(); // rw_counter_end_of_reversion just used for read lookup, therefore skip range check
 
         // current call must be failed.
-        cb.call_context_lookup_read(None, CallContextFieldTag::IsSuccess, Word::zero());
+        cb.call_context_lookup_read(
+            None,
+            CallContextFieldTag::IsSuccess,
+            Word::zero::<Expression<F>>(),
+        );
 
         cb.call_context_lookup_read(
             None,
diff --git a/zkevm-circuits/src/evm_circuit/util/constraint_builder.rs b/zkevm-circuits/src/evm_circuit/util/constraint_builder.rs
index ff50a6cbe1c..8b1f1e370af 100644
--- a/zkevm-circuits/src/evm_circuit/util/constraint_builder.rs
+++ b/zkevm-circuits/src/evm_circuit/util/constraint_builder.rs
@@ -165,7 +165,7 @@ pub(crate) trait ConstrainBuilderCommon<F: Field> {
     }
 
     fn require_zero_word(&mut self, name: &'static str, word: Word<Expression<F>>) {
-        self.require_equal_word(name, word, Word::zero());
+        self.require_equal_word(name, word, Word::zero::<Expression<F>>());
     }
 
     fn require_equal_word(
@@ -865,10 +865,10 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 tx_id,
                 account_address.compress(),
                 0.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 Word::from_lo_unchecked(value),
                 Word::from_lo_unchecked(value_prev),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
             ),
             reversion_info,
         );
@@ -888,10 +888,10 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 tx_id,
                 account_address.compress(),
                 0.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 Word::from_lo_unchecked(value.clone()),
                 Word::from_lo_unchecked(value),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
             ),
         );
     }
@@ -914,7 +914,7 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 storage_key,
                 value,
                 value_prev,
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
             ),
             reversion_info,
         );
@@ -938,7 +938,7 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 storage_key,
                 value.clone(),
                 value,
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
             ),
         );
     }
@@ -954,10 +954,10 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 tx_id,
                 0.expr(),
                 0.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 value.clone(),
                 value,
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
             ),
         );
     }
@@ -976,10 +976,10 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 tx_id,
                 0.expr(),
                 0.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 value,
                 value_prev,
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
             ),
             reversion_info,
         );
@@ -1000,10 +1000,10 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 0.expr(),
                 account_address.compress(),
                 field_tag.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 value.clone(),
                 value,
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
             ),
         );
     }
@@ -1023,10 +1023,10 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 0.expr(),
                 account_address.compress(),
                 field_tag.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 value,
                 value_prev,
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
             ),
             reversion_info,
         );
@@ -1127,10 +1127,10 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 call_id.unwrap_or_else(|| self.curr.state.call_id.expr()),
                 0.expr(),
                 field_tag.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 value,
-                Word::zero(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
+                Word::zero::<Expression<F>>(),
             ),
         );
     }
@@ -1153,10 +1153,10 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 call_id.unwrap_or_else(|| self.curr.state.call_id.expr()),
                 0.expr(),
                 field_tag.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 value,
-                Word::zero(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
+                Word::zero::<Expression<F>>(),
             ),
         );
     }
@@ -1175,10 +1175,10 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 call_id.unwrap_or_else(|| self.curr.state.call_id.expr()),
                 0.expr(),
                 field_tag.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 value,
-                Word::zero(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
+                Word::zero::<Expression<F>>(),
             ),
         );
     }
@@ -1261,10 +1261,10 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 self.curr.state.call_id.expr(),
                 self.curr.state.stack_pointer.expr() + stack_pointer_offset,
                 0.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 value,
-                Word::zero(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
+                Word::zero::<Expression<F>>(),
             ),
         );
     }
@@ -1286,11 +1286,11 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 call_id.unwrap_or_else(|| self.curr.state.call_id.expr()),
                 memory_address,
                 0.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 // TODO assure range check since write=true also possible
                 Word::from_lo_unchecked(byte),
-                Word::zero(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
+                Word::zero::<Expression<F>>(),
             ),
         );
     }
@@ -1311,10 +1311,10 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 tx_id,
                 build_tx_log_expression(index, field_tag.expr(), log_id),
                 0.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 value,
-                Word::zero(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
+                Word::zero::<Expression<F>>(),
             ),
         );
     }
@@ -1335,11 +1335,11 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 tx_id,
                 0.expr(),
                 tag.expr(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
                 // TODO assure range check since write=true also possible
                 Word::from_lo_unchecked(value),
-                Word::zero(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
+                Word::zero::<Expression<F>>(),
             ),
         );
     }
@@ -1356,10 +1356,10 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> {
                 0.expr(),
                 0.expr(),
                 0.expr(),
-                Word::zero(),
-                Word::zero(),
-                Word::zero(),
-                Word::zero(),
+                Word::zero::<Expression<F>>(),
+                Word::zero::<Expression<F>>(),
+                Word::zero::<Expression<F>>(),
+                Word::zero::<Expression<F>>(),
             ),
         );
     }
diff --git a/zkevm-circuits/src/mpt_circuit.rs b/zkevm-circuits/src/mpt_circuit.rs
index dfc557452e1..b70a7b5fda2 100644
--- a/zkevm-circuits/src/mpt_circuit.rs
+++ b/zkevm-circuits/src/mpt_circuit.rs
@@ -1,5 +1,5 @@
 //! The MPT circuit implementation.
-use eth_types::Field;
+use eth_types::{Field, OpsIdentity};
 use gadgets::{impl_expr, util::Scalar};
 use halo2_proofs::{
     circuit::{Layouter, SimpleFloorPlanner, Value},
@@ -208,7 +208,10 @@ pub enum FixedTableTag {
 }
 impl_expr!(FixedTableTag);
 
-impl<F: Field> MPTConfig<F> {
+impl<F: Field + OpsIdentity<Output = F>> MPTConfig<F>
+where
+    <F as OpsIdentity>::Output: Field,
+{
     /// Configure MPT Circuit
     pub fn new(
         meta: &mut ConstraintSystem<F>,
@@ -646,7 +649,10 @@ impl<F: Field> MPTConfig<F> {
 
 /// MPT Circuit for proving the storage modification is valid.
 #[derive(Default)]
-pub struct MPTCircuit<F: Field> {
+pub struct MPTCircuit<F: Field + OpsIdentity<Output = F>>
+where
+    <F as OpsIdentity>::Output: Field,
+{
     /// MPT nodes
     pub nodes: Vec<Node>,
     /// MPT keccak_data
@@ -685,7 +691,10 @@ impl MPTCircuitParams {
     }
 }
 
-impl<F: Field> Circuit<F> for MPTCircuit<F> {
+impl<F: Field + OpsIdentity<Output = F>> Circuit<F> for MPTCircuit<F>
+where
+    <F as OpsIdentity>::Output: Field,
+{
     type Config = (MPTConfig<F>, Challenges);
     type FloorPlanner = SimpleFloorPlanner;
     type Params = MPTCircuitParams;
diff --git a/zkevm-circuits/src/mpt_circuit/account_leaf.rs b/zkevm-circuits/src/mpt_circuit/account_leaf.rs
index 2b16ff34c78..a60951de2cb 100644
--- a/zkevm-circuits/src/mpt_circuit/account_leaf.rs
+++ b/zkevm-circuits/src/mpt_circuit/account_leaf.rs
@@ -1,4 +1,4 @@
-use eth_types::{Field, U256};
+use eth_types::{Field, OpsIdentity, U256};
 use gadgets::util::{pow, Scalar};
 use halo2_proofs::{
     circuit::Value,
@@ -55,7 +55,10 @@ pub(crate) struct AccountLeafConfig<F> {
     mod_extension: ModExtensionGadget<F>,
 }
 
-impl<F: Field> AccountLeafConfig<F> {
+impl<F: Field + OpsIdentity<Output = F>> AccountLeafConfig<F>
+where
+    <F as OpsIdentity>::Output: Field,
+{
     pub fn configure(
         meta: &mut VirtualCells<'_, F>,
         cb: &mut MPTConstraintBuilder<F>,
@@ -149,10 +152,10 @@ impl<F: Field> AccountLeafConfig<F> {
             require!(config.main_data.is_below_account => false);
 
             let mut key_rlc = vec![0.expr(); 2];
-            let mut nonce = vec![Word::zero(); 2];
-            let mut balance = vec![Word::zero(); 2];
-            let mut storage = vec![Word::zero(); 2];
-            let mut codehash = vec![Word::zero(); 2];
+            let mut nonce = vec![Word::zero::<Expression<F>>(); 2];
+            let mut balance = vec![Word::zero::<Expression<F>>(); 2];
+            let mut storage = vec![Word::zero::<Expression<F>>(); 2];
+            let mut codehash = vec![Word::zero::<Expression<F>>(); 2];
             let mut leaf_no_key_rlc = vec![0.expr(); 2];
             let mut leaf_no_key_rlc_mult = vec![0.expr(); 2];
             let mut value_list_num_bytes = vec![0.expr(); 2];
@@ -467,7 +470,7 @@ impl<F: Field> AccountLeafConfig<F> {
                         &mut cb.base,
                         address.clone(),
                         proof_type.clone(),
-                        Word::zero(),
+                        Word::zero::<Expression<F>>(),
                         config.main_data.new_root.expr(),
                         config.main_data.old_root.expr(),
                         Word::<Expression<F>>::new([new_value_lo, new_value_hi]),
@@ -481,11 +484,11 @@ impl<F: Field> AccountLeafConfig<F> {
                         &mut cb.base,
                         address.clone(),
                         proof_type.clone(),
-                        Word::zero(),
+                        Word::zero::<Expression<F>>(),
                         config.main_data.new_root.expr(),
                         config.main_data.old_root.expr(),
-                        Word::zero(),
-                        Word::zero(),
+                        Word::zero::<Expression<F>>(),
+                        Word::zero::<Expression<F>>(),
                     );
                 }};
             } elsex {
@@ -499,10 +502,10 @@ impl<F: Field> AccountLeafConfig<F> {
                     &mut cb.base,
                     address,
                     proof_type,
-                    Word::zero(),
+                    Word::zero::<Expression<F>>(),
                     config.main_data.new_root.expr(),
                     config.main_data.old_root.expr(),
-                    Word::zero(),
+                    Word::zero::<Expression<F>>(),
                     Word::<Expression<F>>::new([old_value_lo, old_value_hi]),
                 );
             }};
@@ -554,10 +557,10 @@ impl<F: Field> AccountLeafConfig<F> {
 
         // Key
         let mut key_rlc = vec![0.scalar(); 2];
-        let mut nonce = vec![Word::zero_f(); 2];
-        let mut balance = vec![Word::zero_f(); 2];
-        let mut storage = vec![Word::zero_f(); 2];
-        let mut codehash = vec![Word::zero_f(); 2];
+        let mut nonce = vec![Word::zero::<F>(); 2];
+        let mut balance = vec![Word::zero::<F>(); 2];
+        let mut storage = vec![Word::zero::<F>(); 2];
+        let mut codehash = vec![Word::zero::<F>(); 2];
         let mut key_data = vec![KeyDataWitness::default(); 2];
         let mut parent_data = vec![ParentDataWitness::default(); 2];
         for is_s in [true, false] {
@@ -727,11 +730,14 @@ impl<F: Field> AccountLeafConfig<F> {
         } else if is_codehash_mod {
             (MPTProofType::CodeHashChanged, codehash)
         } else if is_account_delete_mod {
-            (MPTProofType::AccountDestructed, vec![Word::zero_f(); 2])
+            (MPTProofType::AccountDestructed, vec![Word::zero::<F>(); 2])
         } else if is_non_existing_proof {
-            (MPTProofType::AccountDoesNotExist, vec![Word::zero_f(); 2])
+            (
+                MPTProofType::AccountDoesNotExist,
+                vec![Word::zero::<F>(); 2],
+            )
         } else {
-            (MPTProofType::Disabled, vec![Word::zero_f(); 2])
+            (MPTProofType::Disabled, vec![Word::zero::<F>(); 2])
         };
 
         if account.is_mod_extension[0] || account.is_mod_extension[1] {
@@ -746,10 +752,10 @@ impl<F: Field> AccountLeafConfig<F> {
         let mut new_value = value[false.idx()];
         let mut old_value = value[true.idx()];
         if parent_data[false.idx()].is_placeholder {
-            new_value = word::Word::zero_f();
+            new_value = word::Word::zero::<F>();
         } else if is_non_existing_proof {
-            new_value = word::Word::zero_f();
-            old_value = word::Word::zero_f();
+            new_value = word::Word::zero::<F>();
+            old_value = word::Word::zero::<F>();
         }
         mpt_config.mpt_table.assign_cached(
             region,
@@ -758,7 +764,7 @@ impl<F: Field> AccountLeafConfig<F> {
                 address: Value::known(from_bytes::value(
                     &account.address.iter().cloned().rev().collect::<Vec<_>>(),
                 )),
-                storage_key: word::Word::zero_f().into_value(),
+                storage_key: word::Word::zero::<F>().into_value(),
                 proof_type: Value::known(proof_type.scalar()),
                 new_root: main_data.new_root.into_value(),
                 old_root: main_data.old_root.into_value(),
diff --git a/zkevm-circuits/src/mpt_circuit/branch.rs b/zkevm-circuits/src/mpt_circuit/branch.rs
index 5909eb0c8a2..47f109b4d69 100644
--- a/zkevm-circuits/src/mpt_circuit/branch.rs
+++ b/zkevm-circuits/src/mpt_circuit/branch.rs
@@ -1,4 +1,4 @@
-use eth_types::Field;
+use eth_types::{Field, OpsIdentity};
 use gadgets::util::Scalar;
 use halo2_proofs::plonk::{Error, Expression, VirtualCells};
 
@@ -50,7 +50,10 @@ pub(crate) struct BranchGadget<F> {
     post_state: Option<BranchState<F>>,
 }
 
-impl<F: Field> BranchGadget<F> {
+impl<F: Field + OpsIdentity<Output = F>> BranchGadget<F>
+where
+    <F as OpsIdentity>::Output: Field,
+{
     #[allow(clippy::too_many_arguments)]
     pub fn configure(
         meta: &mut VirtualCells<'_, F>,
@@ -299,7 +302,10 @@ impl<F: Field> BranchGadget<F> {
         is_key_odd: &mut bool,
         node: &Node,
         rlp_values: &[RLPItemWitness],
-    ) -> Result<(F, F, F, [word::Word<F>; 2], [F; 2]), Error> {
+    ) -> Result<(F, F, F, [word::Word<F>; 2], [F; 2]), Error>
+    where
+        <F as OpsIdentity>::Output: Field,
+    {
         let branch = &node.extension_branch.clone().unwrap().branch;
 
         for is_s in [true, false] {
@@ -351,7 +357,7 @@ impl<F: Field> BranchGadget<F> {
         let key_mult_post_branch = *key_mult * mult;
 
         // Set the branch we'll take
-        let mut mod_node_hash_word = [word::Word::zero_f(); 2];
+        let mut mod_node_hash_word = [word::Word::zero::<F>(); 2];
         let mut mod_node_hash_rlc = [0.scalar(); 2];
         for is_s in [true, false] {
             (
diff --git a/zkevm-circuits/src/mpt_circuit/extension.rs b/zkevm-circuits/src/mpt_circuit/extension.rs
index 4663bdea09c..04da2ed07f7 100644
--- a/zkevm-circuits/src/mpt_circuit/extension.rs
+++ b/zkevm-circuits/src/mpt_circuit/extension.rs
@@ -100,7 +100,7 @@ impl<F: Field> ExtensionGadget<F> {
             require!((FixedTableTag::ExtOddKey.expr(), first_byte, config.is_key_part_odd.expr()) =>> @FIXED);
 
             let mut branch_rlp_rlc = vec![0.expr(); 2];
-            let mut branch_rlp_word = vec![Word::zero(); 2];
+            let mut branch_rlp_word = vec![Word::zero::<Expression<F>>(); 2];
             for is_s in [true, false] {
                 // In C we have the key nibbles, we check below only for S.
                 if is_s {
diff --git a/zkevm-circuits/src/mpt_circuit/extension_branch.rs b/zkevm-circuits/src/mpt_circuit/extension_branch.rs
index 50301fd4f85..873da3e0af1 100644
--- a/zkevm-circuits/src/mpt_circuit/extension_branch.rs
+++ b/zkevm-circuits/src/mpt_circuit/extension_branch.rs
@@ -1,4 +1,4 @@
-use eth_types::Field;
+use eth_types::{Field, OpsIdentity};
 use gadgets::util::Scalar;
 use halo2_proofs::plonk::{Error, Expression, VirtualCells};
 
@@ -30,7 +30,10 @@ pub(crate) struct ExtensionBranchConfig<F> {
     branch: BranchGadget<F>,
 }
 
-impl<F: Field> ExtensionBranchConfig<F> {
+impl<F: Field + OpsIdentity<Output = F>> ExtensionBranchConfig<F>
+where
+    <F as OpsIdentity>::Output: Field,
+{
     pub fn configure(
         meta: &mut VirtualCells<'_, F>,
         cb: &mut MPTConstraintBuilder<F>,
@@ -158,7 +161,7 @@ impl<F: Field> ExtensionBranchConfig<F> {
                         branch.mod_rlc[is_s.idx()].expr(),
                         false.expr(),
                         false.expr(),
-                        Word::zero(),
+                        Word::zero::<Expression<F>>(),
                     );
                  } elsex {
                     // For the placeholder branch / extension node the values did not change, we reuse
@@ -291,7 +294,7 @@ impl<F: Field> ExtensionBranchConfig<F> {
                     mod_node_hash_rlc[is_s.idx()],
                     false,
                     false,
-                    Word::zero_f(),
+                    Word::zero::<F>(),
                 )?;
             } else {
                 KeyData::witness_store(
diff --git a/zkevm-circuits/src/mpt_circuit/helpers.rs b/zkevm-circuits/src/mpt_circuit/helpers.rs
index ffdd6975049..3c45224817c 100644
--- a/zkevm-circuits/src/mpt_circuit/helpers.rs
+++ b/zkevm-circuits/src/mpt_circuit/helpers.rs
@@ -1081,8 +1081,11 @@ impl<F: Field> IsPlaceholderLeafGadget<F> {
                     Expression::Constant(empty_hash.hi()),
                 ]),
             );
-            let is_nil_in_branch_at_mod_index =
-                IsEqualWordGadget::construct(&mut cb.base, &parent_word, &Word::zero());
+            let is_nil_in_branch_at_mod_index = IsEqualWordGadget::construct(
+                &mut cb.base,
+                &parent_word,
+                &Word::zero::<Expression<F>>(),
+            );
 
             Self {
                 is_empty_trie,
diff --git a/zkevm-circuits/src/mpt_circuit/start.rs b/zkevm-circuits/src/mpt_circuit/start.rs
index ae9d1ab40bf..7fbe0a21e02 100644
--- a/zkevm-circuits/src/mpt_circuit/start.rs
+++ b/zkevm-circuits/src/mpt_circuit/start.rs
@@ -15,16 +15,19 @@ use crate::{
     },
     util::word::Word,
 };
-use eth_types::Field;
+use eth_types::{Field, OpsIdentity};
 use gadgets::util::Scalar;
-use halo2_proofs::plonk::{Error, VirtualCells};
+use halo2_proofs::plonk::{Error, Expression, VirtualCells};
 
 #[derive(Clone, Debug, Default)]
 pub(crate) struct StartConfig<F> {
     proof_type: Cell<F>,
 }
 
-impl<F: Field> StartConfig<F> {
+impl<F: Field + OpsIdentity<Output = F>> StartConfig<F>
+where
+    <F as OpsIdentity>::Output: eth_types::Field,
+{
     pub fn configure(
         meta: &mut VirtualCells<'_, F>,
         cb: &mut MPTConstraintBuilder<F>,
@@ -40,7 +43,7 @@ impl<F: Field> StartConfig<F> {
 
             config.proof_type = cb.query_cell();
 
-            let mut root = vec![Word::zero(); 2];
+            let mut root = vec![Word::zero::<Expression<F>>(); 2];
             for is_s in [true, false] {
                 root[is_s.idx()] = root_items[is_s.idx()].word();
             }
@@ -96,7 +99,7 @@ impl<F: Field> StartConfig<F> {
         self.proof_type
             .assign(region, offset, start.proof_type.scalar())?;
 
-        let mut root = vec![Word::zero_f(); 2];
+        let mut root = vec![Word::zero::<F>(); 2];
         for is_s in [true, false] {
             root[is_s.idx()] = rlp_values[is_s.idx()].word();
         }
diff --git a/zkevm-circuits/src/mpt_circuit/storage_leaf.rs b/zkevm-circuits/src/mpt_circuit/storage_leaf.rs
index 83ada89e271..feb5e5cc302 100644
--- a/zkevm-circuits/src/mpt_circuit/storage_leaf.rs
+++ b/zkevm-circuits/src/mpt_circuit/storage_leaf.rs
@@ -1,4 +1,4 @@
-use eth_types::{Field, U256};
+use eth_types::{Field, OpsIdentity, U256};
 use gadgets::util::Scalar;
 use halo2_proofs::{
     circuit::Value,
@@ -54,7 +54,10 @@ pub(crate) struct StorageLeafConfig<F> {
     mod_extension: ModExtensionGadget<F>,
 }
 
-impl<F: Field> StorageLeafConfig<F> {
+impl<F: Field + OpsIdentity<Output = F>> StorageLeafConfig<F>
+where
+    <F as OpsIdentity>::Output: eth_types::Field,
+{
     pub fn configure(
         meta: &mut VirtualCells<'_, F>,
         cb: &mut MPTConstraintBuilder<F>,
@@ -104,7 +107,7 @@ impl<F: Field> StorageLeafConfig<F> {
             require!(config.main_data.is_below_account => true);
 
             let mut key_rlc = vec![0.expr(); 2];
-            let mut value_word = vec![Word::zero(); 2];
+            let mut value_word = vec![Word::zero::<Expression<F>>(); 2];
             let mut value_rlp_rlc = vec![0.expr(); 2];
             let mut value_rlp_rlc_mult = vec![0.expr(); 2];
 
@@ -191,7 +194,7 @@ impl<F: Field> StorageLeafConfig<F> {
 
                     // Placeholder leaves default to value `0`.
                     ifx! {is_placeholder_leaf => {
-                        require!(value_word[is_s.idx()] => Word::zero());
+                        require!(value_word[is_s.idx()] => Word::zero::<Expression<F>>());
                     }}
 
                     // Make sure the RLP encoding is correct.
@@ -246,11 +249,11 @@ impl<F: Field> StorageLeafConfig<F> {
                 ParentData::store(
                     cb,
                     &mut ctx.memory[parent_memory(is_s)],
-                    word::Word::zero(),
+                    word::Word::zero::<Expression<F>>(),
                     0.expr(),
                     true.expr(),
                     false.expr(),
-                    word::Word::zero(),
+                    word::Word::zero::<Expression<F>>(),
                 );
             }
 
@@ -395,7 +398,7 @@ impl<F: Field> StorageLeafConfig<F> {
                     address_item.word(),
                     config.main_data.new_root.expr(),
                     config.main_data.old_root.expr(),
-                    Word::zero(),
+                    Word::zero::<Expression<F>>(),
                     value_word[true.idx()].clone(),
                 );
             }};
@@ -436,7 +439,7 @@ impl<F: Field> StorageLeafConfig<F> {
         let mut key_data = vec![KeyDataWitness::default(); 2];
         let mut parent_data = vec![ParentDataWitness::default(); 2];
         let mut key_rlc = vec![0.scalar(); 2];
-        let mut value_word = vec![Word::zero_f(); 2];
+        let mut value_word = vec![Word::zero::<F>(); 2];
         for is_s in [true, false] {
             self.is_mod_extension[is_s.idx()].assign(
                 region,
@@ -596,10 +599,10 @@ impl<F: Field> StorageLeafConfig<F> {
         let mut new_value = value_word[false.idx()];
         let mut old_value = value_word[true.idx()];
         if parent_data[false.idx()].is_placeholder {
-            new_value = word::Word::zero_f();
+            new_value = word::Word::zero::<F>();
         } else if is_non_existing_proof {
-            new_value = word::Word::zero_f();
-            old_value = word::Word::zero_f();
+            new_value = word::Word::zero::<F>();
+            old_value = word::Word::zero::<F>();
         }
         mpt_config.mpt_table.assign_cached(
             region,
diff --git a/zkevm-circuits/src/util/word.rs b/zkevm-circuits/src/util/word.rs
index 98a31fa87a0..5cc982854c4 100644
--- a/zkevm-circuits/src/util/word.rs
+++ b/zkevm-circuits/src/util/word.rs
@@ -4,7 +4,7 @@
 //   limb is 256/4 = 64 bits
 
 use bus_mapping::state_db::CodeDB;
-use eth_types::{Field, ToLittleEndian, H160, H256};
+use eth_types::{Field, OpsIdentity, ToLittleEndian, H160, H256};
 use gadgets::util::{not, or, Expr};
 use halo2_proofs::{
     circuit::{AssignedCell, Region, Value},
@@ -240,6 +240,16 @@ impl<T: Clone> Word<T> {
     pub fn map<T2: Clone>(&self, mut func: impl FnMut(T) -> T2) -> Word<T2> {
         Word(WordLimbs::<T2, 2>::new([func(self.lo()), func(self.hi())]))
     }
+
+    /// zero word
+    pub fn zero<T1: OpsIdentity<Output = T>>() -> Self {
+        Self::new([T1::zero::<T>(), T1::zero::<T>()])
+    }
+
+    /// one word
+    pub fn one<T1: OpsIdentity<Output = T>>() -> Self {
+        Self::new([T1::one::<T>(), T1::zero::<T>()])
+    }
 }
 
 impl<T> std::ops::Deref for Word<T> {
@@ -354,16 +364,6 @@ impl<F: Field, T: Expr<F> + Clone> WordExpr<F> for Word<T> {
 }
 
 impl<F: Field> Word<F> {
-    /// zero word
-    pub fn zero_f() -> Self {
-        Self::new([F::ZERO, F::ZERO])
-    }
-
-    /// one word
-    pub fn one_f() -> Self {
-        Self::new([F::ONE, F::ZERO])
-    }
-
     /// Convert address (h160) to single field element.
     /// This method is Address specific
     pub fn compress_f(&self) -> F {
@@ -376,15 +376,6 @@ impl<F: Field> Word<Expression<F>> {
     pub fn from_lo_unchecked(lo: Expression<F>) -> Self {
         Self::new([lo, 0.expr()])
     }
-    /// zero word
-    pub fn zero() -> Self {
-        Self::new([0.expr(), 0.expr()])
-    }
-
-    /// one word
-    pub fn one() -> Self {
-        Self::new([1.expr(), 0.expr()])
-    }
 
     /// select based on selector. Here assume selector is 1/0 therefore no overflow check
     pub fn select<T: Expr<F> + Clone>(