Module verify 

Contains a set of useful grovedb proof verification functions

Modules

address_funds

Address funds proof verification module

chained_document

Chained document query (provable semi-join) verification methods on proofs — two grovedb proofs verified as one composed statement. Chained document query proof verification — the verifier half of the provable semi-join in chained_document_query.

composite_document

Composite document query (page plus derived sub-queries) verification methods on proofs — one merged proof verified as one composed statement. Composite document query proof verification — the verifier half of composite_document_query.

contract

DataContract verification methods on proofs

contract_groups

Contract group proof verification

document

Document verification methods on proofs

document_count

Document-count verification methods on proofs (the GetDocumentsCount endpoint’s prove-path verifiers). Verifies grovedb proofs produced by the GetDocumentsCount endpoint.

document_having

Having-range verification methods on proofs (the GROUP BY … HAVING <aggregate> <op> <value> LIMIT n surface’s prove-path verifier). Verifies grovedb proofs produced by the having-range (GROUP BY … HAVING <aggregate> <op> <value> LIMIT n) query surface.

document_ranked

Document-ranked verification methods on proofs (the GROUP BY … ORDER BY <aggregate> LIMIT n surface’s prove-path verifier). Verifies grovedb proofs produced by the ranked (GROUP BY … ORDER BY <aggregate> LIMIT n [OFFSET m]) query surface.

document_sum

Document-sum verification methods on proofs (the GetDocumentsSum endpoint’s prove-path verifiers). Verifies grovedb proofs produced by the GetDocumentsSum endpoint.

group

Group proof verification module

identity

Identity verification methods on proofs

shielded

Shielded pool proof verification module

single_document

Single Document verification methods on proofs

state_transition

Verifies that a state transition contents exist in the proof

system

System components (Epoch info etc…) verification methods on proofs

tokens

Token proof verification module

voting

Voting proof verification module Voting verification

Type Aliases

RootHash

Represents the root hash of the grovedb tree