power_house

power_house is a Rust verification stack for deterministic sum-check proofs, commitment-bound sparse workloads, transcript anchoring, and optional quorum networking.

Verified Scale

The repository contains four reproducible proof modes:

Mode	Public domain	Verifier work	Command
Constant polynomial	`2^70` points	`O(70)`	`cargo run --release --example sextillion_verify`
Seeded affine polynomial	`2^4096` points	`O(4096)`	`cargo run --release --example hyperscale_affine`
Seeded sparse polynomial	`2^1,000,000` points	`O(n + I log n)`	`cargo run --release --example sparse_record`
External committed sparse polynomial	`2^1,000,000` points	`O(n + I log n)`	`cargo run --release --example committed_workload`

Here n is the number of variables and I is the number of nonzero variable incidences. None of these modes allocates the expanded Boolean hypercube.

The external workflow stores the polynomial and proof separately:

PHSMv1: canonical sparse polynomial
PHCPv1: proof containing a domain-separated BLAKE2b-256 commitment

Verification requires both files and rejects workload substitution.

Install

cargo add power_house
cargo install power_house --features net

Reproduce

cargo test --all-targets
cargo test --all-targets --features net

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

python3 scripts/verify_sparse_certificate.py \
  target/power_house_sparse_record.phsp

python3 scripts/verify_sparse_certificate.py \
  target/external_interaction_model.phcp \
  --polynomial target/external_interaction_model.phsm

python3 scripts/test_sparse_verifier.py
python3 scripts/soundness_budget.py

The full procedure, formats, expected outputs, and failure tests are in Verification Guide.

Small canonical files in conformance/v1 are checked by both languages. Every single-byte XOR mutation of each vector must reject.

Library

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",
));

Primary APIs:

GeneralSumProof: dense, streaming, constant, and seeded-affine sum-check
SeededSparseProof: stable PHSPv1 seeded sparse certificates
CommittedSparsePolynomial: canonical external sparse workloads
CommittedSparseProof: stable PHCPv1 commitment-bound certificates
ProofLedger: transcript logs, anchors, and quorum reconciliation

Network

The net feature enables the julian CLI, libp2p transport, signed envelopes, data availability endpoints, governance policies, stake accounting, and token migration commands.

julian keygen ed25519://<seed> --out ./keys/node.identity

julian net start \
  --node-id <node_id> \
  --log-dir ./logs/<node_id> \
  --listen /ip4/0.0.0.0/tcp/0 \
  --bootstrap /dns4/mfenx.com/tcp/7002/p2p/<PEER_ID> \
  --quorum 2 \
  --key ed25519://<seed>

Operations and migration procedures are documented in Operations and Mainnet Launch.

Documentation

License

MIT OR BSD-2-Clause.

power_house 0.2.2