dent8-core 0.1.0

Core claim-event model and invariants for dent8.
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

//! Core domain model for dent8.
//!
//! The public model intentionally starts with claim events rather than memory
//! items. Materialized memory is a replayed projection of the event log.

pub mod anchor;
pub mod hash;
pub mod ids;
pub mod model;
pub mod policy;
pub mod state;

pub use anchor::{ChainAnchor, anchor_head, verify_anchor};
#[cfg(feature = "signed-anchor")]
pub use anchor::{SignedTreeHead, sign_head, verify_signed_head};
pub use hash::{CanonError, attestation_message, canonical_bytes, event_hash, hash_chain};
pub use ids::{ActorId, ClaimEventId, ClaimId, EvidenceId, IdError, SourceId, TimestampMillis};
pub use model::{
    AttestationAlgorithm, Authority, AuthorityLevel, CanonicalJson, ClaimEvent, ClaimEventKind,
    ClaimValue, Confidence, ContradictionBasis, EntityRef, Evidence, EvidenceKind,
    ExpirationReason, Predicate, Provenance, RetractionReason, SupersessionReason, Ttl,
    ValidationError, WriteAttestation,
};
pub use policy::EpistemicPolicy;
pub use state::{ClaimLifecycle, ClaimState, TransitionError, apply_event};