Struct sov_modules_api::optimistic::Attestation

pub struct Attestation<Da, StateProof>where
    Da: DaSpec,{
    pub initial_state_root: [u8; 32],
    pub da_block_hash: <Da as DaSpec>::SlotHash,
    pub post_state_root: [u8; 32],
    pub proof_of_bond: ProofOfBond<StateProof>,
}

An attestation that a particular DA layer block transitioned the rollup state to some value

Fields

initial_state_root: [u8; 32]

The alleged state root before applying the contents of the da block

da_block_hash: <Da as DaSpec>::SlotHash

The hash of the block in which the transition occurred

post_state_root: [u8; 32]

The alleged post-state root

proof_of_bond: ProofOfBond<StateProof>

A proof that the attester was bonded at some point in time before the attestation is generated

Trait Implementations

impl<Da, StateProof> BorshDeserialize for Attestation<Da, StateProof>where Da: DaSpec, [u8; 32]: BorshDeserialize, <Da as DaSpec>::SlotHash: BorshDeserialize, ProofOfBond<StateProof>: BorshDeserialize,

fn deserialize_reader<R>( reader: &mut R ) -> Result<Attestation<Da, StateProof>, Error>where R: Read,

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, StateProof> BorshSerialize for Attestation<Da, StateProof>where Da: DaSpec, [u8; 32]: BorshSerialize, <Da as DaSpec>::SlotHash: BorshSerialize, ProofOfBond<StateProof>: BorshSerialize,

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

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

Serialize this instance into a vector of bytes.

impl<Da, StateProof> Clone for Attestation<Da, StateProof>where Da: Clone + DaSpec, StateProof: Clone, <Da as DaSpec>::SlotHash: Clone,

fn clone(&self) -> Attestation<Da, StateProof>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Da, StateProof> Debug for Attestation<Da, StateProof>where Da: Debug + DaSpec, StateProof: Debug, <Da as DaSpec>::SlotHash: Debug,

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

Formats the value using the given formatter.

impl<Da, StateProof> Default for Attestation<Da, StateProof>where Da: Default + DaSpec, StateProof: Default, <Da as DaSpec>::SlotHash: Default,

fn default() -> Attestation<Da, StateProof>

Returns the “default value” for a type.

impl<'de, Da, StateProof> Deserialize<'de> for Attestation<Da, StateProof>where Da: DaSpec, StateProof: Deserialize<'de>, <Da as DaSpec>::SlotHash: Deserialize<'de>,

fn deserialize<__D>( __deserializer: __D ) -> Result<Attestation<Da, StateProof>, <__D as Deserializer<'de>>::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Da, StateProof> PartialEq<Attestation<Da, StateProof>> for Attestation<Da, StateProof>where Da: PartialEq<Da> + DaSpec, StateProof: PartialEq<StateProof>, <Da as DaSpec>::SlotHash: PartialEq<<Da as DaSpec>::SlotHash>,

fn eq(&self, other: &Attestation<Da, StateProof>) -> 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, StateProof> Serialize for Attestation<Da, StateProof>where Da: DaSpec, StateProof: Serialize, <Da as DaSpec>::SlotHash: Serialize,

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

Serialize this value into the given Serde serializer.

impl<Da, StateProof> Eq for Attestation<Da, StateProof>where Da: Eq + DaSpec, StateProof: Eq, <Da as DaSpec>::SlotHash: Eq,

impl<Da, StateProof> StructuralEq for Attestation<Da, StateProof>where Da: DaSpec,

impl<Da, StateProof> StructuralPartialEq for Attestation<Da, StateProof>where Da: DaSpec,