fix CI

# What ❔

* Fixing compilation error in Cargo
* and clippy warning

## Why ❔

* To make CI pass

# What ❔

* Changed witness for snark wrapper - to pass the previous AUX and META
fields
* updated snark_wrapper_verification key to the latest version
* updated the vk_hash to match the newly generated JSON, and made sure
that it is being loaded at genesis.

## Why ❔

* to make boojnet work locally

# What ❔

* Adding zk status prover command to see the current state of FRI prover
* mostly focused on local deployments (might require some changes before
we run it on boojnet)

## Why ❔

* to better see what's going on in the prover pipeline

## Checklist

```shell
zk status prover
```


![image](https://github.com/matter-labs/zksync-era/assets/128217157/75cf1137-2479-449d-98cd-0eda75091bf6)

…inputs (#157)

# What ❔

* We were passing incorrect argument to the prover

## Why ❔

* to make prover work, the original problem was a simple bug/typo.

# What ❔

* Added CONTRACTS_PROVER_AT_GENESIS flag to control which prover should
be used during genesis
* Updated zk status command to compare the keys in the database and in
the contracts

## Why ❔

* without this flag, we were pushing the old keys to the contracts,
which resulted in failed proofs.

# What ❔

Prover and Witgen now use snark wrapper VKs to pick their jobs.

## Why ❔

`prover_protocol_versions` table had SNARK wrapper VKs, but prover and
witgens picked jobs based on FRI scheduler VKs.

Since if one changes the other also does, we can use the SNARK one
instead, since it's also used in `eth_sender`.

---------

Co-authored-by: Stanislav Bezkorovainyi <[email protected]>

# What ❔

Checking out latest 'dev' branches in era-contracts and
era-system-contracts

## Why ❔

To have the latest contracts changes after boojum-integration branches
were merged to dev

## 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 ❔

Merge main branch into boojum-integration

## Why ❔

To not get far behind

## 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`.

---------

Signed-off-by: Danil <[email protected]>
Co-authored-by: Yury Akudovich <[email protected]>
Co-authored-by: Shahar Kaminsky <[email protected]>
Co-authored-by: Aleksandr Stepanov <[email protected]>
Co-authored-by: Maksym <[email protected]>
Co-authored-by: Danil <[email protected]>
Co-authored-by: Alex Ostrovski <[email protected]>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: agolajko <[email protected]>
Co-authored-by: AnastasiiaVashchuk <[email protected]>

# What ❔

Use SNARK wrapper VK instead of FRI scheduler VK in proof_data_handler

## Why ❔

It will be saved to `prover_fri_protocol_versions`, and we need them
consistent with `protocol_versions`.


## 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`.

…-boojum

chore: Merge main into boojum-integration

…tegration

chore: Merge main into boojum integration

feat: Use 1.4.0 in vm crate

fix(boojum): remove extra code from state crate

…ubdata required

chore: Merge main into boojum

feat(vm): update pubdata fees calculation

Signed-off-by: Danil <[email protected]>

This reverts commit 0967ba0.

This reverts commit f802bf3.

…-boojum-again

…-again

chore: Merge main into boojum-integration

…tegration-main

chore: Sync boojum integration with main

…er-labs#377)

Commenting out contract-verification test, as it is the only part that
gets broken by hardhat-vyper plugin.

To make CI work. After
NomicFoundation/hardhat#4552 is merged and
released, dependencies should be bumped and test should be restored.

<!-- 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`.

…-rules-of-repositories

Signed-off-by: Danil <[email protected]>

…evm-v140

feat(vm): use zkevm v140