feat(Prover CLI): status batch --verbose

[ColoCarletti]

This pull request introduces a new flag, verbose, to the status batch command. Retrieves detailed information about the prover jobs for each aggregation round, and circuit for a specific batch number.

To run the command:

zk f cargo run -- status batch -n [1..] --verbose

This command accepts any number of L1 batch numbers.

Example output:

$ cargo run --release -- status batch -n 1 --verbose

== Batch 1 Status ==

-- Aggregation Round 0 --
> Basic Witness Generator: Successful ✅
v Prover Jobs: In Progress ⌛️
   > VM: Successful ✅
   > DecommitmentsFilter: Successful ✅
   > Decommiter: Successful ✅
   > LogDemultiplexer: Successful ✅
   > KeccakPrecompile: In Progress ⌛️
     - Total jobs: 60
     - Successful: 4
     - In Progress: 1
     - Queued: 55
     - Failed: 0
   > RamValidation: Successful ✅
   > StorageFilter: Queued 📥
   > StorageApplicator: Successful ✅
   > EventsRevertsFilter: Queued 📥
   > L1MessagesRevertsFilter: Queued 📥
   > L1MessagesHasher: Queued 📥
   > EIP4844Repack: Queued 📥

-- Aggregation Round 1 --
v Leaf Witness Generator: In Progress ⌛️
   > VM: Successful ✅
   > DecommitmentsFilter: Successful ✅
   > Decommiter: Successful ✅
   > LogDemultiplexer: Successful ✅
   > KeccakPrecompile: Waiting for Proof ⏱️
   > RamValidation: Successful ✅
   > StorageFilter: Waiting for Proof ⏱️
   > StorageApplicator: Successful ✅
   > EventsRevertsFilter: Waiting for Proof ⏱️
   > L1MessagesRevertsFilter: Waiting for Proof ⏱️
   > L1MessagesHasher: Waiting for Proof ⏱️
   > EIP4844Repack: Waiting for Proof ⏱️
> Prover Jobs: Successful ✅

-- Aggregation Round 2 --
v Node Witness Generator: In Progress ⌛️
   > VM: Successful ✅
   > DecommitmentsFilter: Successful ✅
   > Decommiter: Successful ✅
   > LogDemultiplexer: Successful ✅
   > KeccakPrecompile: Waiting for Proof ⏱️
   > RamValidation: Successful ✅
   > StorageFilter: Waiting for Proof ⏱️
   > StorageApplicator: Successful ✅
   > EventsRevertsFilter: Waiting for Proof ⏱️
   > L1MessagesRevertsFilter: Waiting for Proof ⏱️
   > L1MessagesHasher: Waiting for Proof ⏱️
   > EIP4844Repack: Waiting for Proof ⏱️
> Prover Jobs: Successful ✅

-- Aggregation Round 3 --
 > Recursion Tip: Waiting for Proof ⏱️

-- Aggregation Round 4 --
 > Scheduler: Waiting for Proof ⏱️

-- Compression --
 > Compressor: Jobs not found 🚫

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.
• Spellcheck has been run via zk spellcheck.

[Artemka374]

LGTM overall, but agree with comments above

[Oppen]

@Artemka374 there's been an issue with the merge queue. This job failed: https://github.com/matter-labs/zksync-era/actions/runs/9082768899/job/24959975241

$ yarn workspace zk build
$ tsc
Done in 2.55s.
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  3 4096M    3  148M    0     0   150M      0  0:00:27 --:--:--  0:00:27  150M
  7 4096M    7  312M    0     0   156M      0  0:00:26  0:00:01  0:00:25  156M
 11 4096M   11  476M    0     0   159M      0  0:00:25  0:00:02  0:00:23  159M
 14 4096M   14  612M    0     0   153M      0  0:00:26  0:00:03  0:00:23  153M
 16 4096M   16  692M    0     0   153M      0  0:00:26  0:00:04  0:00:22  153M
curl: (56) Recv failure: Connection reset by peer

[ilitteri]

@Artemka374 there's been an issue with the merge queue. This job failed: https://github.com/matter-labs/zksync-era/actions/runs/9082768899/job/24959975241

$ yarn workspace zk build
$ tsc
Done in 2.55s.
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  3 4096M    3  148M    0     0   150M      0  0:00:27 --:--:--  0:00:27  150M
  7 4096M    7  312M    0     0   156M      0  0:00:26  0:00:01  0:00:25  156M
 11 4096M   11  476M    0     0   159M      0  0:00:25  0:00:02  0:00:23  159M
 14 4096M   14  612M    0     0   153M      0  0:00:26  0:00:03  0:00:23  153M
 16 4096M   16  692M    0     0   153M      0  0:00:26  0:00:04  0:00:22  153M
curl: (56) Recv failure: Connection reset by peer

Yep, we'll probably need to re-queue until it passes