Struct FullCheckpointContents 

pub struct FullCheckpointContents { /* private fields */ }

Same as CheckpointContents, but contains full contents of all Transactions and TransactionEffects associated with the checkpoint.

Implementations

impl FullCheckpointContents

pub fn new_with_causally_ordered_transactions<T>(contents: T) -> Self

where T: IntoIterator<Item = ExecutionData>,

pub fn from_contents_and_execution_data( contents: CheckpointContents, execution_data: impl Iterator<Item = ExecutionData>, ) -> Result<Self>

Pairs the signatures pinned in contents with execution_data.

Errors

Returns an error when execution_data does not hold exactly one transaction per entry of contents, so a caller assembling the two from separately received parts gets a rejection rather than a panic.

pub fn try_from_checkpoint_contents<S>( store: S, contents: CheckpointContents, ) -> Result<Option<Self>, Error>

where S: ReadStore,

pub fn iter(&self) -> Iter<'_, ExecutionData>

pub fn verify_digests(&self, digest: CheckpointContentsDigest) -> Result<()>

Verifies that this checkpoint’s digest matches the given digest, that all internal Transaction and TransactionEffects digests are consistent, and that every transaction carries the signatures the checkpoint pinned.

The transactions and the signatures pinned for them are separate fields, and the transaction digest does not cover the signatures, so a peer can serve a transaction whose signatures differ from the ones the committee agreed on without changing any digest. That matters for a transaction authenticated by a MoveAuthenticator, whose payload decides what the transaction executes.

pub fn verify( self, digest: CheckpointContentsDigest, ) -> Result<VerifiedCheckpointContents>

Verifies the contents against digest and, when they pass, hands them back as verified. Contents received from a peer must go through here: it is the only way to obtain a VerifiedCheckpointContents from untrusted data.

pub fn checkpoint_contents(&self) -> CheckpointContents

pub fn into_checkpoint_contents(self) -> CheckpointContents

pub fn size(&self) -> usize

pub fn random_for_testing() -> Self

Trait Implementations

impl Clone for FullCheckpointContents

fn clone(&self) -> FullCheckpointContents

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FullCheckpointContents

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FullCheckpointContents

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for FullCheckpointContents

impl IntoIterator for FullCheckpointContents

type Item = ExecutionData

The type of the elements being iterated over.

type IntoIter = IntoIter<<FullCheckpointContents as IntoIterator>::Item>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl PartialEq for FullCheckpointContents

fn eq(&self, other: &FullCheckpointContents) -> 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 Serialize for FullCheckpointContents

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for FullCheckpointContents