Struct KeyValueProof 

pub struct KeyValueProof<F: Graftable, K: Key, D: Digest, C> {
    pub proof: Proof<F, D, C>,
    pub next_key: K,
}

Proof information for verifying a key has a particular value in the database.

C stores the embedded operation proof’s bitmap chunk.

Fields

proof: Proof<F, D, C>

The proof authenticating the active update operation.

next_key: K

The next active key in lexicographic order, wrapping at the end.

Implementations

impl<F: Graftable, K: Key, D: Digest, C: AsRef<[u8]>> KeyValueProof<F, K, D, C>

pub fn verify<H, V>(&self, key: K, value: V::Value, root: &D) -> bool

where H: Hasher<Digest = D>, V: ValueEncoding, Operation<F, K, V>: Codec,

Return true if the proof authenticates that key currently has value in the database with the provided root.

V selects the fixed or variable value encoding used by the database.

Trait Implementations

impl<F: Clone + Graftable, K: Clone + Key, D: Clone + Digest, C: Clone> Clone for KeyValueProof<F, K, D, C>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Graftable, K: Debug + Key, D: Debug + Digest, C: Debug> Debug for KeyValueProof<F, K, D, C>

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

Formats the value using the given formatter.

impl<F: Graftable, K: Key, D: Digest, C: AsRef<[u8]>> EncodeSize for KeyValueProof<F, K, D, C>

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 fixed working buffer for inline writes, so it must not be less than the bytes written inline. Override alongside Write::write_bufs for types where large byte fields go via push, or the working buffer will over-allocate.

impl<F: Eq + Graftable, K: Eq + Key, D: Eq + Digest, C: Eq> Eq for KeyValueProof<F, K, D, C>

impl<F: PartialEq + Graftable, K: PartialEq + Key, D: PartialEq + Digest, C: PartialEq> PartialEq for KeyValueProof<F, K, D, C>

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

Equality operator ==.

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

Inequality operator !=.

impl<F: Graftable, K: Key, D: Digest, C> Read for KeyValueProof<F, K, D, C>

where Proof<F, D, C>: Read,

type Cfg = (<Proof<F, D, C> as Read>::Cfg, <K as Read>::Cfg)

(proof_cfg, key_cfg): the read configurations for the embedded operation proof and key.

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

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

impl<F: PartialEq + Graftable, K: PartialEq + Key, D: PartialEq + Digest, C: PartialEq> StructuralPartialEq for KeyValueProof<F, K, D, C>

impl<F: Graftable, K: Key, D: Digest, C: AsRef<[u8]>> Write for KeyValueProof<F, K, D, C>

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 byte chunks to be appended via BufsMut::push instead of written inline. Must encode to the same format as Write::write. Defaults to Write::write.