power_house 0.3.3

Deterministic proofs, portable .pha provenance, Rootprint graphs, and optional quorum networking.
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

//! Portable provenance artifacts and deterministic identity.

pub mod pha;
pub mod rootprint;

pub use pha::{EmbeddedProof, ExternalProofAttachment, PhaArtifact, PhaError, PHA_SCHEMA_V1};
pub use rootprint::{Rootprint, RootprintBranch, RootprintError, ROOTPRINT_SCHEMA_V1};

/// Creates or extends a Rootprint graph with a verified Power House artifact.
///
/// This is the recommended library interface for provenance-aware proof
/// creation. Every form returns `Result<_, RootprintError>`.
///
/// ```
/// use power_house::{prove_with_rootprint, provenance::PhaArtifact};
/// use serde_json::json;
///
/// let artifact = PhaArtifact::new(
///     json!({"source": "example"}),
///     "power-house/example/v1",
///     json!({"claim": 7}),
///     json!({"valid": true}),
/// )?;
/// let graph = prove_with_rootprint!(label: "main", artifact: artifact)?;
/// graph.verify()?;
/// # Ok::<(), Box<dyn std::error::Error>>(())
/// ```
#[macro_export]
macro_rules! prove_with_rootprint {
    (label: $label:expr, artifact: $artifact:expr $(,)?) => {
        $crate::provenance::Rootprint::new($label, $artifact)
    };
    (
        rootprint: $rootprint:expr,
        fork: $parent:expr,
        label: $label:expr,
        artifact: $artifact:expr $(,)?
    ) => {
        $rootprint.fork($parent, $label, $artifact)
    };
    (
        rootprint: $rootprint:expr,
        merge: [$left:expr, $right:expr],
        label: $label:expr,
        artifact: $artifact:expr $(,)?
    ) => {
        $rootprint.merge($left, $right, $label, $artifact)
    };
}