Expand description
Immutable Log w/ Inclusion and Consistency Proofs
The main trait in this module is [VerifiableLog],
which defines the API of a log where inclusion
and consistency can be verified.
Implementations:
- [
InOrderLog] -
The only implementation in this module is ,
which is a [VerifiableLog] whose contents are structured
using binary in-order interval numbering as described in
[Dat - Distributed Dataset Synchronization and Versioning][2].
Structs§
- Checkpoint
- A point in the history of a log, represented by its length
- Consistency
Proof - A proof of the consistency between two points in the logs history.
- Inclusion
Proof - A proof that a leaf is present for a root
- Inclusion
Proof Walk - The nodes visited when verifying the inclusion proof.
- LogProof
Bundle - A collection of inclusion proof info
- Node
- Represents a node in a tree by its index.
- Proof
Bundle - A collection of inclusion proof info
- Stack
Log - A log builder which maintains a stack of balanced roots
- VecLog
- A verifiable log where the node hashes are stored contiguously in memory by index.
Enums§
- Consistency
Proof Error - Errors occurring when validating a consistency proof
- Inclusion
Proof Error - An error occurring when attempting to validate an inclusion proof.
- Side
- What side of its parent a given node is on.
Traits§
- LogBuilder
- A merkle tree log data type based on DAT. where the merkle tree computation is conformant to RFC 6962 - Certificate Transparency. This allows you to efficiently append data and then verify that it the log is consistent over time and contains a given entry.
- LogData
- A collection of hash data