auths-verifier 0.1.6

Minimal-dependency attestation verification library for Auths - supports FFI and WASM
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

//! Transparency-log verification primitives — the pure, network-free core any
//! verifier needs to check Merkle proofs against a signed checkpoint.
//!
//! These types are the wire contract between a transparency log
//! (`auths-transparency`, which builds trees, tiles, and proofs server-side)
//! and every verifier surface (native, FFI, browser WASM) that must check
//! that evidence offline. They live here — in the leaf verification crate all
//! surfaces share — so a browser can verify a log proof without linking the
//! log's storage or networking, and so there is exactly one implementation of
//! the RFC 6962 proof math. `auths-transparency` re-exports everything in
//! this module; downstream code keeps importing from either crate without a
//! second copy existing anywhere.

/// Log checkpoints (signed tree heads) and witness cosignatures.
pub mod checkpoint;
/// The transparency-log error contract.
pub mod error;
/// RFC 6962 Merkle tree hashing and proof verification.
pub mod merkle;
/// Inclusion and consistency proofs.
pub mod proof;
/// Identifier and hash newtypes.
pub mod types;

pub use checkpoint::{Checkpoint, SignedCheckpoint, WitnessCosignature};
pub use error::TransparencyError;
pub use merkle::{
    compute_root, hash_children, hash_leaf, prove_inclusion, verify_consistency, verify_inclusion,
};
pub use proof::{ConsistencyProof, InclusionProof};
pub use types::{LogOrigin, MerkleHash};