Trait sov_rollup_interface::zk::ValidityConditionChecker

pub trait ValidityConditionChecker<Condition: ValidityCondition>: BorshDeserialize + BorshSerialize + Debug {
    type Error: Into<Error>;

    // Required method
    fn check(&mut self, condition: &Condition) -> Result<(), Self::Error>;
}

This trait expresses that a type can check a validity condition.

Required Associated Types

type Error: Into<Error>

The error type returned when a ValidityCondition is invalid.

Required Methods

fn check(&mut self, condition: &Condition) -> Result<(), Self::Error>

Check a validity condition

Implementors