power_house 0.3.0

Deterministic sum-check proofs, commitment-bound sparse verification, and quorum ledger tooling.
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

use power_house::{prove_with_rootprint, provenance::PhaArtifact};
use serde_json::json;

fn artifact(stage: &str, accepted: bool) -> PhaArtifact {
    PhaArtifact::new(
        json!({"producer": "rootprint-workflow", "stage": stage}),
        "power-house/example/v1",
        json!({"stage": stage}),
        json!({"accepted": accepted}),
    )
    .expect("valid artifact")
}

fn main() -> Result<(), Box<dyn std::error::Error>> {
    let mut graph = prove_with_rootprint!(
        label: "main",
        artifact: artifact("baseline", true),
    )?;
    let candidate = prove_with_rootprint!(
        rootprint: &mut graph,
        fork: "main",
        label: "candidate",
        artifact: artifact("candidate", true),
    )?;
    let audit = prove_with_rootprint!(
        rootprint: &mut graph,
        fork: "main",
        label: "audit",
        artifact: artifact("audit", true),
    )?;
    prove_with_rootprint!(
        rootprint: &mut graph,
        merge: [&candidate, &audit],
        label: "accepted",
        artifact: artifact("accepted", true),
    )?;
    graph.verify()?;
    println!("{}", serde_json::to_string_pretty(&graph)?);
    Ok(())
}