Struct OpsRootWitness 

pub struct OpsRootWitness<F: Graftable, D: Digest> {
    pub grafted_root: D,
    pub pending_chunk_digest: F::PendingChunk<D>,
    pub partial_chunk: Option<(u64, D)>,
}

Witness that a particular ops_root is committed by a current canonical root.

See the Canonical root structure section in the module documentation for the full layout.

Fields

grafted_root: D

The grafted-tree root committed by the canonical root.

pending_chunk_digest: F::PendingChunk<D>

The pending-chunk contribution, if any.

partial_chunk: Option<(u64, D)>

The trailing partial chunk contribution, if the bitmap length is not chunk-aligned: (next_bit, partial_chunk_digest).

Implementations

impl<F: Graftable, D: Digest> OpsRootWitness<F, D>

pub fn root<H: CHasher<Digest = D>>( &self, hasher: &StandardHasher<H>, ops_root: &D, ) -> D

Compute the canonical current root that commits to ops_root through this witness.

See the Canonical root structure section in the module documentation for the full layout.

pub fn verify<H: CHasher<Digest = D>>( &self, hasher: &StandardHasher<H>, ops_root: &D, root: &D, ) -> bool

Return true if this witness proves that root commits to ops_root.

Trait Implementations

impl<F: Clone + Graftable, D: Clone + Digest> Clone for OpsRootWitness<F, D>

where F::PendingChunk<D>: Clone,

fn clone(&self) -> OpsRootWitness<F, D>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Graftable, D: Debug + Digest> Debug for OpsRootWitness<F, D>

where F::PendingChunk<D>: Debug,

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

Formats the value using the given formatter.

impl<F: Graftable, D: Digest> EncodeSize for OpsRootWitness<F, D>

fn encode_size(&self) -> usize

Returns the encoded size of this value (in bytes).

fn encode_inline_size(&self) -> usize

Returns the encoded size excluding bytes passed to BufsMut::push during Write::write_bufs. Used to size the working buffer for inline writes. Override alongside Write::write_bufs for types where large Bytes fields go via push; failing to do so will over-allocate.

impl<F: PartialEq + Graftable, D: PartialEq + Digest> PartialEq for OpsRootWitness<F, D>

where F::PendingChunk<D>: PartialEq,

fn eq(&self, other: &OpsRootWitness<F, D>) -> 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<F: Graftable, D: Digest> Read for OpsRootWitness<F, D>

type Cfg = ()

The Cfg type parameter allows passing configuration during the read process. This is crucial for safely decoding untrusted data, for example, by providing size limits for collections or strings.

fn read_cfg(buf: &mut impl Buf, _: &Self::Cfg) -> Result<Self, Error>

Reads a value from the buffer using the provided configuration cfg.

impl<F: Graftable, D: Digest> Write for OpsRootWitness<F, D>

fn write(&self, buf: &mut impl BufMut)

Writes the binary representation of self to the provided buffer buf.

fn write_bufs(&self, buf: &mut impl BufsMut)

Writes to a BufsMut, allowing existing Bytes chunks to be appended via BufsMut::push instead of written inline. Must encode to the same format as Write::write. Defaults to Write::write.

impl<F: Eq + Graftable, D: Eq + Digest> Eq for OpsRootWitness<F, D>

where F::PendingChunk<D>: Eq,

impl<F: Graftable, D: Digest> StructuralPartialEq for OpsRootWitness<F, D>