power_house 0.2.1

Deterministic sum-check proofs, commitment-bound sparse verification, and quorum ledger tooling.
Documentation
{
  "artifact": "Power-House Externally Committed Sparse Workload v1",
  "generated_at_utc": "2026-06-05T06:23:10Z",
  "polynomial_format": "PHSMv1",
  "certificate_format": "PHCPv1",
  "polynomial_file": "external_interaction_model.phsm",
  "certificate_file": "external_interaction_model.phcp",
  "polynomial_bytes": 591464,
  "certificate_bytes": 16000128,
  "polynomial_sha256": "c8376831f47a50a7423be6412776382bc23618b037e9fdd163594d389d68864d",
  "certificate_sha256": "82045e6eb851991e08d9c4cd782abff3bb06cb8ec5f149e7c2d4287113e6a54a",
  "field_modulus": 1000000007,
  "domain_variables": 1000000,
  "domain_decimal_digits": 301030,
  "sparse_terms": 8192,
  "maximum_term_degree": 12,
  "term_incidences": 57546,
  "final_evaluation": 802396925,
  "polynomial_commitment": "33bfa6068acdd615c9eb5e2990f0aaed5928f6be260d9b8571268292f4f8dc2c",
  "transcript_digest": "7008e3fd94878b34fab60fec7446433d69aa74ec34473bfdac9e52029f7f921e",
  "rust_prove_time_ms": 1606.105,
  "rust_verify_time_ms": 1588.329,
  "python_verify_wall_seconds": 11.42,
  "rust_command": "cargo run --release --example committed_workload -- all",
  "python_command": "python3 scripts/verify_sparse_certificate.py target/external_interaction_model.phcp --polynomial target/external_interaction_model.phsm"
}