feat: add sstore circuit

bus-mapping/src/operation.rs

@@ -481,9 +481,9 @@ impl Op for TxAccessListAccountStorageOp {
 pub struct TxRefundOp {
     /// Transaction ID: Transaction index in the block starting at 1.
     pub tx_id: usize,
-    /// Refund of gas after the operation
+    /// Refund Value in units of gas after the operation.
     pub value: u64,
-    /// Refund of gas before the operation
+    /// Refund Value in units of gas after the operation.
     pub value_prev: u64,
 }
 

eth-types/src/evm_types.rs

@@ -107,6 +107,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

@@ -48,6 +48,7 @@ mod selfbalance;
 mod signed_comparator;
 mod signextend;
 mod sload;
+mod sstore;
 mod stop;
 mod swap;
 mod timestamp;
@@ -83,6 +84,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;
@@ -146,6 +148,7 @@ pub(crate) struct ExecutionConfig<F> {
     selfbalance_gadget: SelfbalanceGadget<F>,
     number_gadget: NumberGadget<F>,
     sload_gadget: SloadGadget<F>,
+    sstore_gadget: SstoreGadget<F>,
 }
 
 impl<F: Field> ExecutionConfig<F> {
@@ -360,6 +363,7 @@ impl<F: Field> ExecutionConfig<F> {
             timestamp_gadget: configure_gadget!(),
             number_gadget: configure_gadget!(),
             sload_gadget: configure_gadget!(),
+            sstore_gadget: configure_gadget!(),
             step: step_curr,
             presets_map,
         };
@@ -629,6 +633,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)
             }

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

@@ -146,7 +146,7 @@ impl<F: Field> ExecutionGadget<F> for EndTxGadget<F> {
         step: &ExecStep,
     ) -> Result<(), Error> {
         let gas_used = tx.gas - step.gas_left;
-        let refund = block.rws[step.rw_indices[1]].tx_refund_value();
+        let (refund, _) = block.rws[step.rw_indices[1]].tx_refund_value_pair();
         let [caller_balance_pair, coinbase_balance_pair] =
             [step.rw_indices[2], step.rw_indices[3]].map(|idx| block.rws[idx].account_value_pair());