Struct Attestation

pub struct Attestation<Da: DaSpec, StateProof, StateRoot> {
    pub initial_state_root: StateRoot,
    pub da_block_hash: Da::SlotHash,
    pub post_state_root: StateRoot,
    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: StateRoot

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: StateRoot

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, StateRoot> BorshDeserialize for Attestation<Da, StateProof, StateRoot>

where StateRoot: 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, StateRoot> BorshSerialize for Attestation<Da, StateProof, StateRoot>

where StateRoot: 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>, Error>

Serialize this instance into a vector of bytes.

impl<Da: Clone + DaSpec, StateProof: Clone, StateRoot: Clone> Clone for Attestation<Da, StateProof, StateRoot>

where Da::SlotHash: Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Da: Debug + DaSpec, StateProof: Debug, StateRoot: Debug> Debug for Attestation<Da, StateProof, StateRoot>

where Da::SlotHash: Debug,

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

Formats the value using the given formatter.

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

where Da::SlotHash: Default,

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

Returns the “default value” for a type.

impl<'de, Da: DaSpec, StateProof, StateRoot> Deserialize<'de> for Attestation<Da, StateProof, StateRoot>

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

where Da::SlotHash: PartialEq,

fn eq(&self, other: &Attestation<Da, StateProof, StateRoot>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<Da: DaSpec, StateProof, StateRoot> Serialize for Attestation<Da, StateProof, StateRoot>

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

where Da::SlotHash: Eq,

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