drive/verify/
mod.rs

1#![allow(clippy::result_large_err)] // Errors intentionally carry rich context in verify paths
2                                    // TODO: Revisit after shrinking top-level Error by boxing heavy variants
3///DataContract verification methods on proofs
4pub mod contract;
5/// Document verification methods on proofs
6pub mod document;
7/// Document-count verification methods on proofs (the
8/// `GetDocumentsCount` endpoint's prove-path verifiers).
9pub mod document_count;
10/// Having-range verification methods on proofs (the
11/// `GROUP BY … HAVING <aggregate> <op> <value> LIMIT n` surface's
12/// prove-path verifier).
13pub mod document_having;
14/// Document-ranked verification methods on proofs (the
15/// `GROUP BY … ORDER BY <aggregate> LIMIT n` surface's prove-path
16/// verifier).
17pub mod document_ranked;
18/// Document-sum verification methods on proofs (the
19/// `GetDocumentsSum` endpoint's prove-path verifiers).
20pub mod document_sum;
21/// Identity verification methods on proofs
22pub mod identity;
23/// Single Document verification methods on proofs
24pub mod single_document;
25
26/// System components (Epoch info etc...) verification methods on proofs
27pub mod system;
28
29/// Address funds proof verification module
30pub mod address_funds;
31/// Group proof verification module
32pub mod group;
33/// Shielded pool proof verification module
34pub mod shielded;
35/// Verifies that a state transition contents exist in the proof
36pub mod state_transition;
37/// Token proof verification module
38pub mod tokens;
39/// Voting proof verification module
40pub mod voting;
41
42mod bounded_decode;
43
44/// Represents the root hash of the grovedb tree
45pub type RootHash = [u8; 32];
drive/verify/mod.rs

drive/verify/
mod.rs
