Struct KernelCheckpoint 

pub struct KernelCheckpoint { /* private fields */ }

One logical checkpoint (§12.1).

Fields are private and every digest is computed by Self::assemble, so there is no constructor that takes a digest and “the host recomputed the hash and disagreed” is not a reachable state — the same discipline KernelRecord uses. Decoding goes through the same verification, which is why a tampered blob fails at the boundary rather than half-way through a restore.

Implementations

impl KernelCheckpoint

pub fn assemble(draft: CheckpointDraft) -> Result<Self, CheckpointError>

Build a checkpoint, computing all three digests and checking the tail covers (base_step_seq, through_step_seq] exactly.

pub fn checkpoint_version(&self) -> u32

pub fn abi_version(&self) -> u32

pub fn operation_id(&self) -> &OperationId

pub fn genesis_digest(&self) -> &Digest

pub fn base_step_seq(&self) -> WireU64

pub fn base_record_digest(&self) -> &Digest

pub fn through_step_seq(&self) -> WireU64

pub fn covered_transaction_head_digest(&self) -> &Digest

pub fn logical_state(&self) -> &LogicalKernelState

pub fn tail_inputs(&self) -> &[CanonicalInput]

pub fn state_digest(&self) -> &Digest

pub fn tail_digest(&self) -> &Digest

pub fn checkpoint_digest(&self) -> &Digest

pub fn checkpoint_bytes(&self) -> CanonicalBytes

Canonical bytes of the whole checkpoint — the blob a host persists.

pub fn from_checkpoint_bytes(bytes: &[u8]) -> Result<Self, CheckpointError>

Decode a checkpoint from its stored bytes, verifying every digest and the tail coverage.

pub fn boundary(&self) -> CheckpointBoundary

The prefix an ack of this checkpoint may reclaim (§12.3 rule 6).

pub fn into_candidate(self) -> CheckpointCandidate

The §12.3 candidate this checkpoint hands the host.

pub fn verify(&self) -> Result<(), CheckpointError>

Recompute every digest from the bytes this checkpoint carries and re-check its tail.

The first two lines of §12.2’s ladder. verify_belongs_to adds the operation/genesis half; the version halves are enforced by the decoder, which cannot produce a checkpoint whose checkpoint_version or abi_version this kernel does not read.

pub fn verify_belongs_to( &self, operation_id: &OperationId, genesis_digest: &Digest, ) -> Result<(), CheckpointError>

Whether this checkpoint is this operation’s (§12.2 line 2).

Trait Implementations

impl Clone for KernelCheckpoint

fn clone(&self) -> KernelCheckpoint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KernelCheckpoint

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for KernelCheckpoint

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl PartialEq for KernelCheckpoint

fn eq(&self, other: &KernelCheckpoint) -> bool

Equality operator ==.

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

Inequality operator !=.

impl Serialize for KernelCheckpoint

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 KernelCheckpoint