Power House

Power House is a deterministic verification and provenance stack for Rust. It combines structured sum-check proofs, portable .pha artifacts, Rootprint proof-history graphs, commitment-bound sparse workloads, transcript anchoring, and an optional quorum network.

Current release: v0.3.2

The primary workflow is Power House + Rootprint:

• Power House Archive (.pha) binds proof data and provenance to a deterministic phx_fingerprint.
• Rootprint provides verifiable navigation, forks, merges, and equivalence over .pha core identities.
• External proof attachments (EPA) are optional transport data and remain outside the Power House core fingerprint and Rootprint branch identity.

Quick Start

cargo add power_house

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

fn main() -> Result<(), Box<dyn std::error::Error>> {
    let artifact = PhaArtifact::new(
        json!({"producer": "example"}),
        "power-house/example/v1",
        json!({"claim": 7}),
        json!({"accepted": true}),
    )?;

    let graph = prove_with_rootprint!(
        label: "main",
        artifact: artifact,
    )?;
    graph.verify()?;
    Ok(())
}

Install the julian CLI with the network feature:

cargo install power_house --features net

The primary provenance commands are:

julian rootprint init main.pha --label main --output proof.rootprint.json
julian rootprint fork proof.rootprint.json main candidate.pha --label candidate
julian rootprint navigate proof.rootprint.json candidate
julian rootprint verify proof.rootprint.json

Verification Profiles

Here n is the number of variables and I is the number of nonzero variable incidences. The proof modes operate on compact algebraic descriptions and do not allocate the expanded Boolean hypercube.

Core Formats

Rust and Python consume the same canonical vectors under conformance/. Mutation tests require core changes to reject while proving that EPA mutation does not alter Power House core validity.

Reproduce

cargo fmt --check
cargo clippy --all-targets --all-features -- -D warnings
RUSTDOCFLAGS="-D warnings" cargo doc --all-features --no-deps
cargo test --all-targets --locked
cargo test --all-targets --features net --locked

cargo run --example pha_conformance_vectors
cargo run --example rootprint_workflow
cargo run --release --example sextillion_verify
cargo run --release --example hyperscale_affine
cargo run --release --example sparse_record
cargo run --release --example committed_workload

PYTHONPATH=sdk/python python3 -m unittest discover -s sdk/python/tests -v
python3 scripts/test_sparse_verifier.py
python3 scripts/soundness_budget.py

The complete procedure and expected rejection behavior are documented in the Verification Guide.

Primary Rust APIs

• PhaArtifact: portable Power House core identity.
• Rootprint: deterministic proof-history branching and verification.
• prove_with_rootprint!: recommended provenance-aware construction interface.
• GeneralSumProof: dense, streaming, constant, and seeded-affine sum-check.
• SeededSparseProof: stable PHSPv1 certificates.
• CommittedSparsePolynomial and CommittedSparseProof: external workload binding.
• ProofLedger: transcript logs, anchors, and quorum reconciliation.

Python SDK

The bundled zero-dependency Python SDK defaults to pure Power House + Rootprint:

from power_house import create_artifact, new_rootprint, verify_rootprint

artifact = create_artifact(
    {"source": "python"},
    "power-house/example/v1",
    {"claim": 7},
    {"accepted": True},
)
graph = new_rootprint("main", artifact)
verify_rootprint(graph)

EPA helpers require an explicit secondary import:

from power_house.external import attach_external_proof

See SDKs for installation and interoperability tests.

Network And RPC

The optional net feature enables libp2p transport, signed envelopes, data availability services, governance policies, stake accounting, migration tools, and a quorum-finalized native JSON-RPC lane.

The production edge uses health-aware global routing across validators in New York, San Francisco, and Amsterdam. Public traffic is rate-limited at Nginx and removed from a backend automatically when /healthz fails.

julian net start \
  --node-id validator-1 \
  --log-dir ./logs/validator-1 \
  --blob-dir ./data/validator-1 \
  --listen /ip4/0.0.0.0/tcp/7001 \
  --policy ./configs/governance.stake.json \
  --quorum 2 \
  --evm-chain-id 177155 \
  --evm-rpc-listen 127.0.0.1:8545 \
  --key ed25519://<seed>

Use scripts/test_native_rpc_cluster.sh to verify replica finality and scripts/check_rpc.py to run the external publication gate.

Documentation

Start with the Documentation Index.

• Power House Archive v1
• Rootprint v1
• Provenance Security Model
• Verification Guide
• SDKs
• JULIAN Protocol
• Sparse Security Model
• RPC Operations
• Production RPC Deployment
• Stable Public Network Roadmap
• Node Operator Guide
• Incident Response
• Load Testing
• Testnet to Mainnet
• Orbital Observatory
• v0.3.0 Benchmark Report

Public Surfaces

• API documentation: https://docs.rs/power_house
• Package: https://crates.io/crates/power_house
• Repository: https://github.com/JROChub/power_house
• Public verifier: https://mfenx.com
• Network status: https://mfenx.com/status.html

License

MIT OR BSD-2-Clause.