Skip to content
This repository has been archived by the owner on Jul 5, 2024. It is now read-only.

Commit

Permalink
cargo fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
lightsing committed Sep 18, 2023
1 parent 9d86fb1 commit 5ef7580
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 7 deletions.
8 changes: 2 additions & 6 deletions zkevm-circuits/src/evm_circuit/execution/end_tx.rs
Original file line number Diff line number Diff line change
Expand Up @@ -173,9 +173,7 @@ impl<F: Field> ExecutionGadget<F> for EndTxGadget<F> {
);

cb.require_step_state_transition(StepStateTransition {
rw_counter: Delta(
10.expr() - is_first_tx.expr() + coinbase_reward.rw_delta(),
),
rw_counter: Delta(10.expr() - is_first_tx.expr() + coinbase_reward.rw_delta()),
..StepStateTransition::any()
});
},
Expand All @@ -185,9 +183,7 @@ impl<F: Field> ExecutionGadget<F> for EndTxGadget<F> {
cb.next.execution_state_selector([ExecutionState::EndBlock]),
|cb| {
cb.require_step_state_transition(StepStateTransition {
rw_counter: Delta(
9.expr() - is_first_tx.expr() + coinbase_reward.rw_delta(),
),
rw_counter: Delta(9.expr() - is_first_tx.expr() + coinbase_reward.rw_delta()),
// We propagate call_id so that EndBlock can get the last tx_id
// in order to count processed txs.
call_id: Same,
Expand Down
1 change: 0 additions & 1 deletion zkevm-circuits/src/evm_circuit/util/common_gadget.rs
Original file line number Diff line number Diff line change
Expand Up @@ -428,7 +428,6 @@ impl<F: Field> TransferToGadget<F> {
Ok(())
}


pub(crate) fn rw_delta(&self) -> Expression<F> {
// +1 Write Account (receiver) CodeHash (account creation via code_hash update)
or::expr([
Expand Down

0 comments on commit 5ef7580

Please sign in to comment.