Struct L1Retrieval

pub struct L1Retrieval<DAP, P>
where
    DAP: DataAvailabilityProvider,
    P: L1RetrievalProvider + OriginAdvancer + OriginProvider + SignalReceiver,
{
    pub prev: P,
    pub provider: DAP,
    pub next: Option<BlockInfo>,
}

The L1Retrieval stage of the derivation pipeline.

For each L1 BlockInfo pulled from the L1Traversal stage, L1Retrieval fetches the associated data from a specified DataAvailabilityProvider.

Fields

prev: P

The previous stage in the pipeline.

provider: DAP

The data availability provider to use for the L1 retrieval stage.

next: Option<BlockInfo>

The current block ref.

Implementations

impl<DAP, P> L1Retrieval<DAP, P>

where DAP: DataAvailabilityProvider, P: L1RetrievalProvider + OriginAdvancer + OriginProvider + SignalReceiver,

pub const fn new(prev: P, provider: DAP) -> Self

Creates a new L1Retrieval stage with the previous L1Traversal stage and given DataAvailabilityProvider.

Trait Implementations

impl<DAP, P> Debug for L1Retrieval<DAP, P>

where DAP: DataAvailabilityProvider + Debug, P: L1RetrievalProvider + OriginAdvancer + OriginProvider + SignalReceiver + Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<DAP, P> FrameQueueProvider for L1Retrieval<DAP, P>

where DAP: DataAvailabilityProvider + Send, P: L1RetrievalProvider + OriginAdvancer + OriginProvider + SignalReceiver + Send,

type Item = <DAP as DataAvailabilityProvider>::Item

An item that can be converted into a byte array.

fn next_data<'life0, 'async_trait>( &'life0 mut self, ) -> Pin<Box<dyn Future<Output = PipelineResult<Self::Item>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Retrieves the next data item from the L1 retrieval stage. If there is data, it pushes it into the next stage. If there is no data, it returns an error.

impl<DAP, P> OriginAdvancer for L1Retrieval<DAP, P>

where DAP: DataAvailabilityProvider + Send, P: L1RetrievalProvider + OriginAdvancer + OriginProvider + SignalReceiver + Send,

fn advance_origin<'life0, 'async_trait>( &'life0 mut self, ) -> Pin<Box<dyn Future<Output = PipelineResult<()>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Advances the internal state of the lowest stage to the next l1 origin. This method is the equivalent of the reference implementation advance_l1_block.

impl<DAP, P> OriginProvider for L1Retrieval<DAP, P>

where DAP: DataAvailabilityProvider, P: L1RetrievalProvider + OriginAdvancer + OriginProvider + SignalReceiver,

fn origin(&self) -> Option<BlockInfo>

Returns the optional L1 BlockInfo origin.

impl<DAP, P> SignalReceiver for L1Retrieval<DAP, P>

where DAP: DataAvailabilityProvider + Send, P: L1RetrievalProvider + OriginAdvancer + OriginProvider + SignalReceiver + Send,

fn signal<'life0, 'async_trait>( &'life0 mut self, signal: Signal, ) -> Pin<Box<dyn Future<Output = PipelineResult<()>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Receives a signal from the driver.