Enum ControlEvent

pub enum ControlEvent {
    InvalidateBlock(B256),
    ProviderL1(BlockInfo),
    Reset {
        local_unsafe: Option<BlockInfo>,
        cross_unsafe: Option<BlockInfo>,
        local_safe: Option<BlockInfo>,
        cross_safe: Option<BlockInfo>,
        finalized: Option<BlockInfo>,
    },
    UpdateCrossSafe(BlockInfo),
    UpdateCrossUnsafe(BlockInfo),
    UpdateFinalized(BlockInfo),
}

Control Event

The ControlEvent is an action performed by the supervisor on the L2 consensus node, in this case the kona-node.

Variants

InvalidateBlock(B256)

Invalidates a specified block.

Based on some dependency or L1 changes, the supervisor can instruct the L2 to invalidate a specific block.

ProviderL1(BlockInfo)

The supervisor sends the next L1 block to the node. Ideally sent after the node emits exhausted-l1.

Reset

Forces a reset to a specific local-unsafe/local-safe/finalized starting point only if the blocks did exist. Resets may override local-unsafe, to reset the very end of the chain. Resets may override local-safe, since post-interop we need the local-safe block derivation to continue.

Fields

local_unsafe: Option<BlockInfo>

The local-unsafe block to reset to.

cross_unsafe: Option<BlockInfo>

The cross-unsafe block to reset to.

local_safe: Option<BlockInfo>

The local-safe block to reset to.

cross_safe: Option<BlockInfo>

The cross-safe block to reset to.

finalized: Option<BlockInfo>

The finalized block to reset to.

UpdateCrossSafe(BlockInfo)

Signal that a block can be promoted to cross-safe.

UpdateCrossUnsafe(BlockInfo)

Signal that a block can be promoted to cross-unsafe.

UpdateFinalized(BlockInfo)

Signal that a block can be marked as finalized.

Trait Implementations

impl Clone for ControlEvent

fn clone(&self) -> ControlEvent

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ControlEvent

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

Formats the value using the given formatter.

impl PartialEq for ControlEvent

fn eq(&self, other: &ControlEvent) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ControlEvent

impl StructuralPartialEq for ControlEvent