feat(exex): OP Proposer ExEx

[0xKitsune]

This PR implements the OP Proposer inside an ExEx, addressing #8174 . We are opening this draft for initial feedback.

Within the core logic, upon each ExecutionNotification the nextBlockNumber is fetched from the L2OutputOracle and compared against the current L2 block. If the target_block is equal to the current block, the L2Output is constructed and submitted to L1. Since Reth does not currently deliver historical storage proofs, we store the L2Output in persistent storage.

If the current L2 block is within the safe head, then we submit the latest L2Output transaction, otherwise we wait to submit until the latest L2 block is safe.

impl<T, N, P> OpProposer<T, N, P>
where
   T: Transport + Clone,
   N: Network,
   P: Provider<T, N>,
{
// --snip--

 pub fn run<Node: FullNodeComponents>(
       &self,
       mut ctx: ExExContext<Node>,
       mut l2_output_db: L2OutputDb,
       l2_output_oracle: Arc<L2OutputOracleInstance<T, Arc<P>, N>>,
       mut transaction_manager: TxManager<T, N, P>,
   ) -> impl Future<Output = eyre::Result<()>> {
      
      // --snip--

       async move {
           while let Some(notification) = ctx.notifications.recv().await {
             // --snip--
             
               // Get the target block number from the L2OutputOracle and the latest L2 block
               let target_block = l2_output_oracle.nextBlockNumber().call().await?._0.to::<u64>();
               let current_l2_block = l2_provider.last_block_number()?;
               
               // Skip to the next block if the target block is not reached
               if target_block > current_block{
                  continue;
               }
               
               let l2_output = get_l2_output(l2_output_db, l2_output_oracle.clone()).await?;

               // Check the L2 Safe Head. If the target block is within the safe head, submit the proposal
               let safe_head = get_l2_safe_head(rollup_provider.clone()).await?;
               if target_block <= safe_head {
                   transaction_manager.propose_l2_output(&l2_output_oracle, l2_output).await?;
               }
           }

           Ok(())
       }
   }

[mattsse]

this is great, only have a few suggestions and nits

[mattsse]

I've pushed a few dep changes

I'd like to see a few more docs and debug impls for the structs like OpProposer and txManager

[mattsse]

this does not spawn but runs the jobs concurrently

maybe those should be actually spawned?

[mattsse]

this should return an error

[0xKitsune]

No problem I can update this later today! I am also planning to update the PR to be compatible with the upcoming fault proof updates.