Enum ExclusionProof 

pub enum ExclusionProof<F: Graftable, K: Key, V: ValueEncoding, D: Digest, const N: usize> {
    KeyValue(OperationProof<F, D, N>, Update<K, V>),
    Commit(OperationProof<F, D, N>, Option<V::Value>),
}

Proof that a key has no assigned value in the database.

When the database has active keys, exclusion is proven by showing the key falls within a span between two adjacent active keys. Otherwise exclusion is proven by showing the database contains no active keys through the most recent commit operation.

Verify using Db::verify_exclusion_proof.

Variants

KeyValue(OperationProof<F, D, N>, Update<K, V>)

Proves that two keys are active in the database and adjacent to each other in the key ordering. Any key falling between them (non-inclusively) can be proven excluded.

Commit(OperationProof<F, D, N>, Option<V::Value>)

Proves that the database has no active keys, allowing any key to be proven excluded. Specifically, the proof establishes the most recent Commit operation has an activity floor equal to its own location, which is a necessary and sufficient condition for an empty database.

Trait Implementations

impl<F: Clone + Graftable, K: Clone + Key, V: Clone + ValueEncoding, D: Clone + Digest, const N: usize> Clone for ExclusionProof<F, K, V, D, N>

where V::Value: Clone,

fn clone(&self) -> ExclusionProof<F, K, V, D, N>

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, V: Debug + ValueEncoding, D: Debug + Digest, const N: usize> Debug for ExclusionProof<F, K, V, D, N>

where V::Value: Debug,

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

Formats the value using the given formatter.

impl<F, K, V, D, const N: usize> EncodeSize for ExclusionProof<F, K, V, D, N>

where F: Graftable, K: Key, V: ValueEncoding, D: Digest, Update<K, V>: EncodeSize,

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, K: PartialEq + Key, V: PartialEq + ValueEncoding, D: PartialEq + Digest, const N: usize> PartialEq for ExclusionProof<F, K, V, D, N>

where V::Value: PartialEq,

fn eq(&self, other: &ExclusionProof<F, K, V, D, N>) -> 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, K, V, D, const N: usize> Read for ExclusionProof<F, K, V, D, N>

where F: Graftable, K: Key, V: ValueEncoding, D: Digest, Update<K, V>: Read,

type Cfg = (usize, <Update<K, V> as Read>::Cfg, <<V as ValueEncoding>::Value as Read>::Cfg)

(max_digests, update_cfg, value_cfg): Merkle digest cap forwarded to the embedded operation proof, the read configuration for Update, and the read configuration for the value type.

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

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

impl<F, K, V, D, const N: usize> Write for ExclusionProof<F, K, V, D, N>

where F: Graftable, K: Key, V: ValueEncoding, D: Digest, Update<K, V>: Write,

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, K: Eq + Key, V: Eq + ValueEncoding, D: Eq + Digest, const N: usize> Eq for ExclusionProof<F, K, V, D, N>

where V::Value: Eq,

impl<F: Graftable, K: Key, V: ValueEncoding, D: Digest, const N: usize> StructuralPartialEq for ExclusionProof<F, K, V, D, N>