(WIP): add sstore op

eth-types/src/evm_types.rs

@@ -101,6 +101,16 @@ impl GasCost {
     pub const COLD_ACCOUNT_ACCESS_COST: Self = Self(2600);
     /// Constant cost for a warm storage read
     pub const WARM_STORAGE_READ_COST: Self = Self(100);
+
+    /// Constant cost for a warm storage read XXXXXX
+    pub const SLOAD_GAS: Self = Self(100);
+    /// Constant cost for a warm storage read XXXXXX
+    pub const SSTORE_SET_GAS: Self = Self(20000);
+    /// Constant cost for a warm storage read XXXXXX
+    pub const SSTORE_RESET_GAS: Self = Self(2900);
+    /// Constant cost for a warm storage read XXXXXX
+    pub const SSTORE_CLEARS_SCHEDULE: Self = Self(15000);
+
     /// Constant cost for a non-creation transaction
     pub const TX: Self = Self(21000);
     /// Constant cost for creation transaction

zkevm-circuits/src/evm_circuit/execution.rs

@@ -37,6 +37,7 @@ mod push;
 mod signed_comparator;
 mod signextend;
 mod stop;
+mod storage;
 mod swap;
 mod timestamp;
 
@@ -61,6 +62,7 @@ use push::PushGadget;
 use signed_comparator::SignedComparatorGadget;
 use signextend::SignextendGadget;
 use stop::StopGadget;
+use storage::SstoreGadget;
 use swap::SwapGadget;
 use timestamp::TimestampGadget;
 
@@ -111,6 +113,7 @@ pub(crate) struct ExecutionConfig<F> {
     msize_gadget: MsizeGadget<F>,
     coinbase_gadget: CoinbaseGadget<F>,
     timestamp_gadget: TimestampGadget<F>,
+    sstore_gadget: SstoreGadget<F>,
 }
 
 impl<F: FieldExt> ExecutionConfig<F> {
@@ -239,6 +242,7 @@ impl<F: FieldExt> ExecutionConfig<F> {
             msize_gadget: configure_gadget!(),
             coinbase_gadget: configure_gadget!(),
             timestamp_gadget: configure_gadget!(),
+            sstore_gadget: configure_gadget!(),
             step: step_curr,
             presets_map,
         };
@@ -489,6 +493,7 @@ impl<F: FieldExt> ExecutionConfig<F> {
             ExecutionState::TIMESTAMP => {
                 assign_exec_step!(self.timestamp_gadget)
             }
+            ExecutionState::SSTORE => assign_exec_step!(self.sstore_gadget),
             ExecutionState::ErrorOutOfGasPureMemory => {
                 assign_exec_step!(self.error_oog_pure_memory_gadget)
             }

zkevm-circuits/src/evm_circuit/execution/storage.rs

@@ -0,0 +1,3 @@
+mod sstore;
+
+pub(crate) use sstore::SstoreGadget;