Crate drive_proof_verifier 

Proof verification library for Dash Drive

Re-exports

pub use error::Error;

Modules

error

Errors that can occur during proof verification

from_request

From Request Conversions between Drive queries and dapi-grpc requests.

types

Object types that can be retrieved from proofs.

unproved

Implementation of unproved verification

Structs

DocumentCount

The count of documents matching a query, verified from proof.

DocumentSplitCounts

The split counts of documents matching a query, verified from proof.

MockContextProvider

Mock ContextProvider that can read quorum keys from files.

SplitCountEntry

An entry in a split count result, containing the serialized key(s) and the count of documents matching them.

Enums

ContextProviderError

Errors returned by the context provider

Traits

ContextProvider

Interface between the Sdk and state of the application.

DataContractProvider

A trait that provides a function that can be used to look up a DataContract by its Identifier.

FromProof

Parse and verify the received proof and retrieve the requested object, if any.

Length

Determine number of non-None elements

Functions

verify_aggregate_count_proof

Verify a grovedb AggregateCountOnRange proof and the surrounding tenderdash commit, returning the verified document count.

verify_distinct_count_proof

Verify a regular grovedb range proof against a ProvableCountTree and the surrounding tenderdash commit, returning the verified per-(in_key, key) counts the proof commits to.

verify_point_lookup_count_proof

Verify a grovedb point-lookup count proof against a countable: true index and return the per-branch entries.

verify_primary_key_count_tree_proof

Verify a grovedb proof of the document type’s primary-key CountTree element and return the unfiltered total count.