feat(l2): prove deposits

[LeanSerra]

Note

This is an updated version of #2209 from @xqft

Motivation

We want to prove the L2 deposits in our prover

Description

• Add to ProgramInput and ProverInputData the field deposit_logs_hash the hash that is created by hashing the concatenated transaction hashes from a batch of blocks to send to the prover
• Inside the prover add logic to for every batch:
  • Gather the deposit tx hashes for each block from the block's transactions.
  • Calculate the logs hash the same way the l1_committer does
  • Compare our resulting hash with the incoming from the ProgramInput

Closes #2199

[github-actions]

Lines of code report

Total lines added: 137
Total lines removed: 0
Total lines changed: 137

Detailed view

+----------------------------------------------------------+-------+------+
| File                                                     | Lines | Diff |
+----------------------------------------------------------+-------+------+
| ethrex/crates/l2/prover/src/backends/exec.rs             | 116   | +19  |
+----------------------------------------------------------+-------+------+
| ethrex/crates/l2/prover/zkvm/interface/pico/src/main.rs  | 98    | +19  |
+----------------------------------------------------------+-------+------+
| ethrex/crates/l2/prover/zkvm/interface/risc0/src/main.rs | 106   | +21  |
+----------------------------------------------------------+-------+------+
| ethrex/crates/l2/prover/zkvm/interface/sp1/src/main.rs   | 108   | +19  |
+----------------------------------------------------------+-------+------+
| ethrex/crates/l2/prover/zkvm/interface/src/lib.rs        | 338   | +59  |
+----------------------------------------------------------+-------+------+

[xqft]

Nice!