chore(l2): bump revm + sp1

[fkrause98]

Motivation

We need a new version of REVM for some changes.

Description

• Bump revm to version 19.
• Bump revm's dependencies.
• Bump sp1 to v4.
• This breaks risc0 support, since revm 19 needs rust 1.82, and risc0 supports up-to rust 1.81.

[github-actions]

| File                                                                         | Lines | Diff |
+------------------------------------------------------------------------------+-------+------+
| /home/runner/work/ethrex/ethrex/crates/l2/prover/zkvm/interface/build.rs     | 15    | +7   |
+------------------------------------------------------------------------------+-------+------+
| /home/runner/work/ethrex/ethrex/crates/l2/utils/prover/save_state.rs         | 437   | +1   |
+------------------------------------------------------------------------------+-------+------+
| /home/runner/work/ethrex/ethrex/crates/vm/backends/revm.rs                   | 457   | -24  |
+------------------------------------------------------------------------------+-------+------+
| /home/runner/work/ethrex/ethrex/crates/vm/levm/src/opcode_handlers/system.rs | 718   | -3   |
+------------------------------------------------------------------------------+-------+------+

Total lines added: +8
Total lines removed: 27
Total lines changed: 35

[github-actions]

Benchmark Results Comparison

PR Results

Benchmark Results: Factorial

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
revm_Factorial	238.0 ± 0.7	237.2	239.5	1.00
levm_Factorial	909.0 ± 9.2	899.2	923.7	3.82 ± 0.04

Benchmark Results: Factorial - Recursive

Command	Mean [s]	Min [s]	Max [s]	Relative
revm_FactorialRecursive	1.483 ± 0.097	1.366	1.629	1.00
levm_FactorialRecursive	15.651 ± 0.102	15.487	15.757	10.55 ± 0.70

Benchmark Results: Fibonacci

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
revm_Fibonacci	210.5 ± 1.2	209.2	213.3	1.00
levm_Fibonacci	901.9 ± 14.5	887.2	927.4	4.29 ± 0.07

Benchmark Results: ManyHashes

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
revm_ManyHashes	8.7 ± 0.1	8.6	8.8	1.00
levm_ManyHashes	18.2 ± 0.2	17.9	18.6	2.09 ± 0.03

Benchmark Results: BubbleSort

Command	Mean [s]	Min [s]	Max [s]	Relative
revm_BubbleSort	3.266 ± 0.017	3.244	3.293	1.00
levm_BubbleSort	6.076 ± 0.022	6.036	6.116	1.86 ± 0.01

Benchmark Results: ERC20 - Transfer

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
revm_ERC20Transfer	252.4 ± 0.9	251.1	253.9	1.00
levm_ERC20Transfer	541.8 ± 6.4	534.4	556.4	2.15 ± 0.03

Benchmark Results: ERC20 - Mint

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
revm_ERC20Mint	142.9 ± 0.6	142.2	144.0	1.00
levm_ERC20Mint	353.6 ± 2.6	350.7	357.3	2.48 ± 0.02

Benchmark Results: ERC20 - Approval

Command	Mean [s]	Min [s]	Max [s]	Relative
revm_ERC20Approval	1.044 ± 0.004	1.039	1.051	1.00
levm_ERC20Approval	2.032 ± 0.007	2.023	2.044	1.95 ± 0.01

Main Results

Benchmark Results: Factorial

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
revm_Factorial	244.0 ± 10.1	238.5	272.5	1.00
levm_Factorial	906.1 ± 8.2	896.1	918.5	3.71 ± 0.16

Benchmark Results: Factorial - Recursive

Command	Mean [s]	Min [s]	Max [s]	Relative
revm_FactorialRecursive	1.464 ± 0.080	1.392	1.616	1.00
levm_FactorialRecursive	15.657 ± 0.093	15.489	15.779	10.70 ± 0.59

Benchmark Results: Fibonacci

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
revm_Fibonacci	211.0 ± 0.5	209.9	211.5	1.00
levm_Fibonacci	915.7 ± 38.0	888.6	1017.7	4.34 ± 0.18

Benchmark Results: ManyHashes

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
revm_ManyHashes	8.7 ± 0.1	8.6	8.8	1.00
levm_ManyHashes	18.1 ± 0.2	17.9	18.5	2.09 ± 0.03

Benchmark Results: BubbleSort

Command	Mean [s]	Min [s]	Max [s]	Relative
revm_BubbleSort	3.294 ± 0.027	3.258	3.341	1.00
levm_BubbleSort	6.086 ± 0.041	6.048	6.176	1.85 ± 0.02

Benchmark Results: ERC20 - Transfer

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
revm_ERC20Transfer	256.1 ± 2.0	254.3	260.6	1.00
levm_ERC20Transfer	542.3 ± 2.3	540.1	547.5	2.12 ± 0.02

Benchmark Results: ERC20 - Mint

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
revm_ERC20Mint	144.0 ± 1.4	142.3	146.6	1.00
levm_ERC20Mint	354.5 ± 2.7	351.5	359.3	2.46 ± 0.03

Benchmark Results: ERC20 - Approval

Command	Mean [s]	Min [s]	Max [s]	Relative
revm_ERC20Approval	1.066 ± 0.006	1.060	1.079	1.00
levm_ERC20Approval	2.053 ± 0.038	2.014	2.125	1.93 ± 0.04

[JulianVentura]

LGTM, just a few comments

[fborello-lambda]

🚀