power_house 0.3.7

Deterministic verification and provenance system for portable computational identities using .pha artifacts and Rootprint graphs.
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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151

#![deny(missing_docs)]

//! Deterministic verification, portable proof provenance, and optional quorum
//! networking.
//!
//! Power House combines seven interoperable layers:
//!
//! - [`identity`] provides immutable computational identities over `.pha` and
//!   Rootprint.
//! - [`observatory`] binds optional human-readable visualization sidecars to
//!   verified Rootprint replay state.
//! - [`provenance`] defines Power House Archive (`.pha`) and Rootprint v1.
//! - [`sumcheck`] implements dense, streaming, constant, and seeded-affine
//!   sum-check workflows.
//! - [`sparse_sumcheck`] implements stable seeded and commitment-bound sparse
//!   certificate formats.
//! - [`julian`] records proof transcripts, anchors them, and reconciles quorum
//!   state.
//! - [`net`] adds signed libp2p transport, data availability, governance, and
//!   quorum-finalized native RPC when the `net` feature is enabled.
//!
//! # Power House Archive
//!
//! A [`provenance::PhaArtifact`] binds core proof data and provenance to a
//! deterministic `phx_fingerprint`. Optional external proof attachments are
//! transported with the artifact but do not alter its Power House core
//! identity.
//!
//! ```
//! use power_house::provenance::PhaArtifact;
//! use serde_json::json;
//!
//! let artifact = PhaArtifact::new(
//!     json!({"producer": "example"}),
//!     "power-house/example/v1",
//!     json!({"claim": 7}),
//!     json!({"accepted": true}),
//! )?;
//! artifact.verify()?;
//! # Ok::<(), Box<dyn std::error::Error>>(())
//! ```
//!
//! # Rootprint
//!
//! [`provenance::Rootprint`] is a deterministic directed acyclic graph of
//! `.pha` artifacts. The [`prove_with_rootprint!`] macro is the recommended
//! construction interface.
//!
//! ```
//! use power_house::{prove_with_rootprint, provenance::PhaArtifact};
//! use serde_json::json;
//!
//! let artifact = PhaArtifact::new(
//!     json!({"source": "rootprint-example"}),
//!     "power-house/example/v1",
//!     json!({"claim": 11}),
//!     json!({"accepted": true}),
//! )?;
//! let graph = prove_with_rootprint!(label: "main", artifact: artifact)?;
//! graph.verify()?;
//! # Ok::<(), Box<dyn std::error::Error>>(())
//! ```
//!
//! # Structured sum-check
//!
//! Closed-form and seeded proof constructors operate on compact algebraic
//! descriptions without allocating the expanded Boolean hypercube.
//!
//! ```
//! use power_house::{Field, GeneralSumProof};
//!
//! let field = Field::new(1_000_000_007);
//! let proof = GeneralSumProof::prove_seeded_affine(
//!     4096,
//!     &field,
//!     b"public reproducible workload",
//! );
//! assert!(proof.verify_seeded_affine(
//!     &field,
//!     b"public reproducible workload",
//! ));
//! ```
//!
//! # Feature flags
//!
//! - `default`: proof, provenance, transcript, and sparse-certificate APIs.
//! - `net`: networking, migration commands, data availability, governance,
//!   staking, and native JSON-RPC.
//!
//! # Specifications and guides
//!
//! The repository contains the normative `.pha` and Rootprint specifications,
//! cross-language conformance vectors, provenance and sparse security models,
//! verification guide, and operational runbooks. See the
//! [documentation index](https://github.com/JROChub/power_house/blob/main/docs/README.md).

pub mod consensus;
mod data;
pub mod economics;
mod field;
pub mod identity;
mod io;
pub mod julian;
mod log_parser;
mod merkle;
mod multilinear;
pub mod observatory;
mod prng;
pub mod provenance;
pub mod rollup;
pub mod sparse_sumcheck;
mod streaming;
pub mod sumcheck;
mod transcript;

/// CLI command helpers for migration and deterministic artifacts.
#[cfg(feature = "net")]
pub mod commands;
#[cfg(feature = "net")]
pub mod net;

pub use consensus::consensus;
pub use data::{
    compute_digest as transcript_digest, digest_from_hex as transcript_digest_from_hex,
    digest_to_hex as transcript_digest_to_hex, parse_record as parse_transcript_record,
    verify_record_lines as verify_transcript_lines, write_record as write_transcript_record,
    TranscriptDigest,
};
pub use field::Field;
pub use identity::{Identity, IdentityError, IdentityState};
pub use io::write_text_series;
pub use julian::{
    compute_fold_digest, julian_genesis_anchor, julian_genesis_hash, reconcile_anchors,
    reconcile_anchors_with_quorum, AnchorMetadata, AnchorVote, EntryAnchor, LedgerAnchor, Proof,
    ProofKind, ProofLedger, Statement, JULIAN_GENESIS_STATEMENT,
};
pub use log_parser::{parse_log_file, read_fold_digest_hint, LogRecordMetadata, ParsedLogFile};
pub use merkle::{
    build_proof as build_merkle_proof, merkle_root, verify_proof as verify_merkle_proof,
    MerkleProof, MerkleProofNode,
};
pub use multilinear::MultilinearPolynomial;
pub use observatory::{ObservatoryError, ObservatorySidecar};
pub use prng::SimplePrng;
pub use sparse_sumcheck::{
    CommittedSparsePolynomial, CommittedSparseProof, SeededSparseProof, SeededSparseSpec,
    SparseMonomial, SparseProofError, SparseVerificationReport,
};
pub use streaming::StreamingPolynomial;
pub use sumcheck::{ChainedSumProof, GeneralSumClaim, GeneralSumProof, ProofStats, SumClaim};
pub use transcript::Transcript;