Enum AttributesMatch

pub enum AttributesMatch {
    Match,
    Mismatch(AttributesMismatch),
}

Result of validating payload attributes against an execution layer block.

Used to verify that proposed payload attributes match the actual executed block, ensuring consistency between the rollup derivation process and execution layer. Validation includes withdrawals, transactions, fees, and other block properties.

Examples

use kona_engine::AttributesMatch;
use kona_genesis::RollupConfig;
use kona_protocol::OpAttributesWithParent;

let config = RollupConfig::default();
let match_result = AttributesMatch::check_withdrawals(&config, &attributes, &block);

if match_result.is_match() {
    println!("Attributes are valid for this block");
}

Variants

Match

The payload attributes are consistent with the block.

Mismatch(AttributesMismatch)

The attributes do not match the block (contains mismatch details).

Implementations

impl AttributesMatch

pub const fn is_match(&self) -> bool

Returns true if the attributes match the block.

pub const fn is_mismatch(&self) -> bool

Returns true if the attributes do not match the block.

pub fn check_withdrawals( config: &RollupConfig, attributes: &OpAttributesWithParent, block: &Block<Transaction>, ) -> Self

Checks that withdrawals for a block and attributes match.

pub fn check( config: &RollupConfig, attributes: &OpAttributesWithParent, block: &Block<Transaction>, ) -> Self

Checks if the specified OpAttributesWithParent matches the specified Block. Returns AttributesMatch::Match if they match, otherwise returns AttributesMatch::Mismatch.

Trait Implementations

impl Clone for AttributesMatch

fn clone(&self) -> AttributesMatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AttributesMatch

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

Formats the value using the given formatter.

impl From<AttributesMismatch> for AttributesMatch

fn from(mismatch: AttributesMismatch) -> Self

Converts to this type from the input type.

impl PartialEq for AttributesMatch

fn eq(&self, other: &AttributesMatch) -> 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 Copy for AttributesMatch

impl Eq for AttributesMatch

impl StructuralPartialEq for AttributesMatch