Struct sov_rollup_interface::optimistic::Attestation

pub struct Attestation<Da: DaSpec, StateProof> {
    pub initial_state_root: [u8; 32],
    pub da_block_hash: Da::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::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: DaSpec, StateProof> BorshDeserialize for Attestation<Da, StateProof>where [u8; 32]: BorshDeserialize, Da::SlotHash: BorshDeserialize, ProofOfBond<StateProof>: 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, StateProof> BorshSerialize for Attestation<Da, StateProof>where [u8; 32]: BorshSerialize, Da::SlotHash: BorshSerialize, ProofOfBond<StateProof>: 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, StateProof: Clone> Clone for Attestation<Da, StateProof>where Da::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: Debug + DaSpec, StateProof: Debug> Debug for Attestation<Da, StateProof>where Da::SlotHash: Debug,

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

Formats the value using the given formatter.

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

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

Returns the “default value” for a type.

impl<'de, Da: DaSpec, StateProof> Deserialize<'de> for Attestation<Da, StateProof>where StateProof: Deserialize<'de>, Da::SlotHash: 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, StateProof: PartialEq> PartialEq<Attestation<Da, StateProof>> for Attestation<Da, StateProof>where Da::SlotHash: PartialEq,

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: DaSpec, StateProof> Serialize for Attestation<Da, StateProof>where StateProof: Serialize, Da::SlotHash: 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, StateProof: Eq> Eq for Attestation<Da, StateProof>where Da::SlotHash: Eq,

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

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