Struct OperationProof 

pub struct OperationProof<D: Digest, const N: usize> {
    pub loc: Location,
    pub chunk: [u8; N],
    pub range_proof: RangeProof<D>,
}

A proof that a specific operation is currently active in the database.

Fields

loc: Location

The location of the operation in the db.

chunk: [u8; N]

The status bitmap chunk that contains the bit corresponding the operation’s location.

range_proof: RangeProof<D>

The range proof that incorporates activity status for the operation designated by loc.

Implementations

impl<D: Digest, const N: usize> OperationProof<D, N>

pub async fn new<H: CHasher<Digest = D>, S: Storage<D>>( hasher: &mut H, status: &CleanBitMap<D, N>, grafting_height: u32, mmr: &S, loc: Location, ) -> Result<Self, Error>

Return an inclusion proof that incorporates activity status for the operation designated by loc.

Panics

• Panics if loc is out of bounds.

pub fn verify<H: CHasher<Digest = D>, O: Codec>( &self, hasher: &mut H, grafting_height: u32, operation: O, root: &D, ) -> bool

Verify that the proof proves that operation is active in the database with the given root.

Trait Implementations

impl<D: Clone + Digest, const N: usize> Clone for OperationProof<D, N>

fn clone(&self) -> OperationProof<D, N>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<D: Debug + Digest, const N: usize> Debug for OperationProof<D, N>

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

Formats the value using the given formatter.

impl<D: PartialEq + Digest, const N: usize> PartialEq for OperationProof<D, N>

fn eq(&self, other: &OperationProof<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<D: Eq + Digest, const N: usize> Eq for OperationProof<D, N>

impl<D: Digest, const N: usize> StructuralPartialEq for OperationProof<D, N>