diff --git a/zkevm-circuits/src/evm_circuit/execution.rs b/zkevm-circuits/src/evm_circuit/execution.rs index d746780e9be..e32bc6c9d8e 100644 --- a/zkevm-circuits/src/evm_circuit/execution.rs +++ b/zkevm-circuits/src/evm_circuit/execution.rs @@ -322,7 +322,7 @@ pub struct ExecutionConfig { signextend_gadget: Box>, sload_gadget: Box>, sstore_gadget: Box>, - tload_gadget: Box>, + // tload_gadget: Box>, tstore_gadget: Box>, stop_gadget: Box>, swap_gadget: Box>, @@ -653,7 +653,7 @@ impl ExecutionConfig { signextend_gadget: configure_gadget!(), sload_gadget: configure_gadget!(), sstore_gadget: configure_gadget!(), - tload_gadget: configure_gadget!(), + // tload_gadget: configure_gadget!(), tstore_gadget: configure_gadget!(), stop_gadget: configure_gadget!(), swap_gadget: configure_gadget!(), @@ -1583,7 +1583,7 @@ impl ExecutionConfig { ExecutionState::SIGNEXTEND => assign_exec_step!(self.signextend_gadget), ExecutionState::SLOAD => assign_exec_step!(self.sload_gadget), ExecutionState::SSTORE => assign_exec_step!(self.sstore_gadget), - ExecutionState::TLOAD => assign_exec_step!(self.tload_gadget), + // ExecutionState::TLOAD => assign_exec_step!(self.tload_gadget), ExecutionState::TSTORE => assign_exec_step!(self.tstore_gadget), ExecutionState::STOP => assign_exec_step!(self.stop_gadget), ExecutionState::SWAP => assign_exec_step!(self.swap_gadget), diff --git a/zkevm-circuits/src/evm_circuit/execution/tload.rs b/zkevm-circuits/src/evm_circuit/execution/tload.rs index 6a2a78ac822..504b091a1c5 100644 --- a/zkevm-circuits/src/evm_circuit/execution/tload.rs +++ b/zkevm-circuits/src/evm_circuit/execution/tload.rs @@ -34,7 +34,7 @@ pub(crate) struct TloadGadget { impl ExecutionGadget for TloadGadget { const NAME: &'static str = "TLOAD"; - const EXECUTION_STATE: ExecutionState = ExecutionState::TLOAD; + const EXECUTION_STATE: ExecutionState = ExecutionState::ADDMOD; // TODO ExecutionState::TLOAD; fn configure(cb: &mut EVMConstraintBuilder) -> Self { let opcode = cb.query_cell(); diff --git a/zkevm-circuits/src/evm_circuit/step.rs b/zkevm-circuits/src/evm_circuit/step.rs index d045f184517..6dee6257b23 100644 --- a/zkevm-circuits/src/evm_circuit/step.rs +++ b/zkevm-circuits/src/evm_circuit/step.rs @@ -119,7 +119,7 @@ pub enum ExecutionState { MSIZE, GAS, JUMPDEST, - TLOAD, + // TLOAD, TSTORE, /// PUSH0, PUSH1, PUSH2, ..., PUSH32 PUSH, @@ -311,7 +311,7 @@ impl From<&ExecStep> for ExecutionState { OpcodeId::SHL | OpcodeId::SHR => ExecutionState::SHL_SHR, OpcodeId::SLOAD => ExecutionState::SLOAD, OpcodeId::SSTORE => ExecutionState::SSTORE, - OpcodeId::TLOAD => ExecutionState::TLOAD, + // OpcodeId::TLOAD => ExecutionState::TLOAD, OpcodeId::TSTORE => ExecutionState::TSTORE, OpcodeId::CALLDATASIZE => ExecutionState::CALLDATASIZE, OpcodeId::CALLDATACOPY => ExecutionState::CALLDATACOPY, @@ -510,7 +510,7 @@ impl ExecutionState { Self::MSIZE => vec![OpcodeId::MSIZE], Self::GAS => vec![OpcodeId::GAS], Self::JUMPDEST => vec![OpcodeId::JUMPDEST], - Self::TLOAD => vec![OpcodeId::TLOAD], + // Self::TLOAD => vec![OpcodeId::TLOAD], Self::TSTORE => vec![OpcodeId::TSTORE], Self::PUSH => vec![ OpcodeId::PUSH0,