Make ExecutionOutcome generic over receipt collection type

[emhane]

Describe the feature

Make ExecutionOutcome generic over receipt collection. Require trait bound ExecutionOutcome<T: Receipts> in AutoSealBuilder, in order to remove optimism feature from the AutoSealBuilder. Somehow the ExecutionOutcome must be linked to the Executor so it can be customised at sdk level instead, probably requiring trait bound Executor<Output: Into<ExecutionOutcome<T: Receipts>>>.

The trait Receipts doesn't exist yet, and needs to be smthg like

pub trait Receipts {
    fn receipts_root_slow(&self) -> Result<Option<B256>, Self::Error>;
}

so the optimism receipts collection would have to look smthg like

struct OpReceipts<'a> {
    timestamp: u64,
    block_number: u64,
    chain_spec: &'a ChainSpec,
    receipts: Vec<ReceiptWithBloom<OpReceipt>>,
}

and simple ethereum type

struct Receipts {
    block_number: u64,
    receipts: Vec<ReceiptWithBloom<Receipt>>,
}

Additional context

No response

Tasks

Preview Give feedback

1. Move more optimism receipt checks to optimism crate #10713
   A-op-reth C-debt D-complex +3
   

[emhane]

@garwahl , if this description makes sense to you, you're very welcome to implement it and close #10932

[garwahl]

@emhane I'm sure it'll make more sense as I dig in 😅 I can give it a crack, I'm sure I'll have more questions as I go

[emhane]

hey @garwahl did you start with this? will scope this out into smaller issues otherwise.

would like to point out that the sketch of the solution in the description uses a vector of receipts with bloom, when it should actually be a vector of vectors of receipts (without bloom).

[garwahl]

hey @garwahl did you start with this? will scope this out into smaller issues otherwise.

would like to point out that the sketch of the solution in the description uses a vector of receipts with bloom, when it should actually be a vector of vectors of receipts (without bloom).

Hey not yet, no worries feel free to break it up into smaller tasks and I'll jump on those

[greged93]

@emhane is this still ongoing? Happy to take a look into it

[emhane]

will need @mattsse input here since he closed #11314 which solved this