perf(l2): avoid cloning all fields from ExecutionWitnessResult

[LeanSerra]

Motivation

When proving a large batch performance was being affected because we were cloning the entire ExecutionWitnessResult struct, this meant cloning all the BlockHeaders, Code and ChainConfig for every block.

Description

• Wrap ExecutionWitnessResult in a struct that has an inner field Arc<Mutex> that implements VmDatabase trait, which can be cheaply cloned
• Remove all the Arc<Mutex<>> from ExecutionWitnessResult, remove the VmDatabase trait implementation, remove the derive Clone.

Perf Metrics

command:

TRACE_FILE=output.json TRACE_SAMPLE_RATE=100 RUST_BACKTRACE=full cargo run --release --features "sp1,l2" -- execute batch --rpc-url RPC_URL --network 65536300 13

specs:

Model Identifier: MacBookAir10,1
Chip: Apple M1
Total Number of Cores: 8 (4 performance and 4 efficiency)
Memory: 16 GB
System Firmware Version: 11881.121.1
OS Loader Version: 11881.121.1

commits:
This branch (commit 16420ed)
Main (commit ce5c47d)

• Time:
  Main: Elapsed: 147.28s
  This branch: Elapsed: 67.07s
• Samply
  Main: https://share.firefox.dev/3H2Hd5A
  This branch: https://share.firefox.dev/40yeDzP

[github-actions]

Lines of code report

Total lines added: 177
Total lines removed: 81
Total lines changed: 258

Detailed view

+---------------------------------------------------------------+-------+------+
| File                                                          | Lines | Diff |
+---------------------------------------------------------------+-------+------+
| ethrex/cmd/ef_tests/state/parser.rs                           | 223   | -31  |
+---------------------------------------------------------------+-------+------+
| ethrex/cmd/ef_tests/state/runner/levm_runner.rs               | 429   | -1   |
+---------------------------------------------------------------+-------+------+
| ethrex/cmd/ethrex_replay/src/run.rs                           | 89    | +1   |
+---------------------------------------------------------------+-------+------+
| ethrex/crates/common/serde_utils.rs                           | 504   | -40  |
+---------------------------------------------------------------+-------+------+
| ethrex/crates/common/types/block.rs                           | 756   | +2   |
+---------------------------------------------------------------+-------+------+
| ethrex/crates/common/types/block_execution_witness.rs         | 485   | +64  |
+---------------------------------------------------------------+-------+------+
| ethrex/crates/l2/prover/zkvm/interface/src/execution.rs       | 364   | +15  |
+---------------------------------------------------------------+-------+------+
| ethrex/crates/l2/prover/zkvm/interface/src/io.rs              | 156   | +73  |
+---------------------------------------------------------------+-------+------+
| ethrex/crates/networking/rpc/clients/eth/mod.rs               | 1294  | +22  |
+---------------------------------------------------------------+-------+------+
| ethrex/crates/vm/backends/levm/mod.rs                         | 543   | -1   |
+---------------------------------------------------------------+-------+------+
| ethrex/crates/vm/levm/bench/revm_comparison/src/levm_bench.rs | 70    | -1   |
+---------------------------------------------------------------+-------+------+
| ethrex/crates/vm/levm/src/opcode_handlers/system.rs           | 824   | -4   |
+---------------------------------------------------------------+-------+------+
| ethrex/crates/vm/levm/src/opcodes.rs                          | 499   | -1   |
+---------------------------------------------------------------+-------+------+
| ethrex/crates/vm/levm/src/vm.rs                               | 218   | -1   |
+---------------------------------------------------------------+-------+------+
| ethrex/crates/vm/lib.rs                                       | 12    | -1   |
+---------------------------------------------------------------+-------+------+