Trait sov_rollup_interface::zk::ValidityCondition

source · 
pub trait ValidityCondition: Serialize + DeserializeOwned + BorshDeserialize + BorshSerialize + Debug + Clone + Copy + PartialEq + Send + Sync + Eq {
    type Error: Into<Error>;

    // Required method
    fn combine<H: Digest>(&self, rhs: Self) -> Result<Self, Self::Error>;
}
Expand description

This trait is implemented on the struct/enum which expresses the validity condition

Required Associated Types§

source

type Error: Into<Error>

The error type returned when two ValidityConditions cannot be combined.

Required Methods§

source

fn combine<H: Digest>(&self, rhs: Self) -> Result<Self, Self::Error>

Combine two conditions into one (typically run inside a recursive proof). Returns an error if the two conditions cannot be combined

Implementors§