Struct sov_chain_state::StateTransitionId

pub struct StateTransitionId<Da: DaSpec> { /* private fields */ }

Structure that contains the information needed to represent a single state transition.

Implementations

impl<Da: DaSpec> StateTransitionId<Da>

pub fn new( da_block_hash: Da::SlotHash, post_state_root: [u8; 32], validity_condition: Da::ValidityCondition ) -> Self

Creates a new state transition. Only available for testing as we only want to create new state transitions from existing TransitionInProgress.

impl<Da: DaSpec> StateTransitionId<Da>

pub fn compare_hashes( &self, da_block_hash: &Da::SlotHash, post_state_root: &[u8; 32] ) -> bool

Compare the transition block hash and state root with the provided input couple. If the pairs are equal, return true.

pub fn post_state_root(&self) -> [u8; 32]

Returns the post state root of a state transition

pub fn da_block_hash(&self) -> &Da::SlotHash

Returns the da block hash of a state transition

pub fn validity_condition(&self) -> &Da::ValidityCondition

Returns the validity condition associated with the transition

pub fn validity_condition_check<Checker: ValidityConditionChecker<Da::ValidityCondition>>( &self, checker: &mut Checker ) -> Result<(), <Checker as ValidityConditionChecker<Da::ValidityCondition>>::Error>

Checks the validity condition of a state transition

Trait Implementations

impl<Da: DaSpec> BorshDeserialize for StateTransitionId<Da>where Da::SlotHash: BorshDeserialize, [u8; 32]: BorshDeserialize, Da::ValidityCondition: BorshDeserialize,

fn deserialize_reader<R: Read>(reader: &mut R) -> Result<Self, Error>

fn deserialize(buf: &mut &[u8]) -> Result<Self, Error>

Deserializes this instance from a given slice of bytes. Updates the buffer to point at the remaining bytes.

fn try_from_slice(v: &[u8]) -> Result<Self, Error>

Deserialize this instance from a slice of bytes.

fn try_from_reader<R>(reader: &mut R) -> Result<Self, Error>where R: Read,

impl<Da: DaSpec> BorshSerialize for StateTransitionId<Da>where Da::SlotHash: BorshSerialize, [u8; 32]: BorshSerialize, Da::ValidityCondition: BorshSerialize,

fn serialize<W: Write>(&self, writer: &mut W) -> Result<(), Error>

fn try_to_vec(&self) -> Result<Vec<u8, Global>, Error>

Serialize this instance into a vector of bytes.

impl<Da: Clone + DaSpec> Clone for StateTransitionId<Da>where Da::SlotHash: Clone, Da::ValidityCondition: Clone,

fn clone(&self) -> StateTransitionId<Da>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Da: Debug + DaSpec> Debug for StateTransitionId<Da>where Da::SlotHash: Debug, Da::ValidityCondition: Debug,

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

Formats the value using the given formatter.

impl<'de, Da: DaSpec> Deserialize<'de> for StateTransitionId<Da>where Da::SlotHash: Deserialize<'de>, Da::ValidityCondition: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Da: PartialEq + DaSpec> PartialEq<StateTransitionId<Da>> for StateTransitionId<Da>where Da::SlotHash: PartialEq, Da::ValidityCondition: PartialEq,

fn eq(&self, other: &StateTransitionId<Da>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<Da: DaSpec> Serialize for StateTransitionId<Da>where Da::SlotHash: Serialize, Da::ValidityCondition: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<Da: Eq + DaSpec> Eq for StateTransitionId<Da>where Da::SlotHash: Eq, Da::ValidityCondition: Eq,

impl<Da: DaSpec> StructuralEq for StateTransitionId<Da>

impl<Da: DaSpec> StructuralPartialEq for StateTransitionId<Da>