nomt_core/proof/
mod.rs

1//! Trie proofs and proof verification.
2//!
3//! The Merkle Trie defined in NOMT is an authenticated data structure, which means that it permits
4//! efficient proving against the root. This module exposes types and functions necessary for
5//! handling these kinds of proofs.
6//!
7//! Using the types and functions exposed from this module, you can verify the value of a single
8//! key within the trie ([`PathProof`]), the values of multiple keys ([`MultiProof`]), or the result
9//! of updating a trie with a set of changes ([`verify_update`]).
10
11pub use multi_proof::{
12    verify as verify_multi_proof, verify_update as verify_multi_proof_update, MultiPathProof,
13    MultiProof, MultiProofVerificationError, VerifiedMultiProof,
14};
15pub use path_proof::{
16    verify_update, KeyOutOfScope, PathProof, PathProofTerminal, PathProofVerificationError,
17    PathUpdate, VerifiedPathProof, VerifyUpdateError,
18};
19
20mod multi_proof;
21mod path_proof;
nomt_core/proof/mod.rs

nomt_core/proof/
mod.rs
