asupersync 0.3.4

Spec-first, cancel-correct, capability-secure async runtime for Rust.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
//! ATP proof bundle schema and verification artifacts.
//!
//! This module defines the complete proof bundle format for ATP transfers,
//! enabling offline verification and replay of transfer operations. Proof
//! bundles capture all metadata necessary to validate that a transfer was
//! completed correctly according to ATP protocol specifications.

pub mod bundle;
pub mod replay;
pub mod serde_types;

pub use bundle::{
    ATP_PROOF_DECISION_CONTRACT, ATP_PROOF_FRANKEN_COMPONENT, AtpAuditArtifactRef,
    AtpFrankenProofExport, AtpProofBundle, AtpProofBundleBuilder, AtpProofBundleError,
    AtpProofBundleMetadata, AtpProofValidationStatus, ChunkBitmap, PeerIdentityInfo, ProofStrength,
    RaptorQDecodeMetadata, RepairGroupMetadata, TransferJournal, TransferPathSummary,
};
pub use replay::{AtpReplayPointer, ReplayableEvent, ReplayableEventKind};