feat(l2): enable distributed proving and multi-batch verification#6158

Open

avilagaston9 wants to merge 27 commits intomainfrom

feat/l2/distributed-proving

Commits on Feb 9, 2026

Enable distributed proving in the L2 proof coordinator and multi-batch
avilagaston9
committed
Remove verifyBatch() from OnChainProposer contracts, interfaces, and Timelock
avilagaston9
committed
Move BatchVerified event emission into _verifyBatchInternal so it fires
avilagaston9
committed
Reword comment about DB-behind-on-chain sync to be self-contained
avilagaston9
committed
Extract invalid_proof_type() and try_delete_invalid_proof() helpers in the
avilagaston9
committed
Extract send_single_batch_proof() to encapsulate the logic for sending a
avilagaston9
committed
Consolidate the invalid proof error handling into a single if-block that
avilagaston9
committed
Merge request_timestamp and assignments maps in the proof coordinator into
avilagaston9
committed
Move all_proofs_exist check into next_batch_to_assign so the proof coordinator
avilagaston9
committed
Return prover input directly from next_batch_to_assign to avoid a redundant
avilagaston9
committed
Track proof coordinator assignments per (batch_number, prover_type) instead of
avilagaston9
committed
Align prover_type changes with PR #6157 to avoid merge conflicts: use todo!()
avilagaston9
committed
Add missing prover_type field to BatchRequest in the TDX quote-gen sender,
avilagaston9
committed

Commits on Feb 10, 2026

Commits on Feb 11, 2026