Tx refund

bus-mapping/src/operation.rs

@@ -482,9 +482,9 @@ pub struct TxRefundOp {
     /// Transaction ID: Transaction index in the block starting at 1.
     pub tx_id: usize,
     /// Refund Value after the operation
-    pub value: Word,
+    pub value: u64,
     /// Refund Value before the operation
-    pub value_prev: Word,
+    pub value_prev: u64,
 }
 
 impl fmt::Debug for TxRefundOp {

eth-types/src/evm_types.rs

@@ -103,6 +103,14 @@ 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 basic storage operation
+    pub const SLOAD_GAS: Self = Self(100);
+    /// Constant cost for a storage set
+    pub const SSTORE_SET_GAS: Self = Self(20000);
+    /// Constant cost for a storage reset
+    pub const SSTORE_RESET_GAS: Self = Self(2900);
+    /// Constant cost for a storage clear
+    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

@@ -44,6 +44,7 @@ mod selfbalance;
 mod signed_comparator;
 mod signextend;
 mod sload;
+mod sstore;
 mod stop;
 mod swap;
 mod timestamp;
@@ -75,6 +76,7 @@ use selfbalance::SelfbalanceGadget;
 use signed_comparator::SignedComparatorGadget;
 use signextend::SignextendGadget;
 use sload::SloadGadget;
+use sstore::SstoreGadget;
 use stop::StopGadget;
 use swap::SwapGadget;
 use timestamp::TimestampGadget;
@@ -133,6 +135,7 @@ pub(crate) struct ExecutionConfig<F> {
     timestamp_gadget: TimestampGadget<F>,
     selfbalance_gadget: SelfbalanceGadget<F>,
     sload_gadget: SloadGadget<F>,
+    sstore_gadget: SstoreGadget<F>,
 }
 
 impl<F: Field> ExecutionConfig<F> {
@@ -268,6 +271,7 @@ impl<F: Field> ExecutionConfig<F> {
             coinbase_gadget: configure_gadget!(),
             timestamp_gadget: configure_gadget!(),
             sload_gadget: configure_gadget!(),
+            sstore_gadget: configure_gadget!(),
             step: step_curr,
             presets_map,
         };
@@ -524,6 +528,7 @@ impl<F: Field> ExecutionConfig<F> {
             }
             ExecutionState::SELFBALANCE => assign_exec_step!(self.selfbalance_gadget),
             ExecutionState::SLOAD => assign_exec_step!(self.sload_gadget),
+            ExecutionState::SSTORE => assign_exec_step!(self.sstore_gadget),
             ExecutionState::CALLDATACOPY => {
                 assign_exec_step!(self.calldatacopy_gadget)
             }