WIP: feat(coordinator): implement RollupProofGeneratingCoordinator for RISC-V rollup proofs

[gauravahuja]

Summary

Adds `RollupProofGeneratingCoordinator`, `RollupRequestBuilder`, and `RollupProofHandler` to `coordinator/core` for the Type-1 RISC-V conflation flow.

• Receives `Blob` events, accumulates K blobs (`Config.blobsPerRollupProof`, default 1 per the RISC-V spec decision to keep K=1 for initial rollout), then builds a `RollupProofRequestV1` via `RollupRequestBuilder`
• Submits idempotently through `RollupProverClientV1`, tracks pending `BlockIntervalProofIndex` entries, and polls for responses via `VertxPeriodicPollingService`
• Delivers `RollupProofResponseV1` to `RollupProofHandler` for persistence
• K>1 is supported for future amortisation of the rollup proof's recursive verification overhead; the `blobsPerRollupProof` config knob enables it without code changes
• Mirrors the submit-then-poll lifecycle of `BlobCompressionProofCoordinator` (Type-2 flow)

Test plan

• Unit tests: K=1 happy path, K>1 accumulation, already-proven skip on restart, retry on transient failure

---

Note

Medium Risk
New core conflation/proof orchestration on the critical blob→proof path; misconfiguration of K or polling could delay or duplicate proof handling, though idempotent submit and already-proven handling reduce restart risk.

Overview
Introduces RollupProofGeneratingCoordinator for the Type-1 RISC-V conflation path: it implements BlobCreationHandler and a periodic poller to drive rollup proof generation end-to-end.

Incoming Blob events are buffered until Config.blobsPerRollupProof (default K=1) is reached, then RollupRequestBuilder builds a RollupProofRequestV1. The coordinator submits via RollupProverClientV1, tracks in-flight BlockIntervalProofIndex values, polls up to rollupProofPollsPerTick per tick, and on success calls RollupProofHandler—including an already-proven fast path when findProofResponse returns immediately. Transient failures use AsyncRetryer with configurable backoff.

RollupRequestBuilder and RollupProofHandler are small fun interfaces for wiring request construction and persistence. Metrics cover blob intake, queue depth, pending proofs, and blob size histograms.

^{Reviewed by Cursor Bugbot for commit ba57c44. Bugbot is set up for automated code reviews on this repo. Configure here.}

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{Reviewed by Cursor Bugbot for commit ba57c44. Configure here.}

[cursor]

Colliding rollup queue metric name

Medium Severity

The pending-blob accumulation gauge is registered as compression.queue.size under LineaMetricsCategory.BLOB, the same name already used by BlobCompressionProofCoordinator. Micrometer keeps the first registration, so one supplier is ignored and the gauge reports the wrong queue. The shared counter / blocks.size / batches.size names have the same collision risk during Type-1/Type-2 coexistence.

Additional Locations (1)

• coordinator/core/src/main/kotlin/linea/coordination/riscv/rollup/RollupProofGeneratingCoordinator.kt#L67-L85

 

^{Triggered by project rule: Bugbot Review Instructions}

^{Reviewed by Cursor Bugbot for commit ba57c44. Configure here.}

[codecov]

Codecov Report

❌ Patch coverage is 0% with 131 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
...n/riscv/rollup/RollupProofGeneratingCoordinator.kt	0.00%	131 Missing ⚠️

📢 Thoughts on this report? Let us know!