Module akd::verify

This module contains verification calls for different proofs contained in the AKD crate

Modules

base

Base functionality for verification operations (membership, non-membership, etc)

history

Verification of key history proofs

lookup

Verification of lookup proofs

Enums

HistoryVerificationParams

Parameters for customizing how history proof verification proceeds

VerificationError

Proof verification error types

Functions

key_history_verify

Verifies a key history proof, given the corresponding sequence of hashes. Returns a vector of whether the validity of a hash could be verified. When false, the value <=> hash validity at the position could not be verified because the value has been removed (“tombstoned”) from the storage layer.

lookup_verify

Verifies a lookup with respect to the root_hash

verify_membership

Verify the membership proof

verify_nonmembership

Verifies the non-membership proof with respect to the root hash