Co-authored-by: Igor Borodin <[email protected]>

# What ❔

After transferring to vise metrics, `mempool_` transaction stage labels
became incorrect (e.g., `mempool_Added` instead of `mempool_added`).
This PR changes them back.

## Why ❔

These labels are used on some internal Grafana dashboards.

## Checklist

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] ~Tests for the changes have been added / updated.~ *not
applicable*
- [ ] ~Documentation comments have been added / updated.~ *not
applicable*
- [x] Code has been formatted via `zk fmt` and `zk lint`.

# What ❔

Data for mainnet upgrade to version 16

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] Tests for the changes have been added / updated.
- [ ] Documentation comments have been added / updated.
- [ ] Code has been formatted via `zk fmt` and `zk lint`.

# What ❔

Refactors action queue used by EN to be more idiomatic. Covers sync
logic with tests.

## Why ❔

The idea is to reuse EN code other than the fetcher with the new sync
mechanism that will be brought by consensus.

## Checklist

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [x] Tests for the changes have been added / updated.
- [x] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.

# What ❔

With boojum upgrades will go through governor. PR adds functionality to
process such upgrades while leaving old processor as well.

## Why ❔

Prepare for boojum upgrade

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [x] Tests for the changes have been added / updated.
- [x] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.

)

# What ❔

This PR adds logic to compare the L2 miniblock hashes to
`reorg_detector` logic.

## Why ❔

Currently `reorg_detector` only considers the L1 batches and their root
hashes which
in case of a reorg on the miniblock level leaves such reorg undetected
and nodes stuck.

# What ❔

- Removes `fee_ticker` module.
- Removes `token_trading_volume` fetcher.
- Removes some (now unused) methods from DAL.
- Removes some (now unused) types.

## Why ❔

Dead code.

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] ~~Tests for the changes have been added / updated.~~
- [ ] ~~Documentation comments have been added / updated.~~
- [x] Code has been formatted via `zk fmt` and `zk lint`.

# What ❔

Allows to recover a Merkle tree from a snapshot (collection of tree
entries ordered by ascending key). The recovery procedure is
fault-tolerant (may be paused and restarted).

## Why ❔

This is one of components for recovering a node from a snapshot.

## Checklist

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [x] Tests for the changes have been added / updated.
- [x] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.

… proof wrapping (#240)

# What ❔

* fix(crypto): update snark-vk to be used in server and update args for
proof wrapping

## Why ❔

* Rn the server sends the blob with protocol version using scheduler_vk
which is different from the one used in prover(snark_scheduler_vk)

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [ *] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ *] Tests for the changes have been added / updated.
- [ *] Documentation comments have been added / updated.
- [ *] Code has been formatted via `zk fmt` and `zk lint`.

# What ❔

- fix broken links

## Why ❔

- The link is no longer valid and cannot be opened.

## Checklist

- [ ✅ ] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ✅ ] Tests for the changes have been added / updated.
- [ ✅ ] Documentation comments have been added / updated.
- [ ✅ ] Code has been formatted via `zk fmt` and `zk lint`.

# What ❔

- update Security link in README.MD

## Why ❔

- when you click on Security on README. it takes you to invalid link

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] Tests for the changes have been added / updated.
- [ ] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.

# What ❔

- fix documentation link

## Why ❔

- The link cannot be accessed.

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [x] Tests for the changes have been added / updated.
- [ ] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.

# What ❔

- Update docs

## Why ❔

<img width="1184" alt="image"
src="https://github.com/matter-labs/zksync-era/assets/148654386/0d1efcd4-4009-4f91-9f29-0b445bd2863a">

## Checklist


- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] Tests for the changes have been added / updated.
- [ ] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.

# What ❔

Updated the era-zkevm_opcode_defs dependency and minimal set of other
dependencies which required update to a compatible version. This
unlocked updated sha2 and sha3 dependencies to 0.10.8.
Prover integration test run for extra safety:
https://github.com/matter-labs/zksync-era-workflows/actions/runs/6612607366

## Why ❔

To include matter-labs/era-zkevm_opcode_defs#16
which in turn allows us to depend on up-to-date versions of sha2 and
sha3.

…refunds (#274)

# What ❔

During VM run in state keeper we save all storage refunds that are
returned by oracle. Later in basic witness generation these refunds are
reused.
Also, `zk_evm` is updated so that it now passes correct timestamps for
`estimate_refunds_for_write` queries. Correct timestamps are necessary
for VM storage oracle to rollback `returned_refunds`

## Why ❔

With new VM, pubdata tracer mutates oracle affecting storage refunds. As
this tracer is only run in state keeper and not in witness generator we
must save refunds from state keeper and use them in wit-gen.

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [x] Tests for the changes have been added / updated.
- [x] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.

# What ❔

RocksDB write stalls are still happening, this time for a different
reason. Previously, they were caused by too many immutable memtables,
this time – by too many level-0 SST files. This PR:

- Tunes RocksDB options some more (the main tuning point is [optimizing
level-style
compaction](https://docs.rs/rocksdb/latest/rocksdb/struct.Options.html#method.optimize_level_style_compaction)).
- Increases the number of retries on stall and introduces exponential
backoff.
- Introduces a dozen of RocksDB metrics that should help monitoring
RocksDB health.

## Why ❔

Having write stalls leads to panics and is obviously bad.

## Checklist

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [x] Tests for the changes have been added / updated.
- [x] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.

---------

Co-authored-by: AnastasiiaVashchuk <[email protected]>

# What ❔

- Tests actions produced by the main node fetcher. As a side effect,
adds a way to launch a JSON-RPC HTTP server in-process and adds a
primitive test for it as well.
- Refactors the main node fetcher slightly, extracting the EN–main node
client interface to a trait.

## Why ❔

- Creates reference action queue contents that may be tested against
when an alternative fetcher based on the consensus gossip network is
implemented.
- Test coverage good.

## Checklist

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [x] Tests for the changes have been added / updated.
- [x] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.